Objective Coordination in Multi-agent System Engineering (Design and Implementation (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Schumacher, Michael

Objective Coordination in Multi-agent System Engineering (Design and Implementation (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Schumacher, Michael

£46.02

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings (Programming and Software Engineering))

By Vassilis Paliouras, Johan Vounckx, Diederik Verkest

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings (Programming and Software Engineering))

By Vassilis Paliouras, Johan Vounckx, Diederik Verkest

£91.31

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Scien ..)

By Nadine Azemard, Lars Svensson

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Scien ..)

By Nadine Azemard, Lars Svensson

£46.84

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues) ( ..)

By Lars Svensson, Jose Monteiro

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues) ( ..)

By Lars Svensson, Jose Monteiro

£46.26

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretic ..)

By José L. Ayala, Delong Shang, Alex Yakovlev

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretic ..)

By José L. Ayala, Delong Shang, Alex Yakovlev

£41.16

Linux with Operating System Concepts

By Fox, Richard

Linux with Operating System Concepts

By Fox, Richard

£117

7

Loose Leaf for Fundamentals of Digital Logic with VHDL Design

By Stephen D Brown, Zvonko G Vranesic

Loose Leaf for Fundamentals of Digital Logic with VHDL Design

By Stephen D Brown, Zvonko G Vranesic

£165

Organic Computing - A Paradigm Shift for Complex Systems (Autonomic Systems)

By Christian Muller-Schloer, Hartmut Schmeck, Theo Ungerer

Organic Computing - A Paradigm Shift for Complex Systems (Autonomic Systems)

By Christian Muller-Schloer, Hartmut Schmeck, Theo Ungerer

£132

Formal Methods for Computational Systems Biology (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Programming and Software Engineering))

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Formal Methods for Computational Systems Biology (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Programming and Software Engineering))

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

£46.31

Advanced ASIC Chip Synthesis (Using Synopsys (R) Design Compiler (TM) and PrimeTime (R))

By Bhatnagar, Himanshu

Advanced ASIC Chip Synthesis (Using Synopsys (R) Design Compiler (TM) and PrimeTime (R))

By Bhatnagar, Himanshu

£46.21

Using Microsoft Paint To Design Book Covers (A Guide for e-book and print book cover designs (Computer Basics))

By John Monyjok Maluth

Using Microsoft Paint To Design Book Covers (A Guide for e-book and print book cover designs (Computer Basics))

By John Monyjok Maluth

£22.53 Elsewhere ~~£27.18~~ Save £4.65 (17%)

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

£46.40

Architecting Dependable Systems (v. 3 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

Architecting Dependable Systems (v. 3 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

£46.22

Computer Aided Systems Theory – EUROCAST 2005 (10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Sci ..)

By Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada Arencibia

Computer Aided Systems Theory – EUROCAST 2005 (10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Sci ..)

By Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada Arencibia

£91.15

Coordination, Organizations, Institutions, and Norms in Multi-agent Systems (Aamas 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, Anirem 2005 and on Organizations in Multi-agent Systems, Ooop 2005, Utrech)

By Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann

Coordination, Organizations, Institutions, and Norms in Multi-agent Systems (Aamas 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, Anirem 2005 and on Organizations in Multi-agent Systems, Ooop 2005, Utrech)

By Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann

£46.38

Communication in Multiagent Systems (Agent Communication Languages and Conversation Policies: v. 2650 (Lecture Notes in Computer Science))

By Marc-Phillipe Huget

Communication in Multiagent Systems (Agent Communication Languages and Conversation Policies: v. 2650 (Lecture Notes in Computer Science))

By Marc-Phillipe Huget

£46.71

The Programming and Proof System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))

By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont

The Programming and Proof System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))

By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont

£90.99

Architecting Dependable Systems (No. 4 (Lecture Notes in Computer Science))

By Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

Architecting Dependable Systems (No. 4 (Lecture Notes in Computer Science))

By Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

£46.24

Software-Intensive Systems and New Computing Paradigms (Challenges and Visions (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Martin Wirsing, Jean Pierre Banatre, Matthias Hölzl, Axel Rauschmayer

Software-Intensive Systems and New Computing Paradigms (Challenges and Visions (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Martin Wirsing, Jean Pierre Banatre, Matthias Hölzl, Axel Rauschmayer

£46.19

Evolvable Systems from Biology to Hardware (6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By J. Manuel Moreno, Jordi Madrenas, Jordi Cosp

Evolvable Systems from Biology to Hardware (6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By J. Manuel Moreno, Jordi Madrenas, Jordi Cosp

£46.21

Correct Hardware Design and Verification Methods (13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Is ..)

By Dominique Borrione, Wolfgang Paul

Correct Hardware Design and Verification Methods (13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Is ..)

By Dominique Borrione, Wolfgang Paul

£42.72 Elsewhere ~~£44.99~~ Save £2.27 (5%)

Rules and Rule Markup Languages for the Semantic Web (First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005 : Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Asaf Adi, Suzette Stoutenburg, Said Tabet

Rules and Rule Markup Languages for the Semantic Web (First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005 : Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Asaf Adi, Suzette Stoutenburg, Said Tabet

£46.84

View:
Safe Search(?):