dblp.uni-trier.de www.uni-trier.de

Lecture Notes in Computer Science (LNCS), Volumes 900-999

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
922
Heiko Dörr: Efficient Graph Rewriting and Its Implementation. Lecture Notes in Computer Science Vol. 922 Springer 1995, ISBN 3-540-60055-8
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
923
Manfred Meyer (Ed.): Constraint Processing, Selected Papers. Springer 1995, ISBN 3-540-59479-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
941
Marco Cadoli: Tractable Reasoning in Artificial Intelligence. Lecture Notes in Computer Science Vol. 941 Springer 1995, ISBN 3-540-60058-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
942
Günter Böckle: Exploitation of Fine-Grain Parallelism. Lecture Notes in Computer Science Vol. 942 Springer 1995, ISBN 3-540-60054-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
961
Klaus P. Jantke, Steffen Lange (Eds.): Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report. Springer 1995, ISBN 3-540-60217-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
999
Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems II. Springer 1995, ISBN 3-540-60472-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:34:35 2010 by Michael Ley (ley@uni-trier.de)