 |
 |
- 900
- Ernst W. Mayr, Claude Puech (Eds.):
STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings.
Springer 1995, ISBN 3-540-59042-0
Contents BibTeX
- 901
- Ramayya Kumar, Thomas Kropf (Eds.):
Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings.
Springer 1994, ISBN 3-540-59047-1
Contents BibTeX
- 902
- Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (Eds.):
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings.
Springer 1995, ISBN 3-540-59048-X
Contents BibTeX
- 903
- Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer (Eds.):
Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings.
Springer 1995, ISBN 3-540-59071-4
Contents BibTeX
- 904
- Paul M. B. Vitányi (Ed.):
Computational Learning Theory, Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995, Proceedings.
Springer 1995, ISBN 3-540-59119-2
Contents BibTeX
- 905
- Nicholas Ayache (Ed.):
Computer Vision, Virtual Reality and Robotics in Medicine, First International Conference, CVRMed'95, Nice, France, April 3-6, 1995, Proceedings.
Springer 1995, ISBN 3-540-59120-6
Contents BibTeX
- 906
- Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (Eds.):
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers.
Springer 1995, ISBN 3-540-59132-X
Contents BibTeX
- 907
- Takayasu Ito, Akinori Yonezawa (Eds.):
Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings.
Springer 1995, ISBN 3-540-59172-9
Contents BibTeX
- 908
- Josyula R. Rao:
Extensions of the UNITY Methodology - Compositionality, Fairness and Probability in Parallelism.
Lecture Notes in Computer Science Vol. 908 Springer 1995, ISBN 3-540-59173-7
BibTeX
- 909
- Hubert Comon, Jean-Pierre Jouannaud (Eds.):
Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course.
Springer 1995, ISBN 3-540-59340-3
Contents BibTeX
- 910
- Andreas Podelski (Ed.):
Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers.
Springer 1995, ISBN 3-540-59155-9
Contents BibTeX
- 911
- Ricardo A. Baeza-Yates, Eric Goles Ch., Patricio V. Poblete (Eds.):
LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings.
Springer 1995, ISBN 3-540-59175-3
Contents BibTeX
- 912
- Nada Lavrac, Stefan Wrobel (Eds.):
Machine Learning: ECML-95, 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25-27, 1995, Proceedings.
Springer 1995, ISBN 3-540-59286-5
Contents BibTeX
- 913
- Wilhelm Schäfer (Ed.):
Software Process Technology, 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995, Proceedings.
Springer 1995, ISBN 3-540-59205-9
Contents BibTeX
- 914
- Jieh Hsiang (Ed.):
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings.
Springer 1995, ISBN 3-540-59200-8
Contents BibTeX
- 915
- Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (Eds.):
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings.
Springer 1995, ISBN 3-540-59293-8
Contents BibTeX
- 916
- Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha (Eds.):
Digital Libraries: Current Issues, Digital Libraries Workshop, Newark, NJ, USA, May 19-20, 1994, Selected Papers.
Springer 1995, ISBN 3-540-59282-2
Contents BibTeX
- 917
- Josef Pieprzyk, Reihaneh Safavi-Naini (Eds.):
Advances in Cryptology - ASIACRYPT '94, 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28 - December 1, 1994, Proceedings.
Springer 1995, ISBN 3-540-59339-X
Contents BibTeX
- 918
- Peter Baumgartner, Reiner Hähnle, Joachim Posegga (Eds.):
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings.
Springer 1995, ISBN 3-540-59338-1
Contents BibTeX
- 919
- Louis O. Hertzberger, Giuseppe Serazzi (Eds.):
High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1995, Milan, Italy, May 3-5, 1995, Proceedings.
Springer 1995, ISBN 3-540-59393-4
Contents BibTeX
- 920
- Egon Balas, Jens Clausen (Eds.):
Integer Programming and Combinatorial Optimization, 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995, Proceedings.
Springer 1995, ISBN 3-540-59408-6
Contents BibTeX
- 921
- Louis C. Guillou, Jean-Jacques Quisquater (Eds.):
Advances in Cryptology - EUROCRYPT '95, International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995, Proceeding.
Springer 1995, ISBN 3-540-59409-4
Contents BibTeX
- 922
- Heiko Dörr:
Efficient Graph Rewriting and Its Implementation.
Lecture Notes in Computer Science Vol. 922 Springer 1995, ISBN 3-540-60055-8
BibTeX
- 923
- Manfred Meyer (Ed.):
Constraint Processing, Selected Papers.
Springer 1995, ISBN 3-540-59479-5
Contents BibTeX
- 924
- Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (Eds.):
Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994, Selected Papers.
Springer 1995, ISBN 3-540-59450-7
Contents BibTeX
- 925
- Johan Jeuring, Erik Meijer (Eds.):
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text.
Springer 1995, ISBN 3-540-59451-5
Contents BibTeX
- 926
- Paolo Nesi (Ed.):
Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995, Proceedings.
Springer 1995, ISBN 3-540-59449-3
Contents BibTeX
- 927
- Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.):
Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers.
Springer 1995, ISBN 3-540-59467-1
Contents BibTeX
- 928
- V. Wiktor Marek, Anil Nerode (Eds.):
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings.
Springer 1995, ISBN 3-540-59487-6
Contents BibTeX
- 929
- Federico Morán, Alvaro Moreno, Juan J. Merelo Guervós, Pablo Chacón (Eds.):
Advances in Artificial Life, Third European Conference on Artificial Life, Granada, Spain, June 4-6, 1995, Proceedings.
Springer 1995, ISBN 3-540-59496-5
Contents BibTeX
- 930
- José Mira, Francisco Sandoval Hernández (Eds.):
From Natural to Artificial Neural Computation, International Workshop on Artificial Neural Networks, IWANN '95, Malaga-Torremolinos, Spain, June 7-9, 1995, Proceedings.
Springer 1995, ISBN 3-540-59497-3
Contents BibTeX
- 931
- Peter J. Braspenning, F. Thuijsman, A. J. M. M. Weijters (Eds.):
Artificial Neural Networks: An Introduction to ANN Theory and Practice.
Springer 1995, ISBN 3-540-59488-4
Contents BibTeX
- 932
- Juhani Iivari, Kalle Lyytinen, Matti Rossi (Eds.):
Advanced Information Systems Engineering, 7th International Conference, CAiSE'95, Jyväskylä, Finland, June 12-16, 1995, Proceedings.
Springer 1995, ISBN 3-540-59498-1
Contents BibTeX
- 933
- Leszek Pacholski, Jerzy Tiuryn (Eds.):
Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers.
Springer 1995, ISBN 3-540-60017-5
Contents BibTeX
- 934
- Pedro Barahona, Mario Stefanelli, Jeremy C. Wyatt (Eds.):
Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence in Medicine in Europe, AIME'95, Pavia, Italy, June 25-28, 1995, Proceedings.
Springer 1995, ISBN 3-540-60025-6
Contents BibTeX
- 935
- Giorgio De Michelis, Michel Diaz (Eds.):
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings.
Springer 1995, ISBN 3-540-60029-9
Contents BibTeX
- 936
- Vangalur S. Alagar, Maurice Nivat (Eds.):
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings.
Springer 1995, ISBN 3-540-60043-4
Contents BibTeX
- 937
- Zvi Galil, Esko Ukkonen (Eds.):
Combinatorial Pattern Matching, 6th Annual Symposium, CPM 95, Espoo, Finland, July 5-7, 1995, Proceedings.
Springer 1995, ISBN 3-540-60044-2
Contents BibTeX
- 938
- Kenneth P. Birman, Friedemann Mattern, André Schiper (Eds.):
Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers.
Springer 1995, ISBN 3-540-60042-6
Contents BibTeX
- 939
- Pierre Wolper (Ed.):
Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings.
Springer 1995, ISBN 3-540-60045-0
Contents BibTeX
- 940
- Carole A. Goble, John A. Keane (Eds.):
Advances in Databases, 13th British National Conference on Databases, BNCOD 13, Manchester, United Kingdom, July 12-14, 1995, Proceedings.
Springer 1995, ISBN 3-540-60100-7
Contents BibTeX
- 941
- Marco Cadoli:
Tractable Reasoning in Artificial Intelligence.
Lecture Notes in Computer Science Vol. 941 Springer 1995, ISBN 3-540-60058-2
BibTeX
- 942
- Günter Böckle:
Exploitation of Fine-Grain Parallelism.
Lecture Notes in Computer Science Vol. 942 Springer 1995, ISBN 3-540-60054-X
BibTeX
- 943
- Wolfgang Klas, Michael Schrefl:
Metaclasses and Their Applications, Data Model Tailoring and Database Integration.
Lecture Notes in Computer Science Vol. 943 Springer 1995, ISBN 3-540-60063-9
BibTeX
- 944
- Zoltán Fülöp, Ferenc Gécseg (Eds.):
Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings.
Springer 1995, ISBN 3-540-60084-1
Contents BibTeX
- 945
- Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (Eds.):
Advances in Intelligent Computing - IPMU'94, 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994, Selected Papers.
Springer 1995, ISBN 3-540-60116-3
Contents BibTeX
- 946
- Christine Froidevaux, Jürg Kohlas (Eds.):
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995, Proceedings.
Springer 1995, ISBN 3-540-60112-0
Contents BibTeX
- 947
- Bernhard Möller (Ed.):
Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings.
Springer 1995, ISBN 3-540-60117-1
Contents BibTeX
- 948
- Gérard D. Cohen, Marc Giusti, Teo Mora (Eds.):
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995, Proceedings.
Springer 1995, ISBN 3-540-60114-7
Contents BibTeX
- 949
- Dror G. Feitelson, Larry Rudolph (Eds.):
Job Scheduling Strategies for Parallel Processing, IPPS'95 Workshop, Santa Barbara, CA, USA, April 25, 1995, Proceedings.
Springer 1995, ISBN 3-540-60153-8
Contents BibTeX
- 950
- 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.
Springer 1995, ISBN 3-540-60176-7
Contents BibTeX
- 951
- Max J. Egenhofer, John R. Herring (Eds.):
Advances in Spatial Databases, 4th International Symposium, SSD'95, Portland, Maine, USA, August 6-9, 1995, Proceedings.
Springer 1995, ISBN 3-540-60159-7
Contents BibTeX
- 952
- Walter G. Olthoff (Ed.):
ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings.
Springer 1995, ISBN 3-540-60160-0
Contents BibTeX
- 953
- David H. Pitt, David E. Rydeheard, Peter Johnstone (Eds.):
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings.
Springer 1995, ISBN 3-540-60164-3
Contents BibTeX
- 954
- Gerard Ellis, Robert Levinson, William Rich, John F. Sowa (Eds.):
Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings.
Springer 1995, ISBN 3-540-60161-9
Contents BibTeX
- 955
- Selim G. Akl, Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro (Eds.):
Algorithms and Data Structures, 4th International Workshop, WADS '95, Kingston, Ontario, Canada, August 16-18, 1995, Proceedings.
Springer 1995, ISBN 3-540-60220-8
Contents BibTeX
- 956
- Xin Yao (Ed.):
Process 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.
Springer 1995, ISBN 3-540-60154-6
Contents BibTeX
- 957
- Cristiano Castelfranchi, Jean-Pierre Müller (Eds.):
From Reaction to Cognition, 5th European Workshop on Modelling Autonomous Agents, MAAMAW '93, Neuchatel, Switzerland, August 25-27, 1993, Selected Papers.
Springer 1995, ISBN 3-540-60155-4
Contents BibTeX
- 958
- Jacques Calmet, John A. Campbell (Eds.):
Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers.
Springer 1995, ISBN 3-540-60156-2
Contents BibTeX
- 959
- Ding-Zhu Du, Ming Li (Eds.):
Computing and Combinatorics, First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995, Proceedings.
Springer 1995, ISBN 3-540-60216-X
Contents BibTeX
- 960
- Daniel Leivant (Ed.):
Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994.
Springer 1995, ISBN 3-540-60178-3
Contents BibTeX
- 961
- Klaus P. Jantke, Steffen Lange (Eds.):
Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report.
Springer 1995, ISBN 3-540-60217-8
Contents BibTeX
- 962
- Insup Lee, Scott A. Smolka (Eds.):
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings.
Springer 1995, ISBN 3-540-60218-6
Contents BibTeX
- 963
- Don Coppersmith (Ed.):
Advances in Cryptology - CRYPTO '95, 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings.
Springer 1995, ISBN 3-540-60221-6
Contents BibTeX
- 964
- Victor E. Malyshkin (Ed.):
Parallel Computing Technologies, 3rd International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings.
Springer 1995, ISBN 3-540-60222-4
Contents BibTeX
- 965
- Horst Reichel (Ed.):
Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings.
Springer 1995, ISBN 3-540-60249-6
Contents BibTeX
- 966
- Seif Haridi, Khayri A. M. Ali, Peter Magnusson (Eds.):
Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings.
Springer 1995, ISBN 3-540-60247-X
Contents BibTeX
- 967
- Jonathan P. Bowen, Michael G. Hinchey (Eds.):
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings.
Springer 1995, ISBN 3-540-60271-2
Contents BibTeX
- 968
- Nachum Dershowitz, Naomi Lindenstrauss (Eds.):
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings.
Springer 1995, ISBN 3-540-60381-6
Contents BibTeX
- 969
- Jirí Wiedermann, Petr Hájek (Eds.):
Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings.
Springer 1995, ISBN 3-540-60246-1
Contents BibTeX
- 970
- Václav Hlavác, Radim Sára (Eds.):
Computer Analysis of Images and Patterns, 6th International Conference, CAIP'95, Prague, Czech Republic, September 6-8, 1995, Proceedings.
Springer 1995, ISBN 3-540-60268-2
Contents BibTeX
- 971
- E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss (Eds.):
Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings.
Springer 1995, ISBN 3-540-60275-5
Contents BibTeX
- 972
- Jean-Michel Hélary, Michel Raynal (Eds.):
Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings.
Springer 1995, ISBN 3-540-60274-7
Contents BibTeX
- 973
- Heimo H. Adelsberger, Jirí Lazanský, Vladimír Marík (Eds.):
Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions.
Springer 1995, ISBN 3-540-60286-0
Contents BibTeX
- 974
- Carlo Braccini, Leila De Floriani, Gianni Vernazza (Eds.):
Image Analysis and Processing, 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995, Proceedings.
Springer 1995, ISBN 3-540-60298-4
Contents BibTeX
- 975
- Will Moore, Wayne Luk (Eds.):
Field-Programmable Logic and Applications, 5th International Workshop, FPL '95, Oxford, UK, August 29 - September 1, 1995, Proceedings.
Springer 1995, ISBN 3-540-60294-1
Contents BibTeX
- 976
- 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.
Springer 1995, ISBN 3-540-60299-2
Contents BibTeX
- 977
- 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 Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings.
Springer 1995, ISBN 3-540-60300-X
Contents BibTeX
- 978
- Norman Revell, A. Min Tjoa (Eds.):
Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings.
Springer 1995, ISBN 3-540-60303-4
Contents BibTeX
- 979
- Paul G. Spirakis (Ed.):
Algorithms - ESA '95, Third Annual European Symposium, Corfu, Greece, September 25-27, 1995, Proceedings.
Springer 1995, ISBN 3-540-60313-1
Contents BibTeX
- 980
- Afonso Ferreira, José D. P. Rolim (Eds.):
Parallel Algorithms for Irregularly Structured Problems, Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995, Proceedings.
Springer 1995, ISBN 3-540-60321-2
Contents BibTeX
- 981
- 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.
Springer 1995, ISBN 3-540-60343-3
Contents BibTeX
- 982
- Manuel V. Hermenegildo, S. Doaitse Swierstra (Eds.):
Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings.
Springer 1995, ISBN 3-540-60359-X
Contents BibTeX
- 983
- Alan Mycroft (Ed.):
Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings.
Springer 1995, ISBN 3-540-60360-3
Contents BibTeX
- 984
- Jean Paul Haton, Mark T. Keane, Michel Manago (Eds.):
Advances in Case-Based Reasoning, Second European Workshop, EWCBR-94, Chantilly, France, November 7-10, 1994, Selected Papers.
Springer 1995, ISBN 3-540-60364-6
Contents BibTeX
- 985
- Timos K. Sellis (Ed.):
Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings.
Springer 1995, ISBN 3-540-60365-4
Contents BibTeX
- 986
- Henry G. Baker (Ed.):
Memory Management, International Workshop IWMM 95, Kinross, UK, September 27-29, 1995, Proceedings.
Springer 1995, ISBN 3-540-60368-9
Contents BibTeX
- 987
- Paolo Camurati, Hans Eveking (Eds.):
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings.
Springer 1995, ISBN 3-540-60385-9
Contents BibTeX
- 988
- Andrew U. Frank, Werner Kuhn (Eds.):
Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings.
Springer 1995, ISBN 3-540-60392-1
Contents BibTeX
- 989
- Wilhelm Schäfer, Pere Botella (Eds.):
5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings.
Springer 1995, ISBN 3-540-60406-5
Contents BibTeX
- 990
- Carlos A. Pinto-Ferreira, Nuno J. Mamede (Eds.):
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings.
Springer 1995, ISBN 3-540-60428-6
Contents BibTeX
- 991
- Jacques Wainer, Ariadne Carvalho (Eds.):
Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings.
Springer 1995, ISBN 3-540-60436-7
Contents BibTeX
- 992
- Marco Gori, Giovanni Soda (Eds.):
Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings.
Springer 1995, ISBN 3-540-60437-5
Contents BibTeX
- 993
- Terence C. Fogarty (Ed.):
Evolutionary Computing, AISB Workshop, Sheffield, UK, April 3-4, 1995, Selected Papers.
Springer 1995, ISBN 3-540-60469-3
Contents BibTeX
- 994
- Martial Hebert, Jean Ponce, Terrance E. Boult, Ari D. Gross (Eds.):
Object Representation in Computer Vision, International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994, Proceedings.
Springer 1995, ISBN 3-540-60477-4
Contents BibTeX
- 995
- Silvia M. Müller, Wolfgang J. Paul:
The Complexity of Simple Computer Architectures.
Lecture Notes in Computer Science Vol. 995 Springer 1995, ISBN 3-540-60580-0
BibTeX
- 996
- Peter Dybjer, Bengt Nordström, Jan M. Smith (Eds.):
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers.
Springer 1995, ISBN 3-540-60579-7
Contents BibTeX
- 997
- Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann (Eds.):
Algorithmic Learning Theory, 6th International Conference, ALT '95, Fukuoka, Japan, October 18-20, 1995, Proceedings.
Springer 1995, ISBN 3-540-60454-5
Contents BibTeX
- 998
- Anne Clarke, Mário Campolargo, Nikos Karatzas (Eds.):
Bringing Telecommunication Services to the People - IS&N'95, Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16-20, 1995, Proceedings.
Springer 1995, ISBN 3-540-60479-0
Contents BibTeX
- 999
- Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.):
Hybrid Systems II.
Springer 1995, ISBN 3-540-60472-3
Contents BibTeX
Copyright © Sun May 17 00:32:05 2009
by Michael Ley (ley@uni-trier.de)