3540600582 : Tractable reasoning in artificial intelligence / Marco Cadoli
Tractable reasoning in artificial intelligence / Marco Cadoli
ONLINE
1995
3540600639 : Metaclasses and Their Application : Data Model Tailoring and Database Integration / by Wolfgang Klas, Michael Schrefl
Metaclasses and Their Application : Data Model Tailoring and Database Integration / by Wolfgang Klas, Michael Schrefl
ONLINE
1995
3540600647 : Basic Geometry of Voting / by Donald G. Saari
Basic Geometry of Voting / by Donald G. Saari
ONLINE
1995
3540600736 : Quantum mechanics : special chapters / Walter Greiner ; with a foreword by D. Allan Bromley
Quantum mechanics : special chapters / Walter Greiner ; with a foreword by D. Allan Bromley
ONLINE
1998
Your entry 3540600833 would be here
3540600841 : Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.)
Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.)
ONLINE
1995
3540601007 : Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings / Carole Goble, John Keane, eds
Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings / Carole Goble, John Keane, eds
ONLINE
1995
3540601058 : Computer science today : recent trends and developments / Jan van Leeuwen, ed
Computer science today : recent trends and developments / Jan van Leeuwen, ed
ONLINE
1995
3540601120 : Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas
ONLINE
1995
3540601147 : Applied algebra, algebraic algorithms, and error-correcting codes : 11th international symposium, AAECC-11, Paris, France, July 1995 : proceedings / Gérard Cohen, Marc Giusti, Teo Mora (eds.)
Applied algebra, algebraic algorithms, and error-correcting codes : 11th international symposium, AAECC-11, Paris, France, July 1995 : proceedings / Gérard Cohen, Marc Giusti, Teo Mora (eds.)
ONLINE
1995
3540601163 : Advances in Intelligent Computing -- IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4-8, 1994 Selected Papers / edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
Advances in Intelligent Computing -- IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4-8, 1994 Selected Pa
ONLINE
1995
3540601171 : Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings / edited by Bernhard Möller
Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings / edited by Bernhard Möller
ONLINE
3540601538 : Job Scheduling Strategies for Parallel Processing : IPPS '95 Workshop Santa Barbara, CA, USA, April 25, 1995 Proceedings / edited by Dror G. Feitelson, Larry Rudolph
Job Scheduling Strategies for Parallel Processing : IPPS '95 Workshop Santa Barbara, CA, USA, April 25, 1995 Proceedings / edited by Dror G. Feitelson, Larry Rudolph
ONLINE
1995
3540601546 : Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994 : selected papers / Xin Yao, (ed.)
Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994 : selecte
ONLINE
1995
3540601554 : From Reaction to Cognition : 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93 Neuchâtel, Switzerland, August 25-27, 1993 Selected Papers / edited by Cristiano Castelfranchi, Jean-Pierre Müller
From Reaction to Cognition : 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93 Neuchâtel, Switzerland, August 25-27, 1993 Selected Papers / edited by Cristiano Cas
ONLINE
1995
3540601562 : Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Calmet, John A. Campbell
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Cal
ONLINE
1995
3540601597 : Advances in Spatial Databases : 4th International Symposium, SSD'95 Portland, ME, USA, August 6-9, 1995 Proceedings / edited by Max J. Egenhofer, John R. Herring
Advances in Spatial Databases : 4th International Symposium, SSD'95 Portland, ME, USA, August 6-9, 1995 Proceedings / edited by Max J. Egenhofer, John R. Herring
ONLINE
1995
3540601600 : ECOOP'95 -- Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995 / edited by Mario Tokoro, Remo Pareschi
ECOOP'95 -- Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995 / edited by Mario Tokoro, Remo Pareschi
ONLINE
1995
3540601619 : Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings / Gerard Ellis [and others], eds
Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings / Gerard Elli
ONLINE
1995
3540601643 : Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds
ONLINE
1995
3540601767 : Advances in cryptology - EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994 : proceedings / Alfredo De Santis, ed
Advances in cryptology - EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994 : proceedings / Alfredo De Santis, ed
ONLINE
1995
3540601783 : Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.)
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.)
ONLINE
1995
3540601899 : Clean production : environmental and economic perspectives / K.B. Misra, ed
Clean production : environmental and economic perspectives / K.B. Misra, ed
W'PONDS
1996
354060216x : Computing and combinatorics : first annual international conference, COCOON'95, Xiʹan, China, August 24-26, 1995 : proceedings / Ding-Zhu Du, Ming Li (eds.)
Computing and combinatorics : first annual international conference, COCOON'95, Xiʹan, China, August 24-26, 1995 : proceedings / Ding-Zhu Du, Ming Li (eds.)
ONLINE
1995
3540602178 : Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange, eds
Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange, eds
ONLINE
1995
3540602186 : CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings / Insup Lee, Scott A. Smolka, eds
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings / Insup Lee, Scott A. Smolka, eds
ONLINE
1995
3540602208 : Algorithms and data structures : 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings / Selim G. Akl [and others] (eds.)
Algorithms and data structures : 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings / Selim G. Akl [and others] (eds.)
ONLINE
1995
3540602216 : Advances in cryptology, CRYPTO '95 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings / Don Coppersmith (ed.)
Advances in cryptology, CRYPTO '95 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings / Don Coppersmith (ed.)
ONLINE
1995
3540602224 : Parallel Computing Technologies : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12-25, 1995 Proceedings / edited by Victor Malyshkin
Parallel Computing Technologies : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12-25, 1995 Proceedings / edited by Victor Malyshkin
ONLINE
1995
3540602461 : Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28-September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek
Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28-September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek
ONLINE
1995
354060247x : EURO-PAR '95 parallel processing : First Intrnational EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings / Seif Haridi, Khayri Ali, Peter Magnusson, eds
EURO-PAR '95 parallel processing : First Intrnational EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings / Seif Haridi, Khayri Ali, Peter Magnusson, eds
ONLINE
1995
3540602496 : Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22-25, 1995 Proceedings / edited by Horst Reichel
Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22-25, 1995 Proceedings / edited by Horst Reichel
ONLINE
1995
3540602682 : Computer analysis of images and patterns : 6th International Conference, CAIP '95 Prague, Czech Republic, September 6-8, 1995 Proceedings / edited by Václav Hlaváč, Radim Šára
Computer analysis of images and patterns : 6th International Conference, CAIP '95 Prague, Czech Republic, September 6-8, 1995 Proceedings / edited by Václav Hlaváč, Radim Šára
ONLINE
1995
3540602712 : ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings / edited 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 / edited by Jonathan P. Bowen, Michael G. Hinchey
ONLINE
1995
3540602747 : Distributed algorithms : 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13-15, 1995 Proceedings / edited by Jean-Michel Hélary, Michel Raynal
Distributed algorithms : 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13-15, 1995 Proceedings / edited by Jean-Michel Hélary, Michel Raynal
ONLINE
1995
3540602755 : Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Fos
ONLINE
1995
3540602860 : Information Management in Computer Integrated Manufacturing : a Comprehensive Guide to State-of-the-Art CIM Solutions / edited by Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík
Information Management in Computer Integrated Manufacturing : a Comprehensive Guide to State-of-the-Art CIM Solutions / edited by Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík
ONLINE
1995
3540602941 : Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29-September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk
Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29-September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk
ONLINE
1995
3540602984 : Image Analysis and Processing : 8th International Conference, ICIAP'95 San Remo, Italy, September 13-15, 1995 Proceedings / edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza
Image Analysis and Processing : 8th International Conference, ICIAP'95 San Remo, Italy, September 13-15, 1995 Proceedings / edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza
ONLINE
1995
3540602992 : Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.)
Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.)
ONLINE
1995
354060300x : Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings / Heinz Beilner, Falko Bause, eds
Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Co
ONLINE
1995
3540603034 : Database and Expert Systems Applications : 6th International Conference, DEXA '95 London, United Kingdom, September 4-8, 1995 Proceedings / edited by Norman Revell, A Min Tjoa
Database and Expert Systems Applications : 6th International Conference, DEXA '95 London, United Kingdom, September 4-8, 1995 Proceedings / edited by Norman Revell, A Min Tjoa
ONLINE
1995
3540603131 : Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / Paul Spirakis (ed.)
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / Paul Spirakis (ed.)
ONLINE
1995
3540603212 : Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4-6, 1995 Proceedings / edited by Afonso Ferreira, José Rolim
Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4-6, 1995 Proceedings / edited by Afonso Ferreira, José Rolim
ONLINE
1995
3540603433 : KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.)
KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger,
ONLINE
1995
3540603476 : Heats of mixing and solution / edited by H.V. Kehiaian
Heats of mixing and solution / edited by H.V. Kehiaian
ONLINE
2006-
354060359x : Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, eds
Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swi
ONLINE
c1995
3540603603 : Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25-27, 1995 Proceedings / edited by Alan Mycroft
Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25-27, 1995 Proceedings / edited by Alan Mycroft
ONLINE
1995
3540603646 : Advances in case-based reasoning : second European workshop, EWCBR-94, Chantilly, France, November 7-10, 1994 : selected papers / Jean-Paul Haton, Mark Keane, Michel Manago, eds
Advances in case-based reasoning : second European workshop, EWCBR-94, Chantilly, France, November 7-10, 1994 : selected papers / Jean-Paul Haton, Mark Keane, Michel Manago, eds
ONLINE
1995
3540603654 : Rules in database systems : second international workshop, RIDS '95, Glyfada, Athens, Greece, September 25-27, 1995 : proceedings / Timos Sellis (ed.)
Rules in database systems : second international workshop, RIDS '95, Glyfada, Athens, Greece, September 25-27, 1995 : proceedings / Timos Sellis (ed.)
ONLINE