Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková - SOFSEM 2025: Theory and Practice of Computer Science
Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková SOFSEM 2025: Theory and Practice of Computer Science Englisch 15.02.2025 Taschenbuch Fr. 92.00 6-7 Wochen
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Englisch 05.09.2024 Taschenbuch Fr. 56.90 6-7 Wochen
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano - Trends in Functional Programming
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano Trends in Functional Programming Englisch 01.01.2016 Taschenbuch Fr. 59.50 6-7 Wochen
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... - Combinatorics on Words
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... Combinatorics on Words Englisch 31.10.2019 Taschenbuch Fr. 70.00 6-7 Wochen
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou - FM 2016: Formal Methods
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou FM 2016: Formal Methods Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning Englisch 31.10.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Chutiporn Anutariya, Marcello M. Bonsangue, M Bonsangue - Theoretical Aspects of Computing - ICTAC 2024
Chutiporn Anutariya, Marcello M. Bonsangue, M Bonsangue Theoretical Aspects of Computing - ICTAC 2024 Englisch 22.01.2025 Taschenbuch Fr. 92.00 6-7 Wochen
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction Englisch 30.09.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Razvan Diaconescu, Răzvan Diaconescu - Institution-independent Model Theory
Razvan Diaconescu, Răzvan Diaconescu Institution-independent Model Theory Englisch 02.02.2025 Fester Einband Fr. 179.00 6-7 Wochen
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving Englisch 30.09.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Uwe Aickelin, Uwe Aickelin et al, Zhishen Huang, Zhisheng Huang, Stanislav Klimenko, Siuly Siuly... - Health Information Science
Uwe Aickelin, Uwe Aickelin et al, Zhishen Huang, Zhisheng Huang, Stanislav Klimenko, Siuly Siuly... Health Information Science Englisch 30.11.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Sara E Murray, Sarah E Murray, Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Mehrnoosh Sadrzadeh et al... - Logic, Language, and Computation
Sara E Murray, Sarah E Murray, Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Mehrnoosh Sadrzadeh et al... Logic, Language, and Computation Englisch 31.03.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Matthew Damigos, Matthew Damigos et al, Emmanouel Garoufallou, Christos Papatheodorou, Athena Salaba, Michalis Sfakakis - Metadata and Semantic Research
Matthew Damigos, Matthew Damigos et al, Emmanouel Garoufallou, Christos Papatheodorou, Athena Salaba, Michalis Sfakakis Metadata and Semantic Research Englisch 04.02.2025 Taschenbuch Fr. 104.00 6-7 Wochen
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems Englisch 13.03.2013 Taschenbuch Fr. 110.00 6-7 Wochen
Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Walid Gaaloul, Walid Gaaloul et al, Robert Meersman... - On the Move to Meaningful Internet Systems. OTM 2017 Conferences
Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Walid Gaaloul, Walid Gaaloul et al, Robert Meersman... On the Move to Meaningful Internet Systems. OTM 2017 Conferences Englisch 30.11.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Gao, Gao, Helena Hong Gao, Hong Gao, Qi Lu, Qin Lu - Chinese Lexical Semantics
Gao, Gao, Helena Hong Gao, Hong Gao, Qi Lu, Qin Lu Chinese Lexical Semantics Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Moren Falaschi, Moreno Falaschi - Logic-Based Program Synthesis and Transformation
Moren Falaschi, Moreno Falaschi Logic-Based Program Synthesis and Transformation Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty Englisch 31.07.2017 Taschenbuch Fr. 70.00 6-7 Wochen