Languages
Subject
Format
Availabity
Authors

Search result

Giuseppe Italiano, Giuseppe F. Italiano, Tizian Margaria-Steffen, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jaroslav Pokorný et al... - SOFSEM 2015: Theory and Practice of Computer Science
Giuseppe Italiano, Giuseppe F. Italiano, Tizian Margaria-Steffen, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jaroslav Pokorný et al... SOFSEM 2015: Theory and Practice of Computer Science English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Deepak D'Souza, Kim Guldstrand Larsen, Akas Lal, Akash Lal, Kim Guldstrand Larsen, Kim Gulstrand Larsen - Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Kim Guldstrand Larsen, Akas Lal, Akash Lal, Kim Guldstrand Larsen, Kim Gulstrand Larsen Verification, Model Checking, and Abstract Interpretation English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Rachi Guerraoui, Rachid Guerraoui, Romano, Romano, Paolo Romano - Transactional Memory. Foundations, Algorithms, Tools, and Applications
Rachi Guerraoui, Rachid Guerraoui, Romano, Romano, Paolo Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jos Berdine, Josh Berdine, Joshua Berdine, Roberto Giacobazzi, Isabella Mastroeni - Verification, Model Checking, and Abstract Interpretation
Jos Berdine, Josh Berdine, Joshua Berdine, Roberto Giacobazzi, Isabella Mastroeni Verification, Model Checking, and Abstract Interpretation English 04.12.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Iva Lirkov, Ivan Lirkov, Margenov, Margenov, Svetozar Margenov - Large-Scale Scientific Computing
Iva Lirkov, Ivan Lirkov, Margenov, Margenov, Svetozar Margenov Large-Scale Scientific Computing English 01.01.2018 Paperback / Softback Fr. 112.00 1-2 weeks (title will be printed to order)
Roberto Moreno Díaz, Fran Pichler, Franz Pichler, Alexis Quesada Arencibia - Computer Aided Systems Theory -- EUROCAST 2011
Roberto Moreno Díaz, Fran Pichler, Franz Pichler, Alexis Quesada Arencibia Computer Aided Systems Theory -- EUROCAST 2011 English 30.11.2011 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Guram Bezhanishvili, Sebastia Löbner, Sebastian Löbner, Vincenzo Marra, Vincenzo Marra et al, Frank Richter - Logic, Language, and Computation
Guram Bezhanishvili, Sebastia Löbner, Sebastian Löbner, Vincenzo Marra, Vincenzo Marra et al, Frank Richter Logic, Language, and Computation English 11.02.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)
Harout Aydinian, Ferdinand Cicalese, Ferdinando Cicalese, Christian Deppe - Information Theory, Combinatorics, and Search Theory
Harout Aydinian, Ferdinand Cicalese, Ferdinando Cicalese, Christian Deppe Information Theory, Combinatorics, and Search Theory English 11.02.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Vittori Cortellessa, Vittorio Cortellessa, Daniel Varro, Varró, Varró, Dániel Varró - Fundamental Approaches to Software Engineering
Vittori Cortellessa, Vittorio Cortellessa, Daniel Varro, Varró, Varró, Dániel Varró Fundamental Approaches to Software Engineering English 14.02.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Fran Pfenning, Frank Pfenning - Foundations of Software Science and Computation Structures
Fran Pfenning, Frank Pfenning Foundations of Software Science and Computation Structures English 14.02.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Koen De Bosschere, Koe De Bosschere, Koen de Bosschere, Jhala, Jhala, Ranjit Jhala - Compiler Construction
Koen De Bosschere, Koe De Bosschere, Koen de Bosschere, Jhala, Jhala, Ranjit Jhala Compiler Construction English 14.02.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)
Julian M. Kunkel, Julian Martin Kunkel, Thoma Ludwig, Thomas Ludwig, Hans Meuer - Supercomputing
Julian M. Kunkel, Julian Martin Kunkel, Thoma Ludwig, Thomas Ludwig, Hans Meuer Supercomputing English 30.06.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Michae Alexander, Michael Alexander, Dieter An Mey, Paolo Bientinesi, Mario Cannataro, Carsten Clauss... - Euro-Par 2013: Parallel Processing Workshops
Michae Alexander, Michael Alexander, Dieter An Mey, Paolo Bientinesi, Mario Cannataro, Carsten Clauss... Euro-Par 2013: Parallel Processing Workshops English 30.01.2014 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Ersébet Csuhaj-Varjú, Marti Dietzfelbinger, Martin Dietzfelbinger, Zoltan Esik, Zoltán Ésik - Mathematical Foundations of Computer Science 2014
Ersébet Csuhaj-Varjú, Marti Dietzfelbinger, Martin Dietzfelbinger, Zoltan Esik, Zoltán Ésik Mathematical Foundations of Computer Science 2014 English 31.08.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Mohu Banerjee, Mohua Banerjee, S, S, Krishna S. - Logic and Its Applications
Mohu Banerjee, Mohua Banerjee, S, S, Krishna S. Logic and Its Applications English 01.01.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)
Matte Maffei, Matteo Maffei, Tuosto, Tuosto, Emilio Tuosto - Trustworthy Global Computing
Matte Maffei, Matteo Maffei, Tuosto, Tuosto, Emilio Tuosto Trustworthy Global Computing English 01.01.2015 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
Gopa Gupta, Gopal Gupta, Peña, Peña, Ricardo Peña - Logic-Based Program Synthesis and Transformation
Gopa Gupta, Gopal Gupta, Peña, Peña, Ricardo Peña Logic-Based Program Synthesis and Transformation English 01.01.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)
Çetin Kaya Koç, Sihe Mesnager, Sihem Mesnager, Erkay Sava, Erkay Sava¿, Erkay Savas... - Arithmetic of Finite Fields
Çetin Kaya Koç, Sihe Mesnager, Sihem Mesnager, Erkay Sava, Erkay Sava¿, Erkay Savas... Arithmetic of Finite Fields English 01.01.2015 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)
Thomas Bauer, Jürge Grossmann, Jürgen Großmann, Fredrik Seehusen, Fredrik Seehusen et al, Ketil Stølen... - Risk Assessment and Risk-Driven Testing
Thomas Bauer, Jürge Grossmann, Jürgen Großmann, Fredrik Seehusen, Fredrik Seehusen et al, Ketil Stølen... Risk Assessment and Risk-Driven Testing English 22.04.2014 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
El-Sayed M. El-Alfy, Yuanqing Li, Yuanqing Li et al, Derong Liu, Shengl Xie, Shengli Xie... - Neural Information Processing
El-Sayed M. El-Alfy, Yuanqing Li, Yuanqing Li et al, Derong Liu, Shengl Xie, Shengli Xie... Neural Information Processing English 30.11.2017 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)