Bases

Klaus Meer, Alexander Rabinovich, Elena Ravve, Elena Ravve et al, Andrés Villaveces - Model Theory, Computer Science, and Graph Polynomials
Klaus Meer, Alexander Rabinovich, Elena Ravve, Elena Ravve et al, Andrés Villaveces Model Theory, Computer Science, and Graph Polynomials Anglais 17.05.2025 Livre Relié Fr. 216.00 6-7 semaines
Robin Piedeleu, Robin (University College London) Zanasi Piedeleu, Fabio Zanasi - Introduction to String Diagrams for Computer Scientists
Robin Piedeleu, Robin (University College London) Zanasi Piedeleu, Fabio Zanasi Introduction to String Diagrams for Computer Scientists Anglais 31.03.2025 Livre Relié Fr. 86.00 3-5 semaines
Robin Piedeleu, Robin (University College London) Zanasi Piedeleu, Fabio Zanasi - Introduction to String Diagrams for Computer Scientists
Robin Piedeleu, Robin (University College London) Zanasi Piedeleu, Fabio Zanasi Introduction to String Diagrams for Computer Scientists Anglais 31.03.2025 Livre de poche Fr. 30.90 3-5 semaines
Heinz-Dieter Ebbinghaus, Craig G Fraser, Akihiro Kanamori, Ernst Zermelo, Heinz-Dieter Ebbinghaus, Craig G. Fraser... - Ernst Zermelo - Collected Works/Gesammelte Werke
Heinz-Dieter Ebbinghaus, Craig G Fraser, Akihiro Kanamori, Ernst Zermelo, Heinz-Dieter Ebbinghaus, Craig G. Fraser... Ernst Zermelo - Collected Works/Gesammelte Werke Anglais, Allemand 31.01.2013 Livre de poche Fr. 189.00 6-7 semaines
Pierre Neuville, Danie Parrochia, Daniel Parrochia - Towards a General Theory of Classifications
Pierre Neuville, Danie Parrochia, Daniel Parrochia Towards a General Theory of Classifications Anglais 01.06.2013 Livre de poche Fr. 135.00 6-7 semaines
Clayton Matthew Johnson, Clayton Matthew (North Carolina State University Johnson, Clayton Matthew (University of Ottawa Johnson, Johnson Clayton Matthew, Edna E. Reiter, Edna E. (California State University East Reiter... - Limits of Computation
Clayton Matthew Johnson, Clayton Matthew (North Carolina State University Johnson, Clayton Matthew (University of Ottawa Johnson, Johnson Clayton Matthew, Edna E. Reiter, Edna E. (California State University East Reiter... Limits of Computation Anglais 29.10.2012 Livre Relié Fr. 160.00 1-3 semaines (ne peut pas être livré de suite)
W D Wallis, W. D. Wallis, W.D. Wallis - A Beginner's Guide to Discrete Mathematics
W D Wallis, W. D. Wallis, W.D. Wallis A Beginner's Guide to Discrete Mathematics Anglais 01.12.2011 Livre Relié Fr. 109.00 2-3 semaines (titre imprimé sur commande)
M Trestini, Marc Trestini, Marc (University of Strasbourg Trestini - Modeling of Next Generation Digital Learning Environments
M Trestini, Marc Trestini, Marc (University of Strasbourg Trestini Modeling of Next Generation Digital Learning Environments Anglais 31.12.2018 Livre Relié Fr. 226.80 min. 4 semaines (titre commandé spécialement)
Vasco Brattka, Hanne Diener, Hannes Diener, Dieter Spreen - Logic, Computation, Hierarchies
Vasco Brattka, Hanne Diener, Hannes Diener, Dieter Spreen Logic, Computation, Hierarchies Anglais 01.01.2014 Livre Relié Fr. 196.00 2-3 semaines (titre imprimé sur commande)
Andreas Klein - Stream Ciphers
Andreas Klein Stream Ciphers Anglais 30.04.2013 Livre de poche Fr. 103.00 1-2 semaines (titre imprimé sur commande)
Ral Schindler, Ralf Schindler - Ways of Proof Theory
Ral Schindler, Ralf Schindler Ways of Proof Theory Anglais 01.01.2010 Livre Relié Fr. 254.00 2-3 semaines (titre imprimé sur commande)
Lang, Robert J. Lang, Robert J. (Http://www.langorigami.com Lang, Lang Robert J. - Twists, Tilings, and Tessellations
Lang, Robert J. Lang, Robert J. (Http://www.langorigami.com Lang, Lang Robert J. Twists, Tilings, and Tessellations Anglais 31.12.2018 Livre Relié Fr. 270.00 3-5 semaines
João F. Ferreira, Alexandr Mendes, Alexandra Mendes, Claudio Menghi - Formal Methods Teaching
João F. Ferreira, Alexandr Mendes, Alexandra Mendes, Claudio Menghi Formal Methods Teaching Anglais 04.02.2022 Livre de poche Fr. 76.00 1-2 semaines (titre imprimé sur commande)
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 2, March 2021. Special issue Assertion and Proof
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 2, March 2021. Special issue Assertion and Proof Anglais 02.03.2021 Livre de poche Fr. 42.60 2-3 semaines (titre imprimé sur commande)
EDITED BY ALEXANDER, Alexander S. (California Institute of Tec Kechris, Alexander S Kechris, Alexander S. Kechris, Benedikt Löwe, John R Steel... - Large Cardinals, Determinacy and Other Topics
EDITED BY ALEXANDER, Alexander S. (California Institute of Tec Kechris, Alexander S Kechris, Alexander S. Kechris, Benedikt Löwe, John R Steel... Large Cardinals, Determinacy and Other Topics Anglais 30.11.2020 Livre Relié Fr. 186.00 1-3 semaines (ne peut pas être livré de suite)
Rupert L Frank, Rupert L. Frank, Rupert L. (Ludwig-Maximilians-Universitat M Frank, Rupert L. (Ludwig-Maximilians-Universitat Munchen) Frank, Ari Laptev, Ari (Imperial College of Science Laptev... - Schroedinger Operators: Eigenvalues and Lieb-Thirring Inequalities
Rupert L Frank, Rupert L. Frank, Rupert L. (Ludwig-Maximilians-Universitat M Frank, Rupert L. (Ludwig-Maximilians-Universitat Munchen) Frank, Ari Laptev, Ari (Imperial College of Science Laptev... Schroedinger Operators: Eigenvalues and Lieb-Thirring Inequalities Anglais 30.11.2022 Livre Relié Fr. 116.00 3-5 semaines
Marcel Danesi, Prof Marcel (Professor Emeritus Anthropolo Danesi - Alcuin''s Recreational Mathematics
Marcel Danesi, Prof Marcel (Professor Emeritus Anthropolo Danesi Alcuin''s Recreational Mathematics Anglais 28.11.2024 Livre Relié Fr. 44.50 1-3 semaines (ne peut pas être livré de suite)
Mark Bollman, Bollman Mark - Basic Gambling Mathematics
Mark Bollman, Bollman Mark Basic Gambling Mathematics Anglais 31.08.2023 Livre de poche Fr. 90.00 1-3 semaines (ne peut pas être livré de suite)
Dimitri Ara, Dimitri (Aix-Marseille Universite) Burroni Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, Francois Metayer... - Polygraphs: From Rewriting to Higher Categories
Dimitri Ara, Dimitri (Aix-Marseille Universite) Burroni Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, Francois Metayer... Polygraphs: From Rewriting to Higher Categories Anglais 31.05.2025 Livre de poche Fr. 150.00 1-3 semaines (ne peut pas être livré de suite)
Lei Gu, Gu Lei, Shen R Wu, Shen R. Wu, Shen R. Gu Wu, Shen R./ Gu Wu... - Introduction to the Explicit Finite Element Method for Nonlinear
Lei Gu, Gu Lei, Shen R Wu, Shen R. Wu, Shen R. Gu Wu, Shen R./ Gu Wu... Introduction to the Explicit Finite Element Method for Nonlinear Anglais 12.10.2012 Livre Relié Fr. 196.00 1-3 semaines (ne peut pas être livré de suite)