Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs Inglese 20.02.2002 Tascabile Fr. 70.00 6-7 settimane
Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming
Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming Inglese 24.03.2004 Tascabile Fr. 70.00 6-7 settimane
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods Inglese 31.03.2004 Tascabile Fr. 70.00 6-7 settimane
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages Inglese 14.06.2004 Tascabile Fr. 70.00 6-7 settimane
R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science Inglese 01.06.2004 Tascabile Fr. 70.00 6-7 settimane
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation Inglese 24.06.2004 Tascabile Fr. 70.00 6-7 settimane
Bruce Watson, Derick Wood - Implementation and Application of Automata
Bruce Watson, Derick Wood Implementation and Application of Automata Inglese 16.01.2003 Tascabile Fr. 70.00 6-7 settimane
Hubert Baumeister, Jutta Eckstein - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Jutta Eckstein Extreme Programming and Agile Processes in Software Engineering Inglese 01.06.2004 Tascabile Fr. 70.00 6-7 settimane
Wolfgang Emmerich, Alexander L. Wolf - Component Deployment
Wolfgang Emmerich, Alexander L. Wolf Component Deployment Inglese 11.05.2004 Tascabile Fr. 73.00 6-7 settimane
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan - Objects, Agents, and Features
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan Objects, Agents, and Features Inglese 02.06.2004 Tascabile Fr. 70.00 6-7 settimane
Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier - Extreme Programming and Agile Methods - XP/Agile Universe 2004
Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier Extreme Programming and Agile Methods - XP/Agile Universe 2004 Inglese 03.08.2004 Tascabile Fr. 70.00 6-7 settimane
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind - Theorem Proving in Higher Order Logics
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind Theorem Proving in Higher Order Logics Inglese 01.09.2004 Tascabile Fr. 70.00 6-7 settimane
Satoshi Matsuoka, Akinori Yonezawa - Metalevel Architectures and Separation of Crosscutting Concerns
Satoshi Matsuoka, Akinori Yonezawa Metalevel Architectures and Separation of Crosscutting Concerns Inglese 12.09.2001 Tascabile Fr. 70.00 6-7 settimane
Walid Taha - Semantics, Applications, and Implementation of Program Generation
Walid Taha Semantics, Applications, and Implementation of Program Generation Inglese 23.08.2001 Tascabile Fr. 70.00 6-7 settimane
Alan Dearle, Graham N. C. Kirby, Graham N.C. Kirby, Dag I. K. Sjoberg, Dag I.K. Sjoberg, Dag I. K. Sjoeberg - Persistent Object Systems: Design, Implementation, and Use
Alan Dearle, Graham N. C. Kirby, Graham N.C. Kirby, Dag I. K. Sjoberg, Dag I.K. Sjoberg, Dag I. K. Sjoeberg Persistent Object Systems: Design, Implementation, and Use Inglese 10.10.2001 Tascabile Fr. 70.00 6-7 settimane
I. V. Ramakrishnan, I.V. Ramakrishnan - Practical Aspects of Declarative Languages
I. V. Ramakrishnan, I.V. Ramakrishnan Practical Aspects of Declarative Languages Inglese 28.02.2001 Tascabile Fr. 70.00 6-7 settimane
Herbert Kuchen, Kazunori Ueda - Functional and Logic Programming
Herbert Kuchen, Kazunori Ueda Functional and Logic Programming Inglese 23.02.2001 Tascabile Fr. 70.00 6-7 settimane
Robert Laddaga, Paul Robertson, Howie Shrobe - Self-Adaptive Software
Robert Laddaga, Paul Robertson, Howie Shrobe Self-Adaptive Software Inglese 30.01.2001 Tascabile Fr. 70.00 6-7 settimane
Samson Abramsky - Typed Lambda Calculi and Applications
Samson Abramsky Typed Lambda Calculi and Applications Inglese 20.04.2001 Tascabile Fr. 70.00 6-7 settimane
Aart Middeldorp - Rewriting Techniques and Applications
Aart Middeldorp Rewriting Techniques and Applications Inglese 09.05.2001 Tascabile Fr. 70.00 6-7 settimane