Foundations of Object-oriented Languages (Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg

Foundations of Object-oriented Languages (Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg

£45.04

Real-Time - Theory in Practice (REX Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science))

By J. W. de Bakker, C. Huizing, W. P. De Roever, Grzegorz Rozenberg

Real-Time - Theory in Practice (REX Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science))

By J. W. de Bakker, C. Huizing, W. P. De Roever, Grzegorz Rozenberg

£88.94

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings (1992: International Workshop Proceedings, WG '92, Wiesbaden-Naurod, June 18-20, 1992 (Lecture Notes in Computer Sc)

By Ernst W. Mayr

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings (1992: International Workshop Proceedings, WG '92, Wiesbaden-Naurod, June 18-20, 1992 (Lecture Notes in Computer Sc)

By Ernst W. Mayr

£45.03

STACS '93 (10th Annual Symposium on Theoretical Aspects of Computer Science, Wurzburg, Germany, February 25-27, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Patrice Enjalbert, Alain Finkel, Klaus W. Wagner

STACS '93 (10th Annual Symposium on Theoretical Aspects of Computer Science, Wurzburg, Germany, February 25-27, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Patrice Enjalbert, Alain Finkel, Klaus W. Wagner

£88.94

Mathematical Foundations of Programming Semantics (9th International Conference, New Orleans, LA, USA, April 7-10, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Stephen Brookes, Michael Main, Austin Melton, Michael W. Mislove

Mathematical Foundations of Programming Semantics (9th International Conference, New Orleans, LA, USA, April 7-10, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Stephen Brookes, Michael Main, Austin Melton, Michael W. Mislove

£88.79

Fuzzy Logic and Fuzzy Control (IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu, A. Ralescu

Fuzzy Logic and Fuzzy Control (IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu, A. Ralescu

£43.14

Field-programmable Logic (Architectures, Synthesis and Applications, 4th International Workshop on Field-programmable Logic and Applications, Fpl'94, Prague, Czech Republic, September 7 - 9, 1994, Proceedings (Lecture Notes in Computer Science / Lecture N)

By Reiner W. Hartenstein, Michal Z. Servit

Field-programmable Logic (Architectures, Synthesis and Applications, 4th International Workshop on Field-programmable Logic and Applications, Fpl'94, Prague, Czech Republic, September 7 - 9, 1994, Proceedings (Lecture Notes in Computer Science / Lecture N)

By Reiner W. Hartenstein, Michal Z. Servit

£45.04

Graph-Theoretic Concepts in Computer Science: 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings (1994: International Workshop, WG '94, Heersching, Germany, June 16-18, 1994, Proceedings (Lecture Notes in Computer Sc)

By Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer

Graph-Theoretic Concepts in Computer Science: 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings (1994: International Workshop, WG '94, Heersching, Germany, June 16-18, 1994, Proceedings (Lecture Notes in Computer Sc)

By Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer

£45.02

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers: TACAS '95, Aarhus, Denmark, May)

By Ed. Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers: TACAS '95, Aarhus, Denmark, May)

By Ed. Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria

£45

Field-Programmable Logic - Smart Applications, New Paradigms and Compilers (6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Manfred Glesner

Field-Programmable Logic - Smart Applications, New Paradigms and Compilers (6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Manfred Glesner

£45.03

Conceptual Modeling - ER '97 (16th International Conference on Conceptual Modeling, Los Angeles, Ca, USA, November 3-5, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David W. Embley, Robert C. Goldstein

Conceptual Modeling - ER '97 (16th International Conference on Conceptual Modeling, Los Angeles, Ca, USA, November 3-5, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David W. Embley, Robert C. Goldstein

£45.67

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm (8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Andres Keevallik

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm (8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Andres Keevallik

£45.13

Lectures on Embedded Systems (European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 -29, 1996 (Lecture Notes in Computer Science))

By Grzegorz Rozenberg, Frits W. Vaandrager

Lectures on Embedded Systems (European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 -29, 1996 (Lecture Notes in Computer Science))

By Grzegorz Rozenberg, Frits W. Vaandrager

£45.60

Tools and Algorithms for the Construction of Analysis of Systems (5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Procee ..)

By W. Rance Cleaveland

Tools and Algorithms for the Construction of Analysis of Systems (5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Procee ..)

By W. Rance Cleaveland

£45.54

Hybrid Systems: Computation and Control (Second International Workshop, Hscc '99, Bergen Dal, the Netherlands, March 29-31, 1999: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Frits W. Vaandrager, Jan H. van Schuppen

Hybrid Systems: Computation and Control (Second International Workshop, Hscc '99, Bergen Dal, the Netherlands, March 29-31, 1999: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Frits W. Vaandrager, Jan H. van Schuppen

£44.99

Field-Programmable Logic and Applications (The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Herbert Grunbacher

Field-Programmable Logic and Applications (The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Herbert Grunbacher

£99.26

Abstract State Machines - Theory and Applications (International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science))

By Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Abstract State Machines - Theory and Applications (International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science))

By Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

£45.02

Advanced Arithmetic for the Digital Computer (Design of Arithmetic Units)

By Kulisch, Ulrich W.

Advanced Arithmetic for the Digital Computer (Design of Arithmetic Units)

By Kulisch, Ulrich W.

£44.97

Chin, W (Principles of Verilog Digital Design)

By Wen-Long Chin

Chin, W (Principles of Verilog Digital Design)

By Wen-Long Chin

£116 Elsewhere ~~£165.00~~ Save £49.00 (30%)

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Dov M. Gabbay, C. J. Hogger, J. A. Robinson

£244 Elsewhere ~~£390.00~~ Save £146.00 (37%)

Handbook of Logic in Computer Science: Volume 2 (Background: Computational Structures (Handbook of Logic in Computer Science))

By S. Abramsky, Dov M. Gabbay, S. Abramsky

Handbook of Logic in Computer Science: Volume 2 (Background: Computational Structures (Handbook of Logic in Computer Science))

By S. Abramsky, Dov M. Gabbay, S. Abramsky

£317 Elsewhere ~~£430.00~~ Save £113.00 (26%)

Nonstandard Queries and Nonstandard Answers (Studies in Logic & Computation S.)

By R. Demolombe, T. Imielinski

Nonstandard Queries and Nonstandard Answers (Studies in Logic & Computation S.)

By R. Demolombe, T. Imielinski

£81.74 Elsewhere ~~£100.00~~ Save £18.26 (18%)

Beyond Software Architecture (Creating and Sustaining Winning Solutions)

By Luke Hohmann

Beyond Software Architecture (Creating and Sustaining Winning Solutions)

By Luke Hohmann

£33.29 Elsewhere ~~£44.49~~ Save £11.20 (25%)

The Cache Memory Book (The Morgan Kaufmann Series in Computer Architecture and Design)

By Jim Handy

The Cache Memory Book (The Morgan Kaufmann Series in Computer Architecture and Design)

By Jim Handy

£65.47 Elsewhere ~~£80.00~~ Save £14.53 (18%)

View:
Safe Search(?):