354061155x : Hybrid Systems III : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
Hybrid Systems III : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
ONLINE
1996
3540611576 : Distributed software agents and applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'94, Odense, Denmark, August 3-5, 1994 : proceedings / John W. Perram, Jean-Pierre Müller (eds.)
Distributed software agents and applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'94, Odense, Denmark, August 3-5, 1994 : proceedings / John W. Perram,
ONLINE
Electronic distance measurement : an introduction / J.M. Rüeger
W'PONDS
1996
Electronic Distance Measurement : an Introduction / by J.M. Rüeger
ONLINE
1996
3540611649 : Neurobiological mechanisms of opiate withdrawal / Rafael Maldonado, Luis Stinus, George F. Koob
Neurobiological mechanisms of opiate withdrawal / Rafael Maldonado, Luis Stinus, George F. Koob
MELB
1996
Your entry 354061169X would be here
354061186x : Advances in Cryptology -- EUROCRYPT '96 : International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12-16, 1996 Proceedings / edited by Ueli Maurer
Advances in Cryptology -- EUROCRYPT '96 : International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12-16, 1996 Proceedings / edited by Ueli Maurer
ONLINE
1996
3540612084 : Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli [and others], eds
Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli [and others], eds
ONLINE
1996
3540612211 : Basic notions of algebra / Igor R. Shafarevich
Basic notions of algebra / Igor R. Shafarevich
ONLINE
2005
3540612262 : Graphics Recognition Methods and Applications : First International Workshop University Park, PA, USA, August 10-11, 1995 Selected Papers / edited by Rangachar Kasturi, Karl Tombre
Graphics Recognition Methods and Applications : First International Workshop University Park, PA, USA, August 10-11, 1995 Selected Papers / edited by Rangachar Kasturi, Karl Tombre
ONLINE
1996
3540612289 : Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers / J. Cuny [and others] (eds.)
Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers / J. Cuny [and others] (eds.)
ONLINE
1996
3540612297 : Fingerprinting methods based on arbitrarily primed PCR / Maria R. Micheli, Rodolfo Bova (eds.)
Fingerprinting methods based on arbitrarily primed PCR / Maria R. Micheli, Rodolfo Bova (eds.)
W'PONDS
1997
3540612432 : The Physics of Superconductors : Introduction to Fundamentals and Applications / by V.V. Schmidt ; edited by Paul Müller, Alexey V. Ustinov
The Physics of Superconductors : Introduction to Fundamentals and Applications / by V.V. Schmidt ; edited by Paul Müller, Alexey V. Ustinov
ONLINE
1997
3540612459 : The Bech, Hamilton, and Zung Scales for mood disorders : screening and listening : a twenty years update with reference to DSM-IV and ICD-10 / Per Bech
The Bech, Hamilton, and Zung Scales for mood disorders : screening and listening : a twenty years update with reference to DSM-IV and ICD-10 / Per Bech
MELB
1996
354061253x : Spreadsheets in science and engineering / Gordon Filby, ed
Spreadsheets in science and engineering / Gordon Filby, ed
W'PONDS
1998
3540612548 : Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Be
ONLINE
1996
3540612580 : Combinatorial pattern matching : 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10-12, 1996 Proceedings / edited by Dan Hirschberg, Gene Myers
Combinatorial pattern matching : 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10-12, 1996 Proceedings / edited by Dan Hirschberg, Gene Myers
ONLINE
1996
3540612734 : Advances in knowledge acquisition : 9th European knowledge acquisition workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.)
Advances in knowledge acquisition : 9th European knowledge acquisition workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds
ONLINE
1996
3540612823 : Multimedia, Hypermedia, and Virtual Reality Models, Systems, and Applications : First International Conference, MHVR'94 Moscow, Russia, September 14-16, 1994 Selected Papers / edited by Peter Brusilovsky, Piet Kommers, Norbert Streitz
Multimedia, Hypermedia, and Virtual Reality Models, Systems, and Applications : First International Conference, MHVR'94 Moscow, Russia, September 14-16, 1994 Selected Papers / edited by Peter Brusilovs
ONLINE
1996
3540612858 : Studies of Software Design : ICSE'93 Workshop Maltimore, Maryland, USA, May 17-18, 1993 Selected Papers / edited by David Alex Lamb
Studies of Software Design : ICSE'93 Workshop Maltimore, Maryland, USA, May 17-18, 1993 Selected Papers / edited by David Alex Lamb
ONLINE
1996
3540612866 : Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings / Zbigniew W. Raś, Maciek Michalewicz (eds.)
Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings / Zbigniew W. Raś, Maciek Michalewicz (eds.)
ONLINE
1996
3540612912 : Advances in Artifical Intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21-24, 1996 Proceedings / edited by Gordon McCalla
Advances in Artifical Intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21-24, 1996 Proceedings / edited by
ONLINE
1996
3540612920 : Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20-24, 1996 Proceedings / edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou
Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20-24, 1996 Proceedings / edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassil
ONLINE
1996
3540613099 : Evaluating Natural Language Processing Systems : an Analysis and Review / edited by Karen Sparck Jones, Julia R. Galliers
Evaluating Natural Language Processing Systems : an Analysis and Review / edited by Karen Sparck Jones, Julia R. Galliers
ONLINE
1995
3540613102 : Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3-5, 1996 Proceedings / edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3-5, 1996 Proceedings / edited by William H. Cunningham, S. Thomas McCor
ONLINE
1996
3540613137 : Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʼ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʼ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
ONLINE
1996
3540613145 : Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings / Chengqi Zhang, Dickson Lukose, eds
Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings / Chengqi Zhang, Dickson Lukose, eds
ONLINE
1996
354061317x : Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / Alfred Strohmeier, ed
Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / Alfred Strohmeier, e
ONLINE
1996
354061320x : Bounded Incremental Computation / edited by G. Ramalingam
Bounded Incremental Computation / edited by G. Ramalingam
ONLINE
1996
3540613277 : Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14, 1996 Proceedings / edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14, 1996 Proceedings / edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
ONLINE
1996
3540613323 : Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings / Jin-Yi Cai, Chak Kuen Wong (eds.)
Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings / Jin-Yi Cai, Chak Kuen Wong (eds.)
ONLINE
1996
3540613331 : Infrastructure and the complexity of economic development / David F. Batten, Charlie Karlsson, eds
Infrastructure and the complexity of economic development / David F. Batten, Charlie Karlsson, eds
W'PONDS
1996
3540613560 : Public-key cryptography / Arto Salomaa
Public-key cryptography / Arto Salomaa
W'PONDS
1996
3540613633 : Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings / edited by Jonathan Billington, Wolfgang Reisig
Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings / edited by Jonathan Billington, Wolfgang Reisig
ONLINE
1996
3540613765 : Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, the Netherlands, December 4-6, 1995 : proceedings / Leo Dorst, Michiel van Lambalgen, Frans Voorbraak (eds.)
Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, the Netherlands, December 4-6, 1995 : proceedings / Leo Dorst, Michiel van Lambalgen, Frans Voorbraak (eds.)
ONLINE
1996
3540613773 : Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning (ed.)
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning (ed.)
ONLINE
1996
3540613986 : Automated Deduction in Equational Logic and Cubic Curves / by W. McCune, R. Padmanabhan
Automated Deduction in Equational Logic and Cubic Curves / by W. McCune, R. Padmanabhan
ONLINE
1996
354061401x : Workflow management systems for process organisations / Thomas Schäl
Workflow management systems for process organisations / Thomas Schäl
ONLINE
1996
3540614079 : Introduction to the theory of nonlinear optimization / Johannes Jahn
Introduction to the theory of nonlinear optimization / Johannes Jahn
ONLINE
2007
3540614109 : Digital Libraries Research and Technology Advances : ADL'95 Forum McLean, Virginia, USA, May 15-17, 1995 Selected Papers / edited by Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha
Digital Libraries Research and Technology Advances : ADL'95 Forum McLean, Virginia, USA, May 15-17, 1995 Selected Papers / edited by Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha
ONLINE
1996
3540614397 : ECOOP '96--object-oriented programming : 10th European Conference, Linz, Austria, July 8-12, 1996 : proceedings / Pierre Cointe (ed.)
ECOOP '96--object-oriented programming : 10th European Conference, Linz, Austria, July 8-12, 1996 : proceedings / Pierre Cointe (ed.)
ONLINE
1996
3540614400 : Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (eds.)
Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (eds.)
ONLINE
1996
3540614427 : Advances in databases : 14th British National Conference on Databases, BNCOD 14, Edinburgh, United Kingdom, July 3-5, 1996 : proceedings / Ron Morrison, Jessie Kennedy (eds.)
Advances in databases : 14th British National Conference on Databases, BNCOD 14, Edinburgh, United Kingdom, July 3-5, 1996 : proceedings / Ron Morrison, Jessie Kennedy (eds.)
ONLINE
1996
3540614435 : Operator algebras and quantum statistical mechanics / Ola Bratteli, Derek W. Robinson
Operator algebras and quantum statistical mechanics / Ola Bratteli, Derek W. Robinson
W'PONDS
c1997
354061463x : Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat
ONLINE
1996
3540614648 : Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
ONLINE
1996
3540614745 : Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger
Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger
ONLINE
1996
354061477x : Martingale methods in financial modelling / Marek Musiela, Marek Rutkowski
Martingale methods in financial modelling / Marek Musiela, Marek Rutkowski
ONLINE
2005
3540614788 : Computer aided systems theory : CAST'94, 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers / Tuncer I. Ören, George J. Klir, eds
Computer aided systems theory : CAST'94, 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers / Tuncer I. Ören, George J. Klir, eds
ONLINE
1996
3540614796 : Over-constrained systems / Michael Jampel, Eugene C. Freuder, Michael Maher, eds
Over-constrained systems / Michael Jampel, Eugene C. Freuder, Michael Maher, eds
ONLINE
1996
3540614826 : Biotechnology of aroma compounds / volume editor, R.G. Berger ; with contributions by J.A.M. de Bont ... [and others]
Biotechnology of aroma compounds / volume editor, R.G. Berger ; with contributions by J.A.M. de Bont ... [and others]
W'PONDS
1997
3540614877 : Object-based parallel and distributed computation : France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers / Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.)
Object-based parallel and distributed computation : France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers / Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.)
ONLINE