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