Kommunikation in Verteilten Systemen (Kivs) 2005 (14. Itg/Gi-Fachtagung Kommunikation in Verteilten Systemen (Kivs 2005)Kaiserslautern, 28. Februar - 3. Marz 2005)

By Paul Muller, Reinhard Gotzhein, Jens B Schmitt

Kommunikation in Verteilten Systemen (Kivs) 2005 (14. Itg/Gi-Fachtagung Kommunikation in Verteilten Systemen (Kivs 2005)Kaiserslautern, 28. Februar - 3. Marz 2005)

By Paul Muller, Reinhard Gotzhein, Jens B Schmitt

£83.28

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

£45.34

Next Generation Teletraffic and Wired / Wireless Advanced Networking (6th International Conference, New2an 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunic)

By Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen

Next Generation Teletraffic and Wired / Wireless Advanced Networking (6th International Conference, New2an 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunic)

By Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen

£45.13

Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thomas Ball, Robert B. Jones

Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thomas Ball, Robert B. Jones

£89.35

Systems and Software Verification (Model-Checking Techniques and Tools)

By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie

Systems and Software Verification (Model-Checking Techniques and Tools)

By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie

£118

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

£45.01

Cyber Commerce Reframing (The End of Business Process Reengineering?)

By Uwe G. Seebacher, L. B. Juszczyk

Cyber Commerce Reframing (The End of Business Process Reengineering?)

By Uwe G. Seebacher, L. B. Juszczyk

£45.03

Theorem Proving in Higher Order Logics (14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Richard J. Boulton, Paul B. Jackson

Theorem Proving in Higher Order Logics (14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Richard J. Boulton, Paul B. Jackson

£45.77

VDM '88, VDM the Way Ahead (2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones

VDM '88, VDM the Way Ahead (2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones

£45.07

Echtzeitsimulation Zur Prozeï¿½fï¿½hrung Komplexer Systeme [German] (Entwurf Und Realisierung Eines Systems Zur Interaktiven Graphischen Modellierung Und Zur Modularen/Verteilten Echtzeitsimulation Verkoppelter Dynamischer Systeme (Fachberichte Simulation))

By Hubert B. Keller

Echtzeitsimulation Zur Prozeï¿½fï¿½hrung Komplexer Systeme [German] (Entwurf Und Realisierung Eines Systems Zur Interaktiven Graphischen Modellierung Und Zur Modularen/Verteilten Echtzeitsimulation Verkoppelter Dynamischer Systeme (Fachberichte Simulation))

By Hubert B. Keller

£46.01

Prospects for Functional Programming in Software Engineering (Research Reports ESPRIT)

By Jean Pierre Banatre, S.B. Jones, D. le Metayer

Prospects for Functional Programming in Software Engineering (Research Reports ESPRIT)

By Jean Pierre Banatre, S.B. Jones, D. le Metayer

£45.18

Foundations of Data Organization and Algorithms (4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993 - Proceedings (Lecture Notes in Computer Science))

By David B. Lomet

Foundations of Data Organization and Algorithms (4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993 - Proceedings (Lecture Notes in Computer Science))

By David B. Lomet

£45.60

Higher-Order Algebra, Logic and Term Rewriting (Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Dowek, Jan Heering, K. Meinke, B. Moller

Higher-Order Algebra, Logic and Term Rewriting (Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Dowek, Jan Heering, K. Meinke, B. Moller

£45.18

1

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By John Fitzgerald, Cliff B. Jones, P. Lucas

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By John Fitzgerald, Cliff B. Jones, P. Lucas

£88.81

Unix, C Und Internet [German] (Moderne Datenverarbeitung in Wissenschaft Und Technik)

By B. Alex, O. Koglin, Wulf Alex

Unix, C Und Internet [German] (Moderne Datenverarbeitung in Wissenschaft Und Technik)

By B. Alex, O. Koglin, Wulf Alex

£45.17

Genetic Programming (Second European Workshop, EuroGP' 99, Goteborg, Sweden, May 26-27, 1999 : Proceedings (Lecture Notes in Computer Science))

By Riccardo Poli, Peter Nordin, William B. Langdon, Terence C. Fogarty

Genetic Programming (Second European Workshop, EuroGP' 99, Goteborg, Sweden, May 26-27, 1999 : Proceedings (Lecture Notes in Computer Science))

By Riccardo Poli, Peter Nordin, William B. Langdon, Terence C. Fogarty

£44.99

UML '99 - The Unified Modeling Language Beyond the Standard (Second International Conference, Fort Collins, Co, USA, October 28-30, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert B. France, Bernhard Rumpe

UML '99 - The Unified Modeling Language Beyond the Standard (Second International Conference, Fort Collins, Co, USA, October 28-30, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert B. France, Bernhard Rumpe

£89.72

Genetic Programming: European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : Proceedings (3rd: European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings (Lecture Notes in Computer Science))

By Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian F. Miller

Genetic Programming: European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : Proceedings (3rd: European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings (Lecture Notes in Computer Science))

By Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian F. Miller

£45

Reliable Software Technologies Ada-Europe 2000 (5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hubertus B. Keller, Erhard Plödereder

Reliable Software Technologies Ada-Europe 2000 (5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hubertus B. Keller, Erhard Plödereder

£44.96

Software Reuse (Advances in Software Reusability: 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings (Lecture Notes in Computer Science))

By William B. Frakes

Software Reuse (Advances in Software Reusability: 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings (Lecture Notes in Computer Science))

By William B. Frakes

£45.63

Fundamental Approaches to Software Engineering (10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Lecture Notes in C)

By Matthew B. Dwyer, Antonia Lopes

Fundamental Approaches to Software Engineering (10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Lecture Notes in C)

By Matthew B. Dwyer, Antonia Lopes

£45.07

Formal Methods and Hybrid Real-Time Systems (Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By James Woodcock, Cliff B. Jones, Zhiming Liu

Formal Methods and Hybrid Real-Time Systems (Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By James Woodcock, Cliff B. Jones, Zhiming Liu

£45.14

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

£45.09

Conceptual Modeling - ER 2007 (26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By B. Thalheim, Christine Parent, Veda C. Storey, Veda C. Storey

Conceptual Modeling - ER 2007 (26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By B. Thalheim, Christine Parent, Veda C. Storey, Veda C. Storey

£88.76

View:
Safe Search(?):