9780387517056 : Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauss
Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauss
ONLINE
1989
9780387517544 : Local area network security : Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3-6, 1989 : proceedings / T.A. Berson, T. Beth (eds.)
Local area network security : Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3-6, 1989 : proceedings / T.A. Berson, T. Beth (eds.)
ONLINE
1989
9780387517629 : Behavioural mechanisms of food selection / edited by Roger N. Hughes
Behavioural mechanisms of food selection / edited by Roger N. Hughes
W'PONDS
1990
9780387517773 : Lasers in chemistry / David L. Andrews
Lasers in chemistry / David L. Andrews
W'PONDS
1990
Your entry 9780387517940 would be here
9780387518039 : Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
ONLINE
1989
9780387518596 : Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings / H. Djidjev, ed
Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings / H. Djidjev, ed
ONLINE
1989
9780387518817 : Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri
Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri
ONLINE
1989
9780387518848 : Low Reynolds number aerodynamics : proceedings of the conference, Notre Dame, Indiana, USA, 5-7 June 1989 / T.J. Mueller, editor
Low Reynolds number aerodynamics : proceedings of the conference, Notre Dame, Indiana, USA, 5-7 June 1989 / T.J. Mueller, editor
W'PONDS
1989
9780387519159 : Essential oils and waxes / edited by H.F. Linskens and J.F. Jackson ; contributors, R.P. Adams ... [and others]
Essential oils and waxes / edited by H.F. Linskens and J.F. Jackson ; contributors, R.P. Adams ... [and others]
W'PONDS
1991
9780387520384 : Introduction to programming with Modula-2 / Günther Blaschek, Gustav Pomberger ; [translator, Robert Bach]
Introduction to programming with Modula-2 / Günther Blaschek, Gustav Pomberger ; [translator, Robert Bach]
W'PONDS
1990
9780387520469 : Highly redundant sensing in robotic systems / edited by Julius T. Tou, Jens G. Balchen
Highly redundant sensing in robotic systems / edited by Julius T. Tou, Jens G. Balchen
W'PONDS
1990
9780387520483 : Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan, ed
Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan, ed
ONLINE
1989
9780387520629 : AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15-18, 1988 Proceedings / edited by Christopher J. Barter, Michael J. Brooks
AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15-18, 1988 Proceedings / edited by Christopher J. Barter, Michael J. Brooks
ONLINE
1990
9780387520698 : Relationships between perception and action : current approaches / edited by O. Neumann and W. Prinz ;with contributions by, P. Bieri ... [and others]
Relationships between perception and action : current approaches / edited by O. Neumann and W. Prinz ;with contributions by, P. Bieri ... [and others]
MELB
1990
9780387521015 : Antarctic ecosystems : ecological changes and conservation / K.R. Kerry, G. Hempel (eds.)
Antarctic ecosystems : ecological changes and conservation / K.R. Kerry, G. Hempel (eds.)
W'BOOL
1990
9780387521251 : Instability in models connected with fluid flows II / edited by Claude Bardos, Andrei Fursikov
Instability in models connected with fluid flows II / edited by Claude Bardos, Andrei Fursikov
ONLINE
2008
9780387521299 : Number theory and physics : proceedings of the winter school, Les Houches, France, March 7-16, 1989 / editors, J.-M. Luck, P. Moussa, and M. Waldschmidt
Number theory and physics : proceedings of the winter school, Les Houches, France, March 7-16, 1989 / editors, J.-M. Luck, P. Moussa, and M. Waldschmidt
W'PONDS
1990
9780387521411 : Estuarine water quality management : monitoring, modelling, and research / W. Michaelis, ed
Estuarine water quality management : monitoring, modelling, and research / W. Michaelis, ed
W'BOOL
1990
9780387521473 : Landscapes under pressure : theory and practice of cultural heritage research and preservation / Ludomir R. Lozny, editor
Landscapes under pressure : theory and practice of cultural heritage research and preservation / Ludomir R. Lozny, editor
ONLINE
2006
9780387521480 : Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.)
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.)
ONLINE
1990
9780387521824 : Experimental robotics I : the first international symposium, Montreal, June 19-21, 1989 / V. Hayward, O. Khatib (eds.)
Experimental robotics I : the first international symposium, Montreal, June 19-21, 1989 / V. Hayward, O. Khatib (eds.)
W'PONDS
1990
9780387521886 : Social computing, behavioral modeling, and prediction / edited by Huan Liu, John J. Salerno, Michael J. Young
Social computing, behavioral modeling, and prediction / edited by Huan Liu, John J. Salerno, Michael J. Young
ONLINE
2008
9780387522159 : Computer aided systems theory--EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 : proceedings / F. Pichler, R. Moreno-Diaz (eds.)
Computer aided systems theory--EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 : proceedings / F. Pichler, R. Moreno-Diaz
ONLINE
1990
9780387522821 : STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings / C. Choffrut, T. Lengauer (eds.)
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings / C. Choffrut, T. Lengauer (eds.)
ONLINE
1990
9780387522906 : Group theoretical methods in image processing / Reiner Lenz
Group theoretical methods in image processing / Reiner Lenz
ONLINE
1990
9780387522913 : Advances in database technology--EDBT '90 : International Conference on Extending Database Technology, Venice, Italy, March 2630, 1990, proceedings / F. Bancilhon, C. Thanos, D. Tsichritzis (eds.)
Advances in database technology--EDBT '90 : International Conference on Extending Database Technology, Venice, Italy, March 2630, 1990, proceedings / F. Bancilhon, C. Thanos, D. Tsichritzis (eds.)
ONLINE
1990
9780387522920 : Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl
Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl
ONLINE
1990
9780387522982 : Sensor-based robots : algorithms and architectures / edited by C.S. George Lee
Sensor-based robots : algorithms and architectures / edited by C.S. George Lee
W'PONDS
1991
9780387523187 : Trends in intelligent systems and computer engineering / edited by Oscar Castillo, Li Xu and Sio-Iong Ao
Trends in intelligent systems and computer engineering / edited by Oscar Castillo, Li Xu and Sio-Iong Ao
ONLINE
2008
9780387523255 : LOGLAN '88--report on the programming language / Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski ; with the collaboration of Boleslaw Ciesielski [and others] ; foreword by Hans Langmaack
LOGLAN '88--report on the programming language / Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski ; with the collaboration of Boleslaw Ciesielski [and others] ; foreword by Hans Langmaack
ONLINE
1990
9780387523354 : COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints (eds.)
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints (eds.)
ONLINE
1990
9780387523712 : The Self-concept : European perspectives on its development, aspects, and applications / Louis Oppenheimer (ed)
The Self-concept : European perspectives on its development, aspects, and applications / Louis Oppenheimer (ed)
MELB
1990
9780387523958 : A formal model of visualization in computer graphics systems / Tamiya Onodera, Satoru Kawai
A formal model of visualization in computer graphics systems / Tamiya Onodera, Satoru Kawai
ONLINE
1990
9780387524436 : Reasoning and revision in hybrid representation systems / Bernhard Nebel
Reasoning and revision in hybrid representation systems / Bernhard Nebel
ONLINE
1990
9780387524856 : Schizophrenia and youth : etiology and therapeutic consequences / Christian Eggers (ed.)
Schizophrenia and youth : etiology and therapeutic consequences / Christian Eggers (ed.)
MELB
1991
9780387524948 : Advances in Petri nets, 1989 / Grzegorz Rozenberg, ed
Advances in Petri nets, 1989 / Grzegorz Rozenberg, ed
ONLINE
1990
9780387525051 : Airfoil design and data / Richard Eppler
Airfoil design and data / Richard Eppler
W'PONDS
1990
9780387525167 : Coal-bearing depositional systems / Claus F.K. Diessel
Coal-bearing depositional systems / Claus F.K. Diessel
MELB
Computer vision--ECCV 90 : First European Conference on Computer Vision, Antibes, France, April 1990 proceedings / O. Faugeras (ed.)
W'PONDS
1990
Computer vision--ECCV 90 : First European Conference on Computer Vision, Antibes, France, April 1990 proceedings / O. Faugeras (ed.)
ONLINE
1990
9780387525310 : Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.)
Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.)
ONLINE
1990
9780387525594 : Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, ed
ONLINE
1990
9780387525907 : CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings / A. Arnold (ed.)
CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings / A. Arnold (ed.)
ONLINE
1990
9780387525921 : ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.)
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.)
ONLINE
1990
9780387526058 : Extinction events in earth history : proceedings of the Project 216, Global Biological Events in Earth History / Eric G. Kauffman, Otto H. Walliser, (eds.)
Extinction events in earth history : proceedings of the Project 216, Global Biological Events in Earth History / Eric G. Kauffman, Otto H. Walliser, (eds.)
MELB
1990
9780387526256 : Advanced information systems engineering : second Nordic conference, CAiSE '90, Stockholm, Sweden, May 8-10, 1990 : proceedings / B. Steinholtz, A. Sølvberg, L. Bergman (eds.)
Advanced information systems engineering : second Nordic conference, CAiSE '90, Stockholm, Sweden, May 8-10, 1990 : proceedings / B. Steinholtz, A. Sølvberg, L. Bergman (eds.)
ONLINE
1990
9780387526980 : Visualization in human-computer interaction : selected contributions / 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988 ; P. Gorny, M.J. Tauber (eds.)
Visualization in human-computer interaction : selected contributions / 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988 ; P. Gorny, M.J. Tauber (eds.)
ONLINE
1990
9780387526997 : Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990 proceedings / D.H. Norrie, H.-W. Six (eds.)
Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990 proceedings / D.H. Norrie, H.-W. Six (eds.)
ONLINE
1990
9780387527536 : CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
ONLINE
1990
9780387527635 : Testosterone--action, deficiency, substitution / E. Nieschlag, H.M. Behre (eds.), editorial assistant, S. Nieschlag
Testosterone--action, deficiency, substitution / E. Nieschlag, H.M. Behre (eds.), editorial assistant, S. Nieschlag
WATERFT
1990
9780387527826 : Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings / T. Ito, R.H. Halstead, Jr. (eds.) ; foreword by J. McCarthy
Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings / T. Ito, R.H. Halstead, Jr. (eds.) ; foreword by J. McCarthy
ONLINE
