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