9783540528371 : Termination proofs for logic programs / Lutz Plümer
Termination proofs for logic programs / Lutz Plümer
ONLINE
1990
9783540528463 : SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden [i.e. Norway], July 11-14, 1990 : proceedings / J.R. Gilbert, R. Karlsson (eds.)
SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden [i.e. Norway], July 11-14, 1990 : proceedings / J.R. Gilbert, R. Karlsson (eds.)
ONLINE
1990
9783540528494 : On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
ONLINE
1990
9783540528500 : Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings / S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.)
Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings / S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.)
ONLINE
1990
Your entry 9783540528661 would be here
9783540528852 : 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 Proceedings / edited by Mark E. Stickel
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 Proceedings / edited by Mark E. Stickel
ONLINE
1990
9783540528944 : Adaptive Algorithms and Stochastic Approximations / by Albert Benveniste, Michel Métivier, Pierre Priouret
Adaptive Algorithms and Stochastic Approximations / by Albert Benveniste, Michel Métivier, Pierre Priouret
ONLINE
1990
9783540529033 : Learning environments : contributions from Dutch and German research / J.M. Pieters, K. Breuer, P.R.J. Simons (eds.)
Learning environments : contributions from Dutch and German research / J.M. Pieters, K. Breuer, P.R.J. Simons (eds.)
MELB
1990
9783540529217 : Algorithms : International Symposium SIGAL '90 Tokyo, Japan, August 16-18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki
Algorithms : International Symposium SIGAL '90 Tokyo, Japan, August 16-18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki
ONLINE
1990
9783540529354 : Quantum electrodynamics : with unstable vacuum / E.S. Fradkin, D.M. Gitman, Sh. M. Shvartsman
Quantum electrodynamics : with unstable vacuum / E.S. Fradkin, D.M. Gitman, Sh. M. Shvartsman
W'PONDS
1991
9783540529521 : Artificial intelligence in higher education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989 : proceedings / V. Mařik, O. Štěpánková, Z. Zdráhal (eds.)
Artificial intelligence in higher education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989 : proceedings / V. Mařik, O. Štěpánková, Z. Zdráhal (eds.)
ONLINE
1990
9783540529538 : Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed
ONLINE
1990
9783540529606 : Magnetic properties of non-metallic inorganic compounds based on transition elements / editor, H.P.J. Wijn
Magnetic properties of non-metallic inorganic compounds based on transition elements / editor, H.P.J. Wijn
ONLINE
Advances in cryptology--AUSCRYPT '90 : international conference on cryptology, Sydney, Australia, January 8-11, 1990 : proceedings / J. Seberry, J. Pieprzyk, eds
W'PONDS
1990
Advances in cryptology--AUSCRYPT '90 : international conference on cryptology, Sydney, Australia, January 8-11, 1990 : proceedings / J. Seberry, J. Pieprzyk (eds.)
ONLINE
1990
9783540530107 : Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński (eds.)
Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński (eds.)
ONLINE
1990
9783540530312 : Combinatorics on traces / Volker Diekert
Combinatorics on traces / Volker Diekert
ONLINE
1990
9783540530329 : A Collection of Test Problems for Constrained Global Optimization Algorithms / by Christodoulos A. Floudas, Panos M. Pardalos
A Collection of Test Problems for Constrained Global Optimization Algorithms / by Christodoulos A. Floudas, Panos M. Pardalos
ONLINE
1990
9783540530480 : CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds
CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds
ONLINE
1990
9783540530589 : Computational Techniques for Fluid Dynamics 1 : Fundamental and General Techniques / by Clive A.J. Fletcher
Computational Techniques for Fluid Dynamics 1 : Fundamental and General Techniques / by Clive A.J. Fletcher
ONLINE
1998
9783540530657 : CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / H. Burkhart, ed
CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / H. Burkhart, ed
ONLINE
1990
9783540530824 : Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 / R. Studer, ed
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 / R. Studer, ed
ONLINE
1990
9783540530985 : Industrial air pollution : assessment and control / edited by Aysen Müezzinoğlu and Martin Lloyd Williams
Industrial air pollution : assessment and control / edited by Aysen Müezzinoğlu and Martin Lloyd Williams
W'PONDS
1992
9783540531012 : Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan (eds.)
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan (eds.)
ONLINE
1990
9783540531043 : Expert systems in engineering : principles and applications : International Workshop Vienna, Austria, September 24-26, 1990 : proceedings / G. Gottlob, W. Nejdl (eds.)
Expert systems in engineering : principles and applications : International Workshop Vienna, Austria, September 24-26, 1990 : proceedings / G. Gottlob, W. Nejdl (eds.)
ONLINE
1990
9783540531623 : Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds
ONLINE
1990
9783540532293 : A Systematic Catalogue of Reusable Abstract Data Types / by Jürgen Uhl, Hans Albrecht Schmid
A Systematic Catalogue of Reusable Abstract Data Types / by Jürgen Uhl, Hans Albrecht Schmid
ONLINE
1990
9783540532330 : Anatomy of the cortex : statistics and geometry / V. Braitenberg, A. Schüz
Anatomy of the cortex : statistics and geometry / V. Braitenberg, A. Schüz
MELB
1991
9783540533016 : Fire in South African mountain fynbos : ecosystem, community, and species response at Swartboskloof / B.W. van Wilgen ... [and others], eds
Fire in South African mountain fynbos : ecosystem, community, and species response at Swartboskloof / B.W. van Wilgen ... [and others], eds
W'PONDS
1992
9783540533351 : Stochastic differential equations : an introduction with applications / Bernt Øksendal
Stochastic differential equations : an introduction with applications / Bernt Øksendal
MELB
9783540533504 : Biology of antarctic fish / Guido di Prisco, Bruno Maresca, Bruno Tota, eds
Biology of antarctic fish / Guido di Prisco, Bruno Maresca, Bruno Tota, eds
W'BOOL
1991
9783540533627 : Recent developments in micromechanics : proceedings of the Mini-Symposium on Micromechanics at the CSME Mechanical Engineering Forum 1990, June 3-9, University of Toronto, Canada / D.R. Axelrad, W. Muschik (eds.)
Recent developments in micromechanics : proceedings of the Mini-Symposium on Micromechanics at the CSME Mechanical Engineering Forum 1990, June 3-9, University of Toronto, Canada / D.R. Axelrad, W. Mus
W'PONDS
9783540533979 : Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings / A. Blaser, ed
Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings / A. Blaser, ed
ONLINE
1990
9783540534143 : Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings / J. Dassow, J. Kelemen, eds
Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings / J. Dassow, J. Kelemen, ed
ONLINE
1990
9783540534334 : Advances in Cryptology -- EUROCRYPT '89 : Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10-13, 1989 Proceedings / edited by Jean-Jacques Quisquater, Joos Vandewalle
Advances in Cryptology -- EUROCRYPT '89 : Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10-13, 1989 Proceedings / edited by Jean-Jacques Quisquater, Joos
ONLINE
1990
9783540534525 : Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 : proceedings / Fred Long (ed.)
Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 : proceedings / Fred Long (ed.)
ONLINE
1990
9783540534600 : Computational fluid dynamics : an introduction / John F. Wendt (editor) ; with contributions by J.D. Anderson ... [and others]
Computational fluid dynamics : an introduction / John F. Wendt (editor) ; with contributions by J.D. Anderson ... [and others]
W'PONDS
Efficient query processing in geographic information systems / Beng Chin Ooi
W'PONDS
1990
Efficient query processing in geographic information systems / Beng Chin Ooi
ONLINE
1990
9783540534792 : Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.)
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.)
ONLINE
1990
9783540534877 : Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / K.V. Nori, C.E. Veni Madhavan (eds.)
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / K.V. Nori, C.E. Veni Madhavan (eds.)
ONLINE
1990
9783540535041 : Advances in computing and information--ICCI '90 / International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, proceedings ; S.G. Akl, F. Fiala, W.W. Koczkodaj (eds.)
Advances in computing and information--ICCI '90 / International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, proceedings ; S.G. Akl, F. Fiala, W.W. Koczkodaj (eds.)
ONLINE
1990
9783540535072 : ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990 : proceedings / S. Abiteboul, P.C. Kanellakis (eds.)
ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990 : proceedings / S. Abiteboul, P.C. Kanellakis (eds.)
ONLINE
1990
9783540535577 : Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings / D. Karagiannis (ed.)
Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings / D. Karagiannis (ed.)
ONLINE
1991
9783540535676 : The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings / A. Fuhrmann, M. Morreau, eds
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings / A. Fuhrmann, M. Morreau, eds
ONLINE
1991
9783540535874 : Advances in cryptology--EUROCRYPT '90 : Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990 : proceedings / I.B. Damgård, ed
Advances in cryptology--EUROCRYPT '90 : Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990 : proceedings / I.B. Damgård, ed
ONLINE
1991
9783540535904 : Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / P. Schroeder-Heister, ed
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / P. Schroeder-Heister, ed
ONLINE