Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Stefan Leue, Tarja J. Systä - Scenarios: Models, Transformations and Tools
Stefan Leue, Tarja J. Systä Scenarios: Models, Transformations and Tools Inglese 16.06.2005 Tascabile Fr. 70.00 6-7 settimane
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software Inglese 19.07.2012 Tascabile Fr. 65.00 6-7 settimane
Alexander Romanovsky, Elena A. Troubitsyna - Software Engineering for Resilient Systems
Alexander Romanovsky, Elena A. Troubitsyna Software Engineering for Resilient Systems Inglese 12.08.2017 Tascabile Fr. 70.00 6-7 settimane
Sujata Ghosh, Sanjiva Prasad - Logic and Its Applications
Sujata Ghosh, Sanjiva Prasad Logic and Its Applications Inglese 06.12.2016 Tascabile Fr. 70.00 6-7 settimane
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones - Reliable Software Technologies - Ada-Europe 2016
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones Reliable Software Technologies - Ada-Europe 2016 Inglese 31.05.2016 Tascabile Fr. 70.00 6-7 settimane
Ben Liblit - Cooperative Bug Isolation
Ben Liblit Cooperative Bug Isolation Inglese 25.04.2007 Tascabile Fr. 70.00 6-7 settimane
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering Inglese 19.12.2013 Tascabile Fr. 70.00 6-7 settimane
Simone D. J. Barbosa, Simone D.J. Barbosa, Achim Ebert, Shah Rukh Humayoun, Anna Perini, Norbert Seyff - Usability- and Accessibility-Focused Requirements Engineering
Simone D. J. Barbosa, Simone D.J. Barbosa, Achim Ebert, Shah Rukh Humayoun, Anna Perini, Norbert Seyff Usability- and Accessibility-Focused Requirements Engineering Inglese 09.09.2016 Tascabile Fr. 70.00 6-7 settimane
Andreas Prinz, Jeanne Reed, Rick Reed - SDL 2005: Model Driven
Andreas Prinz, Jeanne Reed, Rick Reed SDL 2005: Model Driven Inglese 09.06.2005 Tascabile Fr. 70.00 6-7 settimane
Khalil Drira - Software Architecture
Khalil Drira Software Architecture Inglese 06.06.2013 Tascabile Fr. 70.00 6-7 settimane
Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos - Algorithmic Aspects of Cloud Computing
Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos Algorithmic Aspects of Cloud Computing Inglese 26.02.2016 Tascabile Fr. 59.50 6-7 settimane
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation Inglese 24.06.2005 Tascabile Fr. 70.00 6-7 settimane
Mike Barley, Jaeho Lee - Intelligent Agents and Multi-Agent Systems
Mike Barley, Jaeho Lee Intelligent Agents and Multi-Agent Systems Inglese 27.10.2003 Tascabile Fr. 70.00 6-7 settimane
Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications Inglese 11.09.2002 Tascabile Fr. 70.00 6-7 settimane
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis - Descriptional Complexity of Formal Systems
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis Descriptional Complexity of Formal Systems Inglese 26.06.2019 Tascabile Fr. 70.00 6-7 settimane
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques Inglese 31.12.2015 Tascabile Fr. 56.90 6-7 settimane
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Inglese 25.11.2010 Tascabile Fr. 104.00 6-7 settimane
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane