Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (ProgrammingLogic)

Luis Soares Barbosa, Soares Barbosa, Songmao Zhang - Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10-11, 2024, Proceedings
Luis Soares Barbosa, Soares Barbosa, Songmao Zhang Artificial Intelligence Logic and Applications Inglese 25.01.2025 Tascabile CHF 109.00 4-7 giorni lavorativi
Wei-Ngan Chin, Xu, Zhiwu Xu - Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
Wei-Ngan Chin, Xu, Zhiwu Xu Theoretical Aspects of Software Engineering Inglese 19.09.2024 Tascabile CHF 146.00 4-7 giorni lavorativi
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, … - Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, … Automated Reasoning Inglese 02.07.2024 Tascabile CHF 102.00 4-7 giorni lavorativi
Zhang, Songmao Zhang, Yonggang Zhang - Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Zhang, Songmao Zhang, Yonggang Zhang Artificial Intelligence Logic and Applications Inglese 18.01.2024 Tascabile CHF 158.00 4-7 giorni lavorativi
Chung-Kil Hur - Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Chung-Kil Hur Programming Languages and Systems Inglese 22.12.2023 Tascabile CHF 83.00 4-7 giorni lavorativi
Roland Glück, Luigi Santocanale, Michael Winter - Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Roland Glück, Luigi Santocanale, Michael Winter Relational and Algebraic Methods in Computer Science Inglese 08.03.2023 Tascabile CHF 76.00 4-7 giorni lavorativi
Jos F Morales, José F Morales, José F. Morales, Orchard, Orchard, … - Practical Aspects of Declarative Languages 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Jos F Morales, José F Morales, José F. Morales, Orchard, Orchard, … Practical Aspects of Declarative Languages Inglese 22.02.2021 Tascabile CHF 69.00 4-7 giorni lavorativi
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming Inglese 24.04.2019 Tascabile CHF 76.00 4-7 giorni lavorativi
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation Inglese 25.07.2017 Tascabile CHF 69.00 4-7 giorni lavorativi
Robert Ciesla - Mostly Codeless Game Development New School Game Engines
Robert Ciesla Mostly Codeless Game Development Inglese 20.07.2017 Tascabile CHF 63.00 4-7 giorni lavorativi
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments Inglese 29.01.2016 Tascabile CHF 69.00 4-7 giorni lavorativi
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz - Computational Logic and Set Theory Applying Formalized Logic to Analysis
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz Computational Logic and Set Theory Inglese 06.09.2014 Tascabile CHF 69.00 4-7 giorni lavorativi
Domenico Cantone, Eugenio Omodeo, Eugenio G. Omodeo, Jacob T. Schwartz - Computational Logic and Set Theory Applying Formalized Logic to Analysis
Domenico Cantone, Eugenio Omodeo, Eugenio G. Omodeo, Jacob T. Schwartz Computational Logic and Set Theory Inglese 16.07.2011 Copertina rigida CHF 69.00 1-2 settimane
Leo Bachmair - Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings
Leo Bachmair Rewriting Techniques and Applications Inglese 19.02.2009 Tascabile CHF 69.00 4-7 giorni lavorativi
Walid Taha - Semantics, Applications, and Implementation of Program Generation International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Walid Taha Semantics, Applications, and Implementation of Program Generation Inglese 19.02.2009 Tascabile CHF 69.00 4-7 giorni lavorativi
Walid Taha - Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
Walid Taha Semantics, Applications, and Implementation of Program Generation Inglese 23.08.2001 Tascabile CHF 69.00 4-7 giorni lavorativi
Pierr Flener, Pierre Flener - Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers
Pierr Flener, Pierre Flener Logic-Based Program Synthesis and Transformation Inglese 01.01.1960 Tascabile CHF 69.00 4-7 giorni lavorativi