Languages
Subject
Format
Availabity
Authors

Search result

Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh Computational Linguistics and Intelligent Text Processing English 17.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
R. C. T. Lee, Raymond S T Lee, Raymond S. T. Lee, Raymond S.T. Lee - Fuzzy-Neuro Approach to Agent Applications
R. C. T. Lee, Raymond S T Lee, Raymond S. T. Lee, Raymond S.T. Lee Fuzzy-Neuro Approach to Agent Applications English 29.11.2005 Hardback Fr. 70.00 6-7 weeks
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland - Mathematics of Program Construction
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland Mathematics of Program Construction English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani Types for Proofs and Programs English 24.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom - Rewriting Techniques and Applications
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom Rewriting Techniques and Applications English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Boris Böhlen, Manfre Nagl, Manfred Nagl, John L. Pfaltz - Applications of Graph Transformations with Industrial Relevance
Boris Böhlen, Manfre Nagl, Manfred Nagl, John L. Pfaltz Applications of Graph Transformations with Industrial Relevance English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Igor Walukiewicz - Foundations of Software Science and Computation Structures
Igor Walukiewicz Foundations of Software Science and Computation Structures English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Naoki Kobayashi, Benjamin C. Pierce - Theoretical Aspects of Computer Software
Naoki Kobayashi, Benjamin C. Pierce Theoretical Aspects of Computer Software English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray - Algebraic Methodology and Software Technology
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray Algebraic Methodology and Software Technology English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled - Computer Aided Verification
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled Computer Aided Verification English 23.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani - Database Theory - ICDT 2003
Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani Database Theory - ICDT 2003 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andrea Asperti, Brun Buchberger, Bruno Buchberger, Harold Davenport, James Harold Davenport, James Harold Davenport - Mathematical Knowledge Management
Andrea Asperti, Brun Buchberger, Bruno Buchberger, Harold Davenport, James Harold Davenport, James Harold Davenport Mathematical Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Alexande Gelbukh, Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexande Gelbukh, Alexander Gelbukh Computational Linguistics and Intelligent Text Processing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene Abstract State Machines 2003: Advances in Theory and Practice English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling English 26.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina Logic Programming and Nonmonotonic Reasoning English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks