default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 700-799
700Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson:
Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Lecture Notes in Computer Science 700, Springer 1993, ISBN 3-540-56939-1 [contents]- 701Paolo Atzeni:
LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science 701, Springer 1993, ISBN 3-540-56974-X [contents] - 702Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter:
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Lecture Notes in Computer Science 702, Springer 1993, ISBN 3-540-56992-8 [contents] - 703Mark de Berg:
Ray Shooting, Depth Orders and Hidden Surface Removal. Lecture Notes in Computer Science 703, Springer 1993, ISBN 3-540-57020-9 - 704Frances Newbery Paulisch:
The Deisgn of an Extendible Graph Editor. Lecture Notes in Computer Science 704, Springer 1993, ISBN 3-540-57090-X - 705Herbert Grünbacher, Reiner W. Hartenstein:
Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992, Selected Papers. Lecture Notes in Computer Science 705, Springer 1993, ISBN 3-540-57091-8 [contents] - 706H. Dieter Rombach, Victor R. Basili, Richard W. Selby:
Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop Dagstuhl Castle, Germany, September 14-18, 1992, Proceedings. Lecture Notes in Computer Science 706, Springer 1993, ISBN 3-540-57092-6 [contents] - 707Oscar Nierstrasz
:
ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings. Lecture Notes in Computer Science 707, Springer 1993, ISBN 3-540-57120-5 [contents] - 708Christian Laugier:
Geometric Reasoning for Perception and Action, Workshop, Grenoble, France, September 16-17, 1991, Selected Papers. Lecture Notes in Computer Science 708, Springer 1993, ISBN 3-540-57132-9 [contents] - 709Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides:
Algorithms and Data Structures, Third Workshop, WADS '93, Montréal, Canada, August 11-13, 1993, Proceedings. Lecture Notes in Computer Science 709, Springer 1993, ISBN 3-540-57155-8 [contents] - 710Zoltán Ésik:
Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings. Lecture Notes in Computer Science 710, Springer 1993, ISBN 3-540-57163-9 [contents] - 711Andrzej M. Borzyszkowski, Stefan Sokolowski:
Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings. Lecture Notes in Computer Science 711, Springer 1993, ISBN 3-540-57182-5 [contents] - 712P. Venkat Rangan:
Network and Operating System Support for Digital Audio and Video, Third International Workshop, La Jolla, California, USA, November 12-13, 1992, Proceedings. Lecture Notes in Computer Science 712, Springer 1993, ISBN 3-540-57183-3 [contents] - 713Georg Gottlob, Alexander Leitsch, Daniele Mundici:
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings. Lecture Notes in Computer Science 713, Springer 1993, ISBN 3-540-57184-1 [contents] - 714Maurice Bruynooghe, Jaan Penjam:
Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Lecture Notes in Computer Science 714, Springer 1993, ISBN 3-540-57186-8 [contents] - 715Eike Best:
CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Lecture Notes in Computer Science 715, Springer 1993, ISBN 3-540-57208-2 [contents] - 716Andrew U. Frank, Irene Campari:
Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT '93, Marciana Marina, Elba Island, Italy, September 19-22, 1993, Proceedings. Lecture Notes in Computer Science 716, Springer 1993, ISBN 3-540-57207-4 [contents] - 717Ian Sommerville, Manfred Paul:
Software Engineering - ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings. Lecture Notes in Computer Science 717, Springer 1993, ISBN 3-540-57209-0 [contents] - 718Jennifer Seberry, Yuliang Zheng:
Advances in Cryptology - AUSCRYPT '92, Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-16, 1992, Proceedings. Lecture Notes in Computer Science 718, Springer 1993, ISBN 3-540-57220-1 [contents] - 719Dmitry Chetverikov, Walter G. Kropatsch:
Computer Analysis of Images and Patterns, 5th International Conference, CAIP'93, Budapest, Hungary, September 13-15, 1993, Proceedings. Lecture Notes in Computer Science 719, Springer 1993, ISBN 3-540-57233-3 [contents] - 720Vladimír Marík, Jirí Lazanský, Roland R. Wagner:
Database and Expert Systems Applications, 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings. Lecture Notes in Computer Science 720, Springer 1993, ISBN 3-540-57234-1 [contents] - 721John P. Fitch:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings. Lecture Notes in Computer Science 721, Springer 1993, ISBN 3-540-57272-4 [contents] - 722Alfonso Miola:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings. Lecture Notes in Computer Science 722, Springer 1993, ISBN 3-540-57235-X [contents] - 723Nathalie Aussenac-Gilles, Guy A. Boy, Brian R. Gaines, Jean-Gabriel Ganascia, Yves Kodratoff, Marc Linster:
Knowledge Acquisition for Knowledge-Based Systems, 7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993, Proceedings. Lecture Notes in Computer Science 723, Springer 1993, ISBN 3-540-57253-8 [contents] - 724Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents] - 725André Schiper:
Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings. Lecture Notes in Computer Science 725, Springer 1993, ISBN 3-540-57271-6 [contents] - 726Thomas Lengauer:
Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993, Proceedings. Lecture Notes in Computer Science 726, Springer 1993, ISBN 3-540-57273-2 [contents] - 727Miguel Filgueiras, Luís Damas:
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings. Lecture Notes in Computer Science 727, Springer 1993, ISBN 3-540-57287-2 [contents] - 728Pietro Torasso:
Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings. Lecture Notes in Computer Science 728, Springer 1993, ISBN 3-540-57292-9 [contents] - 729Lorenzo Donatiello, Randolph D. Nelson:
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93, Santa Clara, CA, USA, May 10-14, 1993. Lecture Notes in Computer Science 729, Springer 1993, ISBN 3-540-57297-X [contents] - 730David B. Lomet:
Foundations of Data Organization and Algorithms, 4th International Conference, FODO'93, Chicago, Illinois, USA, October 13-15, 1993, Proceedings. Lecture Notes in Computer Science 730, Springer 1993, ISBN 3-540-57301-1 [contents] - 731Alexander Schill:
DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond, International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993, Proceedings. Lecture Notes in Computer Science 731, Springer 1993, ISBN 3-540-57306-2 [contents] - 732Arndt Bode, Mario Dal Cin:
Parallel Computer Architectures: Theory, Hardware, Software, Applications. Lecture Notes in Computer Science 732, Springer 1993, ISBN 3-540-57307-0 [contents] - 733Thomas Grechenig, Manfred Tscheligi:
Human Computer Interaction, Vienna Conference, VCHCI '93, Fin de Siècle, Vienna, Austria, September 20-22, 1993, Proceedings. Lecture Notes in Computer Science 733, Springer 1993, ISBN 3-540-57312-7 [contents] - 734Jens Volkert:
Parallel Computation, Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993, Proceedings. Lecture Notes in Computer Science 734, Springer 1993, ISBN 3-540-57314-3 [contents] - 735Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Lecture Notes in Computer Science 735, Springer 1993, ISBN 3-540-57316-X [contents] - 736Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 [contents] - 737Jacques Calmet, John A. Campbell:
Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Lecture Notes in Computer Science 737, Springer 1993, ISBN 3-540-57322-4 [contents] - 738Matthias Weber, Martin Simons, Christine Lafontaine:
The Generic Development Language Deva: Presentation and Case Studies. Lecture Notes in Computer Science 738, Springer 1993, ISBN 3-540-57335-6 - 739Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto:
Advances in Cryptology - ASIACRYPT '91, International Conference on the Theory and Applications of Cryptology, Fujiyoshida, Japan, November 11-14, 1991, Proceedings. Lecture Notes in Computer Science 739, Springer 1993, ISBN 3-540-57332-1 [contents] - 740Ernest F. Brickell:
Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992, Proceedings. Lecture Notes in Computer Science 740, Springer 1993, ISBN 3-540-57340-2 [contents] - 741Bart Preneel, René Govaerts, Joos Vandewalle:
Computer Security and Industrial Cryptography - State of the Art and Evolution, ESAT Course, Leuven, Belgium, May 21-23, 1991. Lecture Notes in Computer Science 741, Springer 1993, ISBN 3-540-57341-0 [contents] - 742Shojiro Nishio, Akinori Yonezawa:
Object Technologies for Advanced Software, First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings. Lecture Notes in Computer Science 742, Springer 1993, ISBN 3-540-57342-9 [contents] - 743Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyoaki Nishida:
Algorithmic Learning Theory, Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992, Proceedings. Lecture Notes in Computer Science 743, Springer 1993, ISBN 3-540-57369-0 [contents] - 744Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori:
Algorithmic Learning Theory, 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993, Proceedings. Lecture Notes in Computer Science 744, Springer 1993, ISBN 3-540-57370-4 [contents] - 745Vito Roberto:
Intelligent Perceptual Systems: New Directions in Computational Perception. Lecture Notes in Computer Science 745, Springer 1993, ISBN 3-540-57379-8 - 746Andranick Tanguiane:
Artificail Perception and Music Recognition. Lecture Notes in Computer Science 746, Springer 1993, ISBN 3-540-57394-1 - 747Michael Clarke, Rudolf Kruse, Serafín Moral:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993, Proceedings. Lecture Notes in Computer Science 747, Springer 1993, ISBN 3-540-57395-X [contents] - 748Robert H. Halstead Jr., Takayasu Ito:
Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Lecture Notes in Computer Science 748, Springer 1993, ISBN 3-540-57396-8 [contents] - 749Peter Fritszon:
Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings. Lecture Notes in Computer Science 749, Springer 1993, ISBN 3-540-57417-4 [contents] - 750Jorge L. Díaz-Herrera:
Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings. Lecture Notes in Computer Science 750, Springer 1994, ISBN 3-540-57461-1 [contents] - 751Bernd Jähne:
Spatio-Temporal Image Processing: Theory and Scientific Applications. Lecture Notes in Computer Science 751, Springer 1993, ISBN 3-540-57418-2 - 752Timothy W. Finin, Charles K. Nicholas, Yelena Yesha:
Information and Knowledge Management, Expanding the Definition of "Database", First International Conference, CIKM'92, Baltimore, Maryland, USA, November 8-11, 1992, Selected Papers. Lecture Notes in Computer Science 752, Springer 1993, ISBN 3-540-57419-0 [contents] - 753Leonard J. Bass, Juri Gornostaev, Claus Unger:
Human-Computer Interaction, Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993, Selected Papers. Lecture Notes in Computer Science 753, Springer 1993, ISBN 3-540-57433-6 [contents] - 754Heather Pfeiffer, Timothy E. Nagle:
Conceptual Structures: Theory and Implementation, 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992, Proceedings. Lecture Notes in Computer Science 754, Springer 1993, ISBN 3-540-57454-9 [contents] - 755Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755, Springer 1993, ISBN 3-540-57499-9 [contents] - 756Josef Pieprzyk, Babak Sadeghiyan:
Design of Hashing Algorithms. Lecture Notes in Computer Science 756, Springer 1993, ISBN 3-540-57500-6 - 757Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua:
Languages and Compilers for Parallel Computing, 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings. Lecture Notes in Computer Science 757, Springer 1993, ISBN 3-540-57502-2 [contents] - 758Monique Teillaud:
Towards Dynamic Randomized Algorithms in Computational Geometry. Lecture Notes in Computer Science 758, Springer 1993, ISBN 3-540-57503-0 - 759Nabil R. Adam, Bharat K. Bhargava:
Advanced Database Systems. Lecture Notes in Computer Science 759, Springer 1993, ISBN 3-540-57507-3 [contents] - 760Stefano Ceri, Katsumi Tanaka, Shalom Tsur:
Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings. Lecture Notes in Computer Science 760, Springer 1993, ISBN 3-540-57530-8 [contents] - 761R. K. Shyamasundar:
Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings. Lecture Notes in Computer Science 761, Springer 1993, ISBN 3-540-57529-4 [contents] - 762Kam-Wing Ng, Prabhakar Raghavan, N. V. Balasubramanian, Francis Y. L. Chin:
Algorithms and Computation, 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993, Proceedings. Lecture Notes in Computer Science 762, Springer 1993, ISBN 3-540-57568-5 [contents] - 763Franz Pichler, Roberto Moreno-Díaz:
Computer Aided Systems Theory - EUROCAST'93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings. Lecture Notes in Computer Science 763, Springer 1994, ISBN 3-540-57601-0 [contents] - 764Gerd Wagner:
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation. Lecture Notes in Computer Science 764, Springer 1994, ISBN 3-540-57604-5 - 765Tor Helleseth:
Advances in Cryptology - EUROCRYPT '93, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993, Proceedings. Lecture Notes in Computer Science 765, Springer 1994, ISBN 3-540-57600-2 [contents] - 766Philip R. Van Loocke:
The Dynamics of Concepts - A Connectionist Model. Lecture Notes in Computer Science 766, Springer 1994, ISBN 3-540-57647-9 - 767Martin Gogolla:
An Extended Entity-Relationship Model - Fundamentals and Pragmatics. Lecture Notes in Computer Science 767, Springer 1994, ISBN 3-540-57648-7 - 768Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua:
Languages and Compilers for Parallel Computing, 6th International Workshop, Portland, Oregon, USA, August 12-14, 1993, Proceedings. Lecture Notes in Computer Science 768, Springer 1994, ISBN 3-540-57659-2 [contents] - 769John L. Nazareth:
The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization. Lecture Notes in Computer Science 769, Springer 1994, ISBN 3-540-57671-1 - 770Peter Haddawy:
Representing Plans Under Uncertainty: A Logic of Time, Change, and Action. Lecture Notes in Computer Science 770, Springer 1994, ISBN 3-540-57697-5 - 771Gerald Tomas, Christoph W. Ueberhuber:
Visualization of Scientific Parallel Programs. Lecture Notes in Computer Science 771, Springer 1994, ISBN 3-540-57738-6 - 772Brian Warboys:
Software Process Technology, Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994, Proceedings. Lecture Notes in Computer Science 772, Springer 1994, ISBN 3-540-57739-4 [contents] - 773Douglas R. Stinson:
Advances in Cryptology - CRYPTO '93, 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings. Lecture Notes in Computer Science 773, Springer 1994, ISBN 3-540-57766-1 [contents] - 774Michel Banâtre, Peter A. Lee:
Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993]. Lecture Notes in Computer Science 774, Springer 1994, ISBN 3-540-57767-X [contents] - 775Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner:
STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Lecture Notes in Computer Science 775, Springer 1994, ISBN 3-540-57785-8 [contents] - 776Hans Jürgen Schneider, Hartmut Ehrig:
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Lecture Notes in Computer Science 776, Springer 1994, ISBN 3-540-57787-4 [contents] - 777Kai von Luck, Heinz Marburger:
Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings. Lecture Notes in Computer Science 777, Springer 1994, ISBN 3-540-57802-1 [contents] - 778Maurizio A. Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi:
Algorithms and Complexity, Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994, Proceedings. Lecture Notes in Computer Science 778, Springer 1994, ISBN 3-540-57811-0 [contents] - 779Matthias Jarke, Janis A. Bubenko Jr., Keith G. Jeffery:
Advances in Database Technology - EDBT'94. 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28-31, 1994, Proceedings. Lecture Notes in Computer Science 779, Springer 1994, ISBN 3-540-57818-8 [contents] - 780Jeffrey J. Joyce, Carl-Johan H. Seger:
Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Lecture Notes in Computer Science 780, Springer 1994, ISBN 3-540-57826-9 [contents] - 781Gérard D. Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zémor:
Algebraic Coding, First French-Israeli Workshop, Paris, France, July 19-21, 1993, Proceedings. Lecture Notes in Computer Science 781, Springer 1993, ISBN 3-540-57843-9 [contents] - 782Jürg Gutknecht:
Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings. Lecture Notes in Computer Science 782, Springer 1994, ISBN 3-540-57840-4 [contents] - 783Christoph G. Günther:
Mobile Communications: Advanced Systems and Components, 1994 International Zurich Seminar on Digital Communications, Zurich Switzerland, March 8-11, 1994, Proceedings. Lecture Notes in Computer Science 783, Springer 1994, ISBN 3-540-57856-0 [contents] - 784Francesco Bergadano, Luc De Raedt:
Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings. Lecture Notes in Computer Science 784, Springer 1994, ISBN 3-540-57868-4 [contents] - 785Hartmut Ehrig:
Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Lecture Notes in Computer Science 785, Springer 1994, ISBN 3-540-57867-6 [contents] - 786Peter Fritzson:
Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings. Lecture Notes in Computer Science 786, Springer 1994, ISBN 3-540-57877-3 [contents] - 787Sophie Tison:
Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings. Lecture Notes in Computer Science 787, Springer 1994, ISBN 3-540-57879-X [contents] - 788Donald Sannella:
Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings. Lecture Notes in Computer Science 788, Springer 1994, ISBN 3-540-57880-3 [contents] - 789Masami Hagiya, John C. Mitchell:
Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science 789, Springer 1994, ISBN 3-540-57887-0 [contents] - 790Jan van Leeuwen:
Graph-Theoretic Concepts in Computer Science, 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings. Lecture Notes in Computer Science 790, Springer 1994, ISBN 3-540-57899-4 [contents] - 791Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill:
Object-Based Distributed Programming, ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993. Lecture Notes in Computer Science 791, Springer 1994, ISBN 3-540-57932-X [contents] - 792Neil D. Jones, Masami Hagiya, Masahiko Sato:
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Lecture Notes in Computer Science 792, Springer 1994, ISBN 0-387-57935-4 [contents] - 793T. Aaron Gulliver, Norman P. Secord:
Information Theory and Applications, Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993, Proceedings. Lecture Notes in Computer Science 793, Springer 1994, ISBN 3-540-57936-2 [contents] - 794Günter Haring, Gabriele Kotsis:
Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings. Lecture Notes in Computer Science 794, Springer 1994, ISBN 3-540-58021-2 [contents] - 795Warren A. Hunt Jr.:
FM8501: A Verified Microprocessor. Lecture Notes in Computer Science 795, Springer 1994, ISBN 3-540-57960-5 - 796Wolfgang Gentzsch, Uwe Harms:
High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1994, Munich, Germany, April 18-20, 1994, Proceedings, Volume I: Applications. Lecture Notes in Computer Science 796, Springer 1994, ISBN 3-540-57980-X [contents] - 797Wolfgang Gentzsch, Uwe Harms:
High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1994, Munich, Germany, April 18-20, 1994, Proceedings, Volume II: Networking and Tools. Lecture Notes in Computer Science 797, Springer 1994, ISBN 3-540-57981-8 [contents] - 798Roy Dyckhoff:
Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings. Lecture Notes in Computer Science 798, Springer 1994, ISBN 3-540-58025-5 [contents] - 799Munindar P. Singh:
Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications. University of Texas at Austin, TX, USA, Lecture Notes in Computer Science 799, Springer 1994, ISBN 3-540-58026-3, pp. 1-168
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:
