Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne - ZB 2005: Formal Specification and Development in Z and B
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne ZB 2005: Formal Specification and Development in Z and B Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Martin Abadi, Martín Abadi, Luca De Alfaro, Luca De Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca De Alfaro, Luca De Alfaro CONCUR 2005 - Concurrency Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Inglese 07.06.2005 Tascabile Fr. 70.00 6-7 settimane
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 30.06.2009 Tascabile Fr. 135.00 6-7 settimane
Grigori Antoniou, Grigoris Antoniou, Boley, Boley, Harold Boley - Rules and Rule Markup Languages for the Semantic Web
Grigori Antoniou, Grigoris Antoniou, Boley, Boley, Harold Boley Rules and Rule Markup Languages for the Semantic Web Inglese 04.06.2005 Tascabile Fr. 70.00 6-7 settimane
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... - Integration of Software Specification Techniques for Applications in Engineering
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... Integration of Software Specification Techniques for Applications in Engineering Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane
Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley - Intelligent Agents and Multi-Agent Systems
Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley Intelligent Agents and Multi-Agent Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Wei-Ngan Chin - Programming Languages and Systems
Wei-Ngan Chin Programming Languages and Systems Inglese 04.06.2005 Tascabile Fr. 70.00 6-7 settimane
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems Inglese 01.07.2009 Tascabile Fr. 70.00 6-7 settimane
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Gustav Dahll, Bjoern Axel Gran, Rune Winther - Computer Safety, Reliability, and Security
Gustav Dahll, Bjoern Axel Gran, Rune Winther Computer Safety, Reliability, and Security Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna - Theoretical Computer Science
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna Theoretical Computer Science Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia - Computer Aided Systems Theory - EUROCAST 2005
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2005 Inglese 15.03.2011 Tascabile Fr. 135.00 6-7 settimane
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane