Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

HK$600

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

HK$636

Algebraic and Logic Programming (Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Giorgio Levi

Algebraic and Logic Programming (Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Giorgio Levi

HK$557

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,035

ZUM '95: The Z Formal Specification Notation (9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science))

By Jonathan. P. Bowen, Michael G. Hinchey

ZUM '95: The Z Formal Specification Notation (9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science))

By Jonathan. P. Bowen, Michael G. Hinchey

HK$994

Static Analysis (5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science))

By Giorgio Levi

Static Analysis (5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science))

By Giorgio Levi

HK$634

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

HK$984

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (6th: Sixth International Symposium, SAS '99, Venice, Italy, September 22-24, 1999 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Agostino Cortesi, Gilberto File

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (6th: Sixth International Symposium, SAS '99, Venice, Italy, September 22-24, 1999 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Agostino Cortesi, Gilberto File

HK$500

Correct Hardware Design and Verification Methods (10th IFIP WG10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurence Pierre, Thomas Kropf

Correct Hardware Design and Verification Methods (10th IFIP WG10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurence Pierre, Thomas Kropf

HK$531

Advances in Computing Science - ASIAN'99 (5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings: ASIAN '99 - 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings (Lecture Notes in)

By P. S. Thiagarajan, Roland Yap

Advances in Computing Science - ASIAN'99 (5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings: ASIAN '99 - 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings (Lecture Notes in)

By P. S. Thiagarajan, Roland Yap

HK$540

Static Analysis (7th International Symposium, SAS 2000, Santa Barbara, Ca, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jens Palsberg

Static Analysis (7th International Symposium, SAS 2000, Santa Barbara, Ca, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jens Palsberg

HK$540

Implementation and Applications of Automata (13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science))

By Oscar H. Ibarra, Bala Ravikumar

Implementation and Applications of Automata (13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science))

By Oscar H. Ibarra, Bala Ravikumar

HK$540

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

HK$500

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

HK$500

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Luca Cardelli, Ludovic Henrio

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Luca Cardelli, Ludovic Henrio

HK$960

Grammatical Inference (Algorithms and Applications: 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings (Lecture Notes in Computer Science))

By Alexander Clark, Francois Coste, Laurent Miclet

Grammatical Inference (Algorithms and Applications: 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings (Lecture Notes in Computer Science))

By Alexander Clark, Francois Coste, Laurent Miclet

Currently
Unavailable

Formal Verification of Object-Oriented Software (International Conference, FOVEOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Bernhard Beckert, Claude Marche

Formal Verification of Object-Oriented Software (International Conference, FOVEOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Bernhard Beckert, Claude Marche

Currently
Unavailable

Developments in Language Theory (14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Developments in Language Theory (14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Currently
Unavailable

Vagueness in Communication (International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Rick Nouwen, Robert van Rooij, Uli Sauerland, Hans-Christian Schmitz

Vagueness in Communication (International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Rick Nouwen, Robert van Rooij, Uli Sauerland, Hans-Christian Schmitz

Currently
Unavailable

Logic Programming (Proceedings of the Eighth International Conference)

By Koichi Furukawa

Logic Programming (Proceedings of the Eighth International Conference)

By Koichi Furukawa

Currently
Unavailable

Foundations of Databases

By Serge Abiteboul, etc., Richard Hull, Victor Vianu

Foundations of Databases

By Serge Abiteboul, etc., Richard Hull, Victor Vianu

1

Currently
Unavailable

Software Architecture in Action (Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard (Undergraduate Topics in Computer Science))

By Oquendo, Flávio, Leite, Jair Cavalcanti, Thais Batista

Software Architecture in Action (Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard (Undergraduate Topics in Computer Science))

By Oquendo, Flávio, Leite, Jair Cavalcanti, Thais Batista

Currently
Unavailable

Reachability Problems (4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Antonin Kucera, Igor Potapov

Reachability Problems (4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Antonin Kucera, Igor Potapov

Currently
Unavailable

Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings: Part I (Lecture Notes in Computer Science / Theoretica)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings: Part I (Lecture Notes in Computer Science / Theoretica)

By Tiziana Margaria, Bernhard Steffen

Currently
Unavailable

View:
Safe Search(?):