Languages
Subject
Format
Availabity
Authors

Search result

Henning Bordihn, Marti Kutrib, Martin Kutrib, Bianca Truthe - Languages Alive
Henning Bordihn, Marti Kutrib, Martin Kutrib, Bianca Truthe Languages Alive English 08.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Aspinall, David Aspinall, Jacques Carette, Christoph Lange, Christoph Lange et al, Petr Sojka... - Intelligent Computer Mathematics
Davi Aspinall, David Aspinall, Jacques Carette, Christoph Lange, Christoph Lange et al, Petr Sojka... Intelligent Computer Mathematics English 06.06.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ruy De Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy De Queiroz, Jouko Väänänen - Logic, Language, Information, and Computation
Ruy De Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy De Queiroz, Jouko Väänänen Logic, Language, Information, and Computation English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Wolfram Luther et al, Christop M Hoffmann, Christoph M Hoffmann... - Reliable Implementation of Real Number Algorithms: Theory and Practice
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Wolfram Luther et al, Christop M Hoffmann, Christoph M Hoffmann... Reliable Implementation of Real Number Algorithms: Theory and Practice English 01.01.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Francisc Botana, Francisco Botana, Quaresma, Quaresma, Pedro Quaresma - Automated Deduction in Geometry
Francisc Botana, Francisco Botana, Quaresma, Quaresma, Pedro Quaresma Automated Deduction in Geometry English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Thomas Eiter, Enrico Franconi, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Marie-Christine Rousset... - Reasoning Web. Semantic Technologies for Information Systems
Thomas Eiter, Enrico Franconi, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Marie-Christine Rousset... Reasoning Web. Semantic Technologies for Information Systems English 01.01.2009 Paperback / Softback Fr. 69.00 6-7 weeks
Joh Campbell, John Campbell, Jacques Carette, Jacques Carette et al, Gabriel Dos Reis, Johan Jeuring... - Intelligent Computer Mathematics
Joh Campbell, John Campbell, Jacques Carette, Jacques Carette et al, Gabriel Dos Reis, Johan Jeuring... Intelligent Computer Mathematics English 04.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Masahit Hasegawa, Masahito Hasegawa - Typed Lambda Calculi and Applications
Masahit Hasegawa, Masahito Hasegawa Typed Lambda Calculi and Applications English 17.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Ángela I. Barbero, Vital Skachek, Vitaly Skachek, Øyvind Ytrehus - Coding Theory and Applications
Ángela I. Barbero, Vital Skachek, Vitaly Skachek, Øyvind Ytrehus Coding Theory and Applications English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfram Decker, Christian Eder, Claus Fieker, Claus Fieker et al, Max Horn, Michael Joswig - The Computer Algebra System OSCAR
Wolfram Decker, Christian Eder, Claus Fieker, Claus Fieker et al, Max Horn, Michael Joswig The Computer Algebra System OSCAR English 03.09.2024 Hardback Fr. 179.00 6-7 weeks
Blümlein, Blümlein, Johannes Blümlein, Carste Schneider, Carsten Schneider - Computer Algebra in Quantum Field Theory
Blümlein, Blümlein, Johannes Blümlein, Carste Schneider, Carsten Schneider Computer Algebra in Quantum Field Theory English 17.05.2013 Hardback Fr. 135.00 6-7 weeks
Bella Martínez-Seis, Lourdes Martínez-Villaseñor, Obdulia Pichardo, Obdulia Pichardo Lagunas - Artificial Intelligence - COMIA 2025
Bella Martínez-Seis, Lourdes Martínez-Villaseñor, Obdulia Pichardo, Obdulia Pichardo Lagunas Artificial Intelligence - COMIA 2025 English 17.09.2025 Paperback / Softback Fr. 124.00 6-7 weeks
Bella Martínez-Seis, Lourdes Martínez-Villaseñor, Obdulia Pichardo, Obdulia Pichardo Lagunas - Artificial Intelligence - COMIA 2025
Bella Martínez-Seis, Lourdes Martínez-Villaseñor, Obdulia Pichardo, Obdulia Pichardo Lagunas Artificial Intelligence - COMIA 2025 English 17.09.2025 Paperback / Softback Fr. 124.00 6-7 weeks
Bella Martínez-Seis, Lourdes Martínez-Villaseñor, Obdulia Pichardo, Obdulia Pichardo Lagunas - Artificial Intelligence - COMIA 2025
Bella Martínez-Seis, Lourdes Martínez-Villaseñor, Obdulia Pichardo, Obdulia Pichardo Lagunas Artificial Intelligence - COMIA 2025 English 17.09.2025 Paperback / Softback Fr. 117.00 6-7 weeks
Daniel Král, Daniel Král', Daniel Kráľ, Milanic, Martin Milanic, Martin Milanič - Graph-Theoretic Concepts in Computer Science
Daniel Král, Daniel Král', Daniel Kráľ, Milanic, Martin Milanic, Martin Milanič Graph-Theoretic Concepts in Computer Science English 01.01.2025 Paperback / Softback Fr. 103.00 6-7 weeks
Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková - SOFSEM 2025: Theory and Practice of Computer Science
Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková SOFSEM 2025: Theory and Practice of Computer Science English 15.02.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková - SOFSEM 2025: Theory and Practice of Computer Science
Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková SOFSEM 2025: Theory and Practice of Computer Science English 15.02.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Wolfram Kahl, José Oliveira, Michae Winter, Michael Winter - Relational and Algebraic Methods in Computer Science
Wolfram Kahl, José Oliveira, Michae Winter, Michael Winter Relational and Algebraic Methods in Computer Science English 30.11.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Henr Lombardi, Henri Lombardi, Claude Quitté - Commutative Algebra: Constructive Methods
Henr Lombardi, Henri Lombardi, Claude Quitté Commutative Algebra: Constructive Methods English 01.01.2015 Hardback Fr. 239.00 6-7 weeks
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks