Nowości książkowe
Granice sztucznej inteligencji : eseje i studia
pod red. Eugeniusza Szumakowicza
Sprawdź książkę w katalogu
The best writing on mathematics 2017
Mircea Pitici, editor
Sprawdź książkę w katalogu
Eagle-Starthilfe Berechenbarkeitstheorie : Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine
Christian Wagenknecht
Sprawdź książkę w katalogu
Informatyka w edukacji : edukacja informatyczna a kompetencje cyfrowe XXI wieku
redakcja Anna Beata Kwiatkowska
Sprawdź książkę w katalogu
Leśniewski's systems of logic and foundations of mathematics
Rafal Urbaniak
Sprawdź książkę w katalogu
Predykacja : elementy ontologii formalnej przedmiotów, własności i sytuacji
Jacek Paśnicze
Sprawdź książkę w katalogu
Ryszard Kilvington : nieskończonośći geometria
Robert Podkońsk
Sprawdź książkę w katalogu
Nauki ścisłe i przyrodnicze na Uniwersytecie Warszawskim
redaktor naukowy Andrzej Kajetan Wróblewski
Sprawdź książkę w katalogu
My search for Ramanujan : how I learned to count
Ken Ono, Amir D. Aczel
Sprawdź książkę w katalogu
A mathematical prelude to the philosophy of mathematics
Stephen Pollard
Sprawdź książkę w katalogu
Intuitionistic proof versus classical truth : the role of Brouwer’s creative subject in intuitionistic mathematics
Enrico Martino
Sprawdź książkę w katalogu
O poznawaniu i kształtowaniu świata
Józef Lubacz
Sprawdź książkę w katalogu
Natur und Zahl : die Mathematisierbarkeit der Welt
Bernulf Kanitscheider
Sprawdź książkę w katalogu
The man who knew too much : Alan Turing and the invention of the computer
David Leavitt
Sprawdź książkę w katalogu
Simplicity : ideals of practice in mathematics and the arts
Roman Kossak, Philip Ording, editors
Sprawdź książkę w katalogu
Handbook of mathematical induction : theory and applications
David S. Gunderson
Sprawdź książkę w katalogu
Die Geschichte Der Rechenautomaten. Band 1, Von Der Himmelsscheibe Von Nebra bis Zu den ersten Rechenmaschinen Wolfram-M. Lippe
Sprawdź książkę w katalogu
Die Geschichte Der Rechenautomaten. Band 2, Von mechanischen Chiffriergeräten bis zu den ersten programmierbaren Rechnern
Wolfram-M. Lippe
Sprawdź książkę w katalogu
Die Geschichte Der Rechenautomaten. Band 3, Von der Entwicklung der Hardware bis zum WWW
Wolfram-M. Lipp
Sprawdź książkę w katalogu
Mathematics and the real world : the remarkable role of evolution in the making of mathematics
Zvi Artstein
Sprawdź książkę w katalogu
An early history of recursive functions and computability from Gödel to Turing
Rod Adams
Sprawdź książkę w katalogu
Incompleteness for Higher-Order arithmetic : an example based on Harrington’s principle
Yong Cheng
Sprawdź książkę w katalogu
An introduction to Ramsey theory : fast functions, infinity and metamathematics
Matthew Katz, Jan Reimann
Sprawdź książkę w katalogu
Philosophy as the foundation of knowledge, action, ethos
editors Janusz Kaczmarek, Ryszard Kleszcz
Sprawdź książkę w katalogu
The logic in philosophy of science
Hans Halvorson
Sprawdź książkę w katalogu
Przestrzenie wszechświata : od geometrii do kosmologii
Michał Heller
Sprawdź książkę w katalogu
Bóg i geometria : gdy przestrzeń była Bogiem
Michał Heller
Sprawdź książkę w katalogu
Ryzykowne spotkanie teologii z nauką
Dominique Lambert
Sprawdź książkę w katalogu
The once and future Turing : computing the world
[edited by] S. Barry Cooper, Andrew Hodges
Sprawdź książkę w katalogu
Metody numeryczne
Zenon Fortuna, Bohdan Macukow, Janusz Wąsowski
Sprawdź książkę w komputerze
Mastering matplotlib : a practical guide that takes you beyond the basics of matplotlib and gives solutions to plot complex data
Duncan M. McGreggor
Sprawdź książkę w katalogu
Origins and varieties of logicism : on the logico-philosophical foundations of mathematics
edited by Francesca Boccuni, Andrea Sereni
Sprawdź książkę w katalogu
Functional and impulsive differential equations of fractional order : qualitative analysis and applications
edited by Nevijo Zdolec, Ivanka M. Stamova and Gani Tr. Stamov
Sprawdź książkę w katalogu
Handbook of analytic operator theory
Edited by Kehe Zhu
Sprawdź książkę w katalogu
Handbook of Multivalued Analysis. Volume II, Applications
Shouchuan Hu, Nikolaos S. Papageorgiou
Sprawdź książkę w katalogu
Handbook of Multivalued Analysis. Volume I, Theory
Shouchuan Hu, Nikolaos S. Papageorgiou
Sprawdź książkę w katalogu,
#Matematyka
Dmytro Kuźmenko
Sprawdź książkę w katalogu
Mapomatyka : jak mapy prowadzą nasi zwodzą
Paulina Rowińsk
Sprawdź książkę w katalogu
Jak AI zjada świat : krótka historia sztucznej inteligencji... i jej świetlanej przyszłości
Chris Stokel-Walker
Sprawdź książkę w katalogu
Thinking with AI
Amelia King
Sprawdź książkę w katalogu
Tajemn1ce konklawe czyli Spotkania z matematyką tam, gdzie trudno ją dostrzec
Jaku3 Szczepaniak
Sprawdź książkę w kalatogu
The soul of a new machine
Tracy Kidder
Sprawdź książkę w katalogu
Maniak
Benjamín Labatu
Sprawdź książkę w katalogu
W cieniu AI : jak sztuczna inteligencja ingeruje w nasze życie?
Madhumita Murgia
Sprawdź książkę w katalogu
Operator algebras that one can see
editors of the volume Søren Eilers, Piotr M. Hajac, Tomasz Maszczyk
Sprawdź książkę w katalogu
Głowa do liczb
Barbara Oakle
Sprawdź książkę w katalog
Software requirements
Karl Wiegers, Joy Beatt
Sprawdź książkę w katalogu
Engineering software products : an introduction to modern software engineering
Ian Sommerville
Sprawdź książkę w katalogu
Mentorka Einsteina : biografia Emmy Noether
Lee Phillips
Sprawdź książkę w katalogu
OpenAI API w aplikacjach C#
Jacek Ross
Sprawdź książkę w katalogu
Informatyka : krótka historia
Ryszard Tadeusiewicz
Sprawdź książkę w katalogu
Psychologia sztucznej inteligencji
Tony Prescott
Sprawdź książkę w katalogu
Świat matematyków : dzieje profesjii środowiska
Marek Zakrzewski
Sprawdź książkę w katalogu
Ekstrakcja danych w Pythonie : teoria i praktyka
Piotr Rybka
Sprawdź książkę w katalogu
Gen i już! : opowieść o Stefanie Banachu
Anna Czerwińska-Rydel ;
ilustracje Marcin Mino
Sprawdź książkę w katalogu
Przegrani : legendarne porażki świata gier
Michał Pisarski
Sprawdź książkę w katalogu
Twierdza Linux : bezpieczeństwo dla dociekliwych
Karol Szafrański
Sprawdź książkę w katalogu
Regułowe systemy ekspertowe
Antoni Niederliński
Sprawdź książkę w katalogu
Muzyka, elektronika, informatyka
Jan Oleszkowic
Sprawdź książki w katalogu
Praktyczne uczenie maszynowe w języku R
Fred Nwanganga, Mike Chapple
Sprawdź książkę w katalogu
Postaw na użyteczność : UX dla programistów i projektantów na przykładzie aplikacji mobilnych
Matt Lacey
Sprawdź książkę w katalogu
Python : leksykon kieszonkowy
Mark Lutz
Sprawdź książkę w katalogu
Robotics, vision and control : fundamental algorithms in Python
Peter Corke
Sprawdź książkę w katalogu
Darbo's fixed point theory : a functional analysis perspective
Bhuban Chandra Deuri
Sprawdź książkę w katalogu
Psychologia sztucznej inteligencji
Tony Prescott
Sprawdź książkę w katalogu
Engineering software products : an introduction to modern software engineeringIan Sommerville
Sprawdź książkę w katalogu
Certyfikowany inżynier wymagań : na podstawie IREB CPRE : poziom podstawowy
Radosław Grębski, Joanna Kalabińska
Sprawdź książkę w katalogu
Specyfikacja wymagań oprogramowania : kluczowe praktyki analizy biznesowej
Karl Wiegers, Candase Hokanson
Sprawdź książkę w katalogu
Certyfikowany tester ISTQB : poziom podstawowy
Adam Roman, Lucjan Stapp, Michaël Pilaeten
Sprawdź książkę w katalogu
Zygalski : oblicza geniusza
praca zbiorowa pod redakcją Piotra Bojarskiego, Maksyma Kempińskiego
Sprawdź książkę w katalogu
Quo vAIdis
Andrzej Dragan
Sprawdź książkę w komputerze
Crafting interpreters
Robert Nystrom
Sprawdź książkę w katalogu
Tangles : a structural approach to artificial intelligence in the empirical sciences
Reinhard Dieste
Sprawdź książkę w katalogu
Suprematism in harmonic analysis
Antonio Córdoba
Sprawdź książkę w katalogu
Essays in classical number theory
Yoichi Motohashi
Sprawdź książkę w katalogu
Diophantine problems : determinism, randomness and applications
Dijana Kreso, Joël Rivat & Robert F. Tichy, (eds.)
Sprawdź książkę w katalogu
Ergodic theory
Simon Rubinstein-Salzedo
Sprawdź książkę w katalogu
Explainable AI with Python
Antonio Di Cecco, Leonida Gianfagna
Sprawdź książkę w katalogu
Approximation algorithms for traveling salesman problems
Vera Traub, Jens Vygen
Sprawdź książkę w katalogu
Equivariant cohomology in algebraic geometry
David Anderson, William Fulton
Sprawdź książkę w katalogu
An introductory course on mathematical game theory and applications
Julio González-Díaz, Ignacio García Jurado, M. Gloria Fiestras-Janeiro
Sprawdź książkę w katalogu
Bernhard Riemann - On the hypotheses which lie at the bases of geometry
Jürgen Jost
Sprawdź książkę w katalogu
Linear algebra, data science and machine learning
Jeff Calder, Peter J. Olver
Sprawdź książkę w katalogu
Artificial intelligence : foundations of computational agents
David L. Poole, Alan K. Mackworth
Sprawdź książkę w katalogu
L-functions : an elementary introduction
Davide Lombardo
Sprawdź książkę w katalogu
Topics in combinatorics and graph theory
R. Rama
Sprawdź książkę w katalogu
Operator algebras and geometry
Hitoshi Moriyoshi, Toshikazu Natsume
Sprawdź książkę w katalogu
LLM w projektowaniu oprogramowania : tworzenie inteligentnych aplikacji
i agentów z wykorzystaniem dużych modeli językowych
Valentina Alto
Sprawdź książkę w katalogu
Zabbix 7.0 : efektywny monitoring infrastruktury IT dla każdego
Mateusz Dampc
Sprawdź książkę w katalogu
Kali Linux : testy bezpieczeństwa, testy penetracyjne i etyczne hakowanie
Ric Messier
Sprawdź książkę w katalogu
Cyberspace, cyberterrorism and the international security in the fourth industrial revolution : threats, assessment and responses
by Reza Montasari
Sprawdź książkę w katalogu
The art of mathematics : coffee time in Memphis
Béla Bollobás
Sprawdź książkę w katalogu
Baza danych od środka : analiza działania rozproszonych systemów danych
Alex Petrov
Sprawdź książkę w katalogu
Codes and modular forms : a dictionary Minjia Shi, YoungJu Choie, Anuradha Sharma, Patrick Solé
Sprawdź książkę w katalogu
Beyond hyperbolicity
edited by Marj Hagen, Richard Webb, Henry Wilton
Sprawdź książkę w katalogu