Languages
Subject
Format
Availabity
Authors

Search result

Heinz Diete Ebbinghaus, Heinz Dieter Ebbinghaus, Heinz-Dieter Ebbinghaus, Volker Peckhaus - Ernst Zermelo
Heinz Diete Ebbinghaus, Heinz Dieter Ebbinghaus, Heinz-Dieter Ebbinghaus, Volker Peckhaus Ernst Zermelo English 01.01.2015 Hardback Fr. 70.00 6-7 weeks
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem - Computer Aided Verification
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem Computer Aided Verification English 16.06.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... - Fundamentals of Algebraic Graph Transformation
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... Fundamentals of Algebraic Graph Transformation English 17.02.2006 Hardback Fr. 158.00 6-7 weeks
Rosario Giustolisi - Modelling and Verification of Secure Exams
Rosario Giustolisi Modelling and Verification of Secure Exams English 01.01.2018 Hardback Fr. 70.00 6-7 weeks
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola Software Engineering and Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
André Adami, António Branco, Paulo Quaresma, Paulo Quaresma et al, Ricard Ribeiro, Ricardo Ribeiro... - Computational Processing of the Portuguese Language
André Adami, António Branco, Paulo Quaresma, Paulo Quaresma et al, Ricard Ribeiro, Ricardo Ribeiro... Computational Processing of the Portuguese Language English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... - Rule Technologies. Research, Tools, and Applications
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... Rule Technologies. Research, Tools, and Applications English 01.01.2016 Paperback / Softback Fr. 135.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
Thang N. Dinh, Than N Dinh, Thang N Dinh, T Thai, T Thai, My T. Thai - Computing and Combinatorics
Thang N. Dinh, Than N Dinh, Thang N Dinh, T Thai, T Thai, My T. Thai Computing and Combinatorics English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Miroslav Hudec - Fuzziness in Information Systems
Miroslav Hudec Fuzziness in Information Systems English 01.01.2016 Hardback Fr. 135.00 6-7 weeks
Ca Baskent, Can Baskent, Can Başkent, Thomas Macaulay Ferguson, Macaulay Ferguson, Macaulay Ferguson... - Graham Priest on Dialetheism and Paraconsistency
Ca Baskent, Can Baskent, Can Başkent, Thomas Macaulay Ferguson, Macaulay Ferguson, Macaulay Ferguson... Graham Priest on Dialetheism and Paraconsistency English 01.01.2020 Hardback Fr. 199.00 6-7 weeks
Ron van der Meyden, Leendert Van Der Torre, Ro van der Meyden, Ron van der Meyden, van der Torre, van der Torre... - Deontic Logic in Computer Science
Ron van der Meyden, Leendert Van Der Torre, Ro van der Meyden, Ron van der Meyden, van der Torre, van der Torre... Deontic Logic in Computer Science English 01.01.2008 Paperback / Softback Fr. 97.00 6-7 weeks
N. P. Fogg, N. Pytheas Fogg, N Pytheas Fogg, N. Pytheas Fogg, Valerie Berthé, Sebastien Ferenczi... - Substitutions in Dynamics, Arithmetics and Combinatorics
N. P. Fogg, N. Pytheas Fogg, N Pytheas Fogg, N. Pytheas Fogg, Valerie Berthé, Sebastien Ferenczi... Substitutions in Dynamics, Arithmetics and Combinatorics English 01.01.2002 Paperback / Softback Fr. 104.00 6-7 weeks
Donal C Wunsch, Donald C Wunsch, De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Daniel S Levine et al... - Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Donal C Wunsch, Donald C Wunsch, De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Daniel S Levine et al... Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence English 29.01.2013 Paperback / Softback Fr. 207.00 6-7 weeks
Enrico Francesconi, Simonett Montemagni, Simonetta Montemagni, Wim Peters, Wim Peters et al, Daniela Tiscornia - Semantic Processing of Legal Texts
Enrico Francesconi, Simonett Montemagni, Simonetta Montemagni, Wim Peters, Wim Peters et al, Daniela Tiscornia Semantic Processing of Legal Texts English 01.01.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Patri Eklund, Patrik Eklund, Javie Gutie´rrez Garci´a, Javier Gutie´rrez Garci´a, Javier Gutie¿rrez Garci¿a, Javier Gutierrez Garcia... - Semigroups in Complete Lattices
Patri Eklund, Patrik Eklund, Javie Gutie´rrez Garci´a, Javier Gutie´rrez Garci´a, Javier Gutie¿rrez Garci¿a, Javier Gutierrez Garcia... Semigroups in Complete Lattices English 01.01.2019 Paperback / Softback Fr. 158.00 6-7 weeks
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... - Developments in Language Theory
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... Developments in Language Theory English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Richar Moot, Richard Moot, Christian Retore - The Logic of Categorial Grammars
Richar Moot, Richard Moot, Christian Retore The Logic of Categorial Grammars English 04.06.2012 Paperback / Softback Fr. 97.00 6-7 weeks
Johan F .A. K. van Benthem, Johan Van Benthem, Amitabh Gupta, Amitabha Gupta, Rohit Parikh, Johan van Benthem - Proof, Computation and Agency
Johan F .A. K. van Benthem, Johan Van Benthem, Amitabh Gupta, Amitabha Gupta, Rohit Parikh, Johan van Benthem Proof, Computation and Agency English 24.05.2013 Paperback / Softback Fr. 207.00 6-7 weeks