Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Ivan Jureta - The Design of Requirements Modelling Languages
Ivan Jureta The Design of Requirements Modelling Languages Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Adam Day, Michae Fellows, Michael Fellows, Noam Greenberg, Noam Greenberg et al, Bakhadyr Khoussainov... - Computability and Complexity
Adam Day, Michae Fellows, Michael Fellows, Noam Greenberg, Noam Greenberg et al, Bakhadyr Khoussainov... Computability and Complexity Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 19.11.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Serg Haddad, Serge Haddad, Maciej Koutny, Alex Yakovlev - Transactions on Petri Nets and Other Models of Concurrency IX
Serg Haddad, Serge Haddad, Maciej Koutny, Alex Yakovlev Transactions on Petri Nets and Other Models of Concurrency IX Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
Yuxin Deng - Semantics of Probabilistic Processes
Yuxin Deng Semantics of Probabilistic Processes Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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) Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael - Logics in Artificial Intelligence
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael Logics in Artificial Intelligence Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
V Alagar, V S Alagar, V. S. Alagar, V.S. Alagar, K Periyasamy, K. Periyasamy - Specification of Software Systems
V Alagar, V S Alagar, V. S. Alagar, V.S. Alagar, K Periyasamy, K. Periyasamy Specification of Software Systems Inglese 31.12.2013 Tascabile Fr. 110.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 110.00 6-7 settimane
Colin Stirling - Modal and Temporal Properties of Processes
Colin Stirling Modal and Temporal Properties of Processes Inglese 27.10.2010 Tascabile Fr. 117.00 6-7 settimane
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu - Intelligent Information Processing VII
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu Intelligent Information Processing VII Inglese 01.10.2014 Copertina rigida Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... - PRIMA 2017: Principles and Practice of Multi-Agent Systems
Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... PRIMA 2017: Principles and Practice of Multi-Agent Systems Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... - Model-Driven Engineering Languages and Systems
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... Model-Driven Engineering Languages and Systems Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled Automated Technology for Verification and Analysis Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens - System Analysis and Modeling. Technology-Specific Aspects of Models
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens System Analysis and Modeling. Technology-Specific Aspects of Models Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane