Languages
Subject
Format
Availabity
Authors

Search result

Philli James, Phillip James, Roggenbach, Roggenbach, Markus Roggenbach - Recent Trends in Algebraic Development Techniques
Philli James, Phillip James, Roggenbach, Roggenbach, Markus Roggenbach Recent Trends in Algebraic Development Techniques English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode - Logical Foundations of Computer Science
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode Logical Foundations of Computer Science English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Yuxin Deng - Semantics of Probabilistic Processes
Yuxin Deng Semantics of Probabilistic Processes English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Maxime Amblard, Philipp de Groote, Philippe De Groote, Philippe de Groote, Sylvain Pogodalla, Sylvain Pogodalla et al... - Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)
Maxime Amblard, Philipp de Groote, Philippe De Groote, Philippe de Groote, Sylvain Pogodalla, Sylvain Pogodalla et al... Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Macaulay Ferguson - Meaning and Proscription in Formal Logic
Thomas Macaulay Ferguson Meaning and Proscription in Formal Logic English 01.01.2018 Hardback Fr. 70.00 6-7 weeks
Ernst Zermelo, Heinz-Diete Ebbinghaus, Heinz-Dieter Ebbinghaus, Kanamori, Kanamori, Akihiro Kanamori - Ernst Zermelo - Collected Works/Gesammelte Werke II
Ernst Zermelo, Heinz-Diete Ebbinghaus, Heinz-Dieter Ebbinghaus, Kanamori, Kanamori, Akihiro Kanamori Ernst Zermelo - Collected Works/Gesammelte Werke II German, English 01.01.2015 Paperback / Softback Fr. 237.00 6-7 weeks
Monty Newborn - Automated Theorem Proving
Monty Newborn Automated Theorem Proving English 16.10.2013 Paperback / Softback Fr. 158.00 6-7 weeks
Wiktor Nowakowski, Micha Smialek, Michal Smialek, Michał Śmiałek - From Requirements to Java in a Snap
Wiktor Nowakowski, Micha Smialek, Michal Smialek, Michał Śmiałek From Requirements to Java in a Snap English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael - Logics in Artificial Intelligence
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael Logics in Artificial Intelligence English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Dov M Gabbay, Dov M. Gabbay - Reactive Kripke Semantics
Dov M Gabbay, Dov M. Gabbay Reactive Kripke Semantics English 26.09.2013 Hardback Fr. 135.00 6-7 weeks
Robert M Losee, Robert M. Losee - Information from Processes
Robert M Losee, Robert M. Losee Information from Processes English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Sanka Kumar Pal, Sankar Kumar Pal, Sankar K. Pal, Sankar Kumar Pal, Polkowski, Polkowski... - Rough-Neural Computing
Sanka Kumar Pal, Sankar Kumar Pal, Sankar K. Pal, Sankar Kumar Pal, Polkowski, Polkowski... Rough-Neural Computing English 22.09.2013 Paperback / Softback Fr. 189.00 6-7 weeks
Martin Fränzle, Deepa Kapur, Deepak Kapur, Naijun Zhan - Dependable Software Engineering: Theories, Tools, and Applications
Martin Fränzle, Deepa Kapur, Deepak Kapur, Naijun Zhan Dependable Software Engineering: Theories, Tools, and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Bern Fischer, Bernd Fischer, Uustalu, Uustalu, Tarmo Uustalu - Theoretical Aspects of Computing - ICTAC 2018
Bern Fischer, Bernd Fischer, Uustalu, Uustalu, Tarmo Uustalu Theoretical Aspects of Computing - ICTAC 2018 English 01.01.2018 Paperback / Softback Fr. 110.00 6-7 weeks
Lu Steels, Luc Steels - Computational Issues in Fluid Construction Grammar
Lu Steels, Luc Steels Computational Issues in Fluid Construction Grammar English 13.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 261.00 6-7 weeks
Marcus Kracht - Interpreted Languages and Compositionality
Marcus Kracht Interpreted Languages and Compositionality English 11.09.2013 Paperback / Softback Fr. 158.00 6-7 weeks
Canton, Domenic Cantone, Domenico Cantone, Omode, Eugeni Omodeo, Eugenio Omodeo... - Set Theory for Computing
Canton, Domenic Cantone, Domenico Cantone, Omode, Eugeni Omodeo, Eugenio Omodeo... Set Theory for Computing English 27.10.2010 Paperback / Softback Fr. 193.00 6-7 weeks
Colin Stirling - Modal and Temporal Properties of Processes
Colin Stirling Modal and Temporal Properties of Processes English 27.10.2010 Paperback / Softback Fr. 117.00 6-7 weeks
Mohammad Mousavi, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Sgall, Sgall... - Topics in Theoretical Computer Science
Mohammad Mousavi, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Sgall, Sgall... Topics in Theoretical Computer Science English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks