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

HK$540

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

HK$1,037

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

HK$500

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

HK$1,038

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

HK$1,000

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

HK$500

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

HK$540

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

HK$537

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

HK$500

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

HK$538

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

HK$699

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

HK$560

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

HK$640

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

HK$600

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

HK$500

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

HK$1,058

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

HK$535

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.

HK$486

Chin, W (Principles of Verilog Digital Design)

By Wen-Long Chin

Chin, W (Principles of Verilog Digital Design)

By Wen-Long Chin

HK$1,200 Elsewhere ~~HK$1,699.38~~ Save HK$499.38 (29%)

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

HK$2,640 Elsewhere ~~HK$4,016.72~~ Save HK$1,376.72 (34%)

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

HK$2,865 Elsewhere ~~HK$4,428.69~~ Save HK$1,563.69 (35%)

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

HK$853 Elsewhere ~~HK$1,029.93~~ Save HK$176.93 (17%)

Beyond Software Architecture (Creating and Sustaining Winning Solutions)

By Luke Hohmann

Beyond Software Architecture (Creating and Sustaining Winning Solutions)

By Luke Hohmann

HK$454

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

HK$774 Elsewhere ~~HK$823.94~~ Save HK$49.94 (6%)

View:
Safe Search(?):