Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (Programsemantics)

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
Tasneem Bano Rehman, Sven Groppe, M. A. Jabbar, M.A. Jabbar, Fernando Ortiz-Rodríguez, … - Applied Machine Learning and Data Analytics 6th International Conference, AMLDA 2023, Lübeck, Germany, November 9-10, 2023, Revised Selected Papers
Tasneem Bano Rehman, Sven Groppe, M. A. Jabbar, M.A. Jabbar, Fernando Ortiz-Rodríguez, … Applied Machine Learning and Data Analytics Inglese 01.05.2024 Tascabile CHF 103.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
Ketan Kotecha, Sashikala Misha, Sashikala Misha et al, Sashikala Mishra, Sashikala Mishra et al, … - Artificial Intelligence: Towards Sustainable Intelligence First International Conference, AI4S 2023, Pune, India, September 4-5, 2023, Proceedings
Ketan Kotecha, Sashikala Misha, Sashikala Misha et al, Sashikala Mishra, Sashikala Mishra et al, … Artificial Intelligence: Towards Sustainable Intelligence Inglese 17.12.2023 Tascabile CHF 146.00 4-7 giorni lavorativi
Robert Glück, Kafle, Bishoksan Kafle - Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Robert Glück, Kafle, Bishoksan Kafle Logic-Based Program Synthesis and Transformation Inglese 01.12.2023 Tascabile CHF 76.00 4-7 giorni lavorativi
Nils Jansen, Tribastone, Mirco Tribastone - Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Nils Jansen, Tribastone, Mirco Tribastone Quantitative Evaluation of Systems Inglese 01.12.2023 Tascabile CHF 103.00 4-7 giorni lavorativi
Veronica Dahl, Thomas Eiter, Thomas Eiter et al, Manuel V. Hermenegildo, Robert Kowalski, … - Prolog: The Next 50 Years
Veronica Dahl, Thomas Eiter, Thomas Eiter et al, Manuel V. Hermenegildo, Robert Kowalski, … Prolog: The Next 50 Years Inglese 19.10.2023 Tascabile CHF 116.00 4-7 giorni lavorativi
Marieke Huisman, Ravara, António Ravara - Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Marieke Huisman, Ravara, António Ravara Formal Techniques for Distributed Objects, Components, and Systems Inglese 31.08.2023 Tascabile CHF 96.00 4-7 giorni lavorativi
Yixiang Chen, Yi-Xiang Chen, Zhang, Songmao Zhang - Artificial Intelligence Logic and Applications The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings
Yixiang Chen, Yi-Xiang Chen, Zhang, Songmao Zhang Artificial Intelligence Logic and Applications Inglese 01.12.2022 Tascabile CHF 103.00 4-7 giorni lavorativi
Alessandra Di Pierro, Pasqual Malacaria, Pasquale Malacaria, Rajagopal Nagarajan - From Lambda Calculus to Cybersecurity Through Program Analysis Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Alessandra Di Pierro, Pasqual Malacaria, Pasquale Malacaria, Rajagopal Nagarajan From Lambda Calculus to Cybersecurity Through Program Analysis Inglese 01.04.2020 Tascabile CHF 69.00 4-7 giorni lavorativi
Baltag, Baltag, Alexandru Baltag, Luí Soares Barbosa, Luís Soares Barbosa - Dynamic Logic. New Trends and Applications Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Baltag, Baltag, Alexandru Baltag, Luí Soares Barbosa, Luís Soares Barbosa Dynamic Logic. New Trends and Applications Inglese 01.03.2020 Tascabile CHF 69.00 4-7 giorni lavorativi
Pedr Ribeiro, Pedro Ribeiro, Sampaio, Sampaio, Augusto Sampaio - Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Pedr Ribeiro, Pedro Ribeiro, Sampaio, Sampaio, Augusto Sampaio Unifying Theories of Programming Inglese 01.01.2019 Tascabile CHF 69.00 4-7 giorni lavorativi
Francesco Ranzato - Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Francesco Ranzato Static Analysis Inglese 21.08.2017 Tascabile CHF 69.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
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities Inglese 28.11.2015 Tascabile CHF 67.00 4-7 giorni lavorativi
Michael A Arbib, Michael A. Arbib, Ernest Manes, Ernest G Manes, Ernest G. Manes - Algebraic Approaches to Program Semantics
Michael A Arbib, Michael A. Arbib, Ernest Manes, Ernest G Manes, Ernest G. Manes Algebraic Approaches to Program Semantics Inglese 22.04.2014 Tascabile CHF 119.00 4-7 giorni lavorativi
Edsger Dijkstra, Edsger W Dijkstra, Edsger W. Dijkstra, Carel S Scholten, Carel S. Scholten - Predicate Calculus and Program Semantics
Edsger Dijkstra, Edsger W Dijkstra, Edsger W. Dijkstra, Carel S Scholten, Carel S. Scholten Predicate Calculus and Program Semantics Inglese 25.07.2012 Tascabile CHF 116.00 4-7 giorni lavorativi
Grzegor Rozenberg, Grzegorz Rozenberg - Advances in Petri Nets 1992
Grzegor Rozenberg, Grzegorz Rozenberg Advances in Petri Nets 1992 Inglese 01.07.2009 Tascabile CHF 69.00 4-7 giorni lavorativi