Languages
Subject
Format
Availabity
Authors

Search result

Ivo Duentsch, Dominik Slezak, Marcin Szczuka, Yiyu Yao - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Ivo Duentsch, Dominik Slezak, Marcin Szczuka, Yiyu Yao Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Rolf Hennicker, Dirk Pattinson, Martin Wirsing - Recent Trends in Algebraic Development Techniques
Rolf Hennicker, Dirk Pattinson, Martin Wirsing Recent Trends in Algebraic Development Techniques English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
José Luis Fiadeiro, José Luiz Fiadeiro, Nei Harman, Neil Harman, Markus Roggenbach, Markus Roggenbach et al... - Algebra and Coalgebra in Computer Science
José Luis Fiadeiro, José Luiz Fiadeiro, Nei Harman, Neil Harman, Markus Roggenbach, Markus Roggenbach et al... Algebra and Coalgebra in Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Jech - Set Theory
Thomas Jech Set Theory English 01.01.2002 Hardback Fr. 239.00 6-7 weeks
Ewa Orlowska, Marc Roubens, Gunther Schmidt, Harrie de Swart - Theory and Applications of Relational Structures as Knowledge Instruments
Ewa Orlowska, Marc Roubens, Gunther Schmidt, Harrie de Swart Theory and Applications of Relational Structures as Knowledge Instruments English 11.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Catuscia Palamidessi - Logic Programming
Catuscia Palamidessi Logic Programming English 19.02.2009 Paperback / Softback Fr. 159.00 6-7 weeks
Enric Giunchiglia, Enrico Giunchiglia, TACCHELLA, Tacchella, Armando Tacchella - Theory and Applications of Satisfiability Testing
Enric Giunchiglia, Enrico Giunchiglia, TACCHELLA, Tacchella, Armando Tacchella Theory and Applications of Satisfiability Testing English 03.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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
Vladimi Lifschitz, Vladimir Lifschitz, Niemelä, Niemelä, Ilkka Niemelä - Logic Programming and Nonmonotonic Reasoning
Vladimi Lifschitz, Vladimir Lifschitz, Niemelä, Niemelä, Ilkka Niemelä Logic Programming and Nonmonotonic Reasoning English 29.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky - Compiler Construction
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nei Lawrence, Neil Lawrence, Mahesan Niranjan, Joab Winkler - Deterministic and Statistical Methods in Machine Learning
Nei Lawrence, Neil Lawrence, Mahesan Niranjan, Joab Winkler Deterministic and Statistical Methods in Machine Learning English 14.04.2009 Paperback / Softback Fr. 70.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
Karsten Konrad - Model Generation for Natural Language Interpretation and Analysis
Karsten Konrad Model Generation for Natural Language Interpretation and Analysis English 11.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita, Han Ulrich Simon, Hans Ulrich Simon - Algorithmic Learning Theory
Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita, Han Ulrich Simon, Hans Ulrich Simon Algorithmic Learning Theory English 19.02.2009 Paperback / Softback Fr. 70.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
Peter Eklund - Concept Lattices
Peter Eklund Concept Lattices English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Ganter, Ger Stumme, Gerd Stumme, Rudolf Wille - Formal Concept Analysis
Bernhard Ganter, Ger Stumme, Gerd Stumme, Rudolf Wille Formal Concept Analysis English 13.09.2005 Paperback / Softback Fr. 110.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
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning English 24.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Ricardo Conejo, Jose-Luis Perez-de-la-Cruz, José-Luis Pérez-de-la-Cruz, Mait Urretavizcaya, Maite Urretavizcaya - Current Topics in Artificial Intelligence
Ricardo Conejo, Jose-Luis Perez-de-la-Cruz, José-Luis Pérez-de-la-Cruz, Mait Urretavizcaya, Maite Urretavizcaya Current Topics in Artificial Intelligence English 25.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks