Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity Inglese 23.12.2005 Tascabile Fr. 135.00 6-7 settimane
Stanislav ¿Ivný, Stanislav Zivny, Stan Zivný, Stanislav Zivný, Stanislav Živný - The Complexity of Valued Constraint Satisfaction Problems
Stanislav ¿Ivný, Stanislav Zivny, Stan Zivný, Stanislav Zivný, Stanislav Živný The Complexity of Valued Constraint Satisfaction Problems Inglese 01.11.2012 Copertina rigida Fr. 135.00 6-7 settimane
Eric Brendan Kahn, Richard S. Millman, Peter J. Shiue - Problems and Proofs in Numbers and Algebra
Eric Brendan Kahn, Richard S. Millman, Peter J. Shiue Problems and Proofs in Numbers and Algebra Inglese 06.10.2016 Tascabile Fr. 77.00 6-7 settimane
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques Inglese 31.12.2015 Tascabile Fr. 56.90 6-7 settimane
Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models Inglese 21.10.2010 Tascabile Fr. 104.00 6-7 settimane
Ervin Gyori, Ervin Györi, Gyula Katona, Gyula O. H Katona, Gyula O. H. Katona, Gyula O.H. Katona... - More Sets, Graphs and Numbers
Ervin Gyori, Ervin Györi, Gyula Katona, Gyula O. H Katona, Gyula O. H. Katona, Gyula O.H. Katona... More Sets, Graphs and Numbers Inglese 14.04.2009 Copertina rigida Fr. 135.00 6-7 settimane
Fahie Bacchus, Fahiem Bacchus, Walsh, Walsh, Toby Walsh - Theory and Applications of Satisfiability Testing
Fahie Bacchus, Fahiem Bacchus, Walsh, Walsh, Toby Walsh Theory and Applications of Satisfiability Testing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane
Sergei Artemov, Sergei N. Artemov, Anil Nerode - Logical Foundations of Computer Science
Sergei Artemov, Sergei N. Artemov, Anil Nerode Logical Foundations of Computer Science Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Armi Biere, Armin Biere, Carla P. Gomes, P Gomes, P Gomes - Theory and Applications of Satisfiability Testing - SAT 2006
Armi Biere, Armin Biere, Carla P. Gomes, P Gomes, P Gomes Theory and Applications of Satisfiability Testing - SAT 2006 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
A Sakallah, A Sakallah, Joa Marques-Silva, Joao Marques-Silva, Karem A. Sakallah - Theory and Applications of Satisfiability Testing - SAT 2007
A Sakallah, A Sakallah, Joa Marques-Silva, Joao Marques-Silva, Karem A. Sakallah Theory and Applications of Satisfiability Testing - SAT 2007 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky - Computer Science Logic
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky Computer Science Logic Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... - Automated Reasoning
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... Automated Reasoning Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
C Seeman, C Seeman, Natas Jonoska, Natasa Jonoska, Nadriaan C. Seeman - DNA Computing
C Seeman, C Seeman, Natas Jonoska, Natasa Jonoska, Nadriaan C. Seeman DNA Computing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa - Developments in Language Theory
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa Developments in Language Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Jun Liu, Keyun Qin, Keyun et al Qin, D Ruan, Da Ruan, Yan Xu... - Lattice-Valued Logic
Jun Liu, Keyun Qin, Keyun et al Qin, D Ruan, Da Ruan, Yan Xu... Lattice-Valued Logic Inglese 01.01.2003 Copertina rigida Fr. 189.00 6-7 settimane
David Hilbert, William Ewald, Michae Hallett, Michael Hallett, Majer, Majer... - David Hilbert's Lectures on the Foundations of Mathematics and Physics - 1: David Hilbert's Lectures on the Foundations of Geometry 1891-1902
David Hilbert, William Ewald, Michae Hallett, Michael Hallett, Majer, Majer... David Hilbert's Lectures on the Foundations of Mathematics and Physics - 1: David Hilbert's Lectures on the Foundations of Geometry 1891-1902 Inglese 04.06.2004 Copertina rigida Fr. 189.00 6-7 settimane
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... - Formal Languages and Applications
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... Formal Languages and Applications Inglese 17.03.2004 Copertina rigida Fr. 237.00 6-7 settimane
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning Inglese 24.08.2005 Tascabile Fr. 135.00 6-7 settimane
Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann - Abstract State Machines 2004. Advances in Theory and Practice
Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann Abstract State Machines 2004. Advances in Theory and Practice Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane