 |
 |
- 800
- Jan-Olof Eklundh (Ed.):
Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume I.
Springer 1994, ISBN 3-540-57956-7
Contents BibTeX
- 801
- Jan-Olof Eklundh (Ed.):
Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II.
Springer 1994, ISBN 3-540-57957-5
Contents BibTeX
- 802
- Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.):
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings.
Springer 1994, ISBN 3-540-58027-1
Contents BibTeX
- 803
- J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.):
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings.
Springer 1994, ISBN 3-540-58043-3
Contents BibTeX
- 804
- Daniel Hernández:
Qualitative Representation of Spatial Knowledge.
Lecture Notes in Computer Science Vol. 804 Springer 1994, ISBN 3-540-58058-1
BibTeX
- 805
- Michel Cosnard, Afonso Ferreira, Joseph G. Peters (Eds.):
Parallel and Distributed Computing, First Canada-France Conference, Montréal, Canada, May 19-21, 1994, Proceedings.
Springer 1994, ISBN 3-540-58078-6
Contents BibTeX
- 806
- Henk Barendregt, Tobias Nipkow (Eds.):
Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers.
Springer 1994, ISBN 3-540-58085-9
Contents BibTeX
- 807
- Maxime Crochemore, Dan Gusfield (Eds.):
Combinatorial Pattern Matching, 5th Annual Symposium, CPM 94, Asilomar, California, USA, June 5-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58094-8
Contents BibTeX
- 808
- Michael Masuch, László Pólos (Eds.):
Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992].
Springer 1994, ISBN 3-540-58095-6
Contents BibTeX
- 809
- Ross J. Anderson (Ed.):
Fast Software Encryption, Cambridge Security Workshop, Cambridge, UK, December 9-11, 1993, Proceedings.
Springer 1994, ISBN 3-540-58108-1
Contents BibTeX
- 810
- Gerhard Lakemeyer, Bernhard Nebel (Eds.):
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop].
Springer 1994, ISBN 3-540-58107-3
Contents BibTeX
- 811
- Gerard Wijers, Sjaak Brinkkemper, Anthony I. Wasserman (Eds.):
Advanced Information Systems Engineering, CAiSE'94, Utrecht, The Netherlands, June 6-10, 1994, Proceedings.
Springer 1995, ISBN 3-540-58113-8
Contents BibTeX
- 812
- Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg (Eds.):
Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings.
Springer 1994, ISBN 3-540-58131-6
Contents BibTeX
- 813
- Anil Nerode, Yuri Matiyasevich (Eds.):
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings.
Springer 1994, ISBN 3-540-58140-5
Contents BibTeX
- 814
- Alan Bundy (Ed.):
Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings.
Springer 1994, ISBN 3-540-58156-1
Contents BibTeX
- 815
- Robert Valette (Ed.):
Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings.
Springer 1994, ISBN 3-540-58152-9
Contents BibTeX
- 816
- Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (Eds.):
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers.
Springer 1994, ISBN 3-540-58233-9
Contents BibTeX
- 817
- Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis (Eds.):
PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58184-7
Contents BibTeX
- 818
- David L. Dill (Ed.):
Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings.
Springer 1994, ISBN 3-540-58179-0
Contents BibTeX
- 819
- Witold Litwin, Tore Risch (Eds.):
Applications of Databases, First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994, Proceedings.
Springer 1994, ISBN 3-540-58183-9
Contents BibTeX
- 820
- Serge Abiteboul, Eli Shamir (Eds.):
Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings.
Springer 1994, ISBN 3-540-58201-0
Contents BibTeX
- 821
- Mario Tokoro, Remo Pareschi (Eds.):
Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994.
Springer 1994, ISBN 3-540-58202-9
Contents BibTeX
- 822
- Frank Pfenning (Ed.):
Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings.
Springer 1994, ISBN 3-540-58216-9
Contents BibTeX
- 823
- Ramez Elmasri, Vram Kouramajian, Bernhard Thalheim (Eds.):
Entity-Relationship Approach - ER'93, 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993, Proceedings.
Springer 1994, ISBN 3-540-58217-7
Contents BibTeX
- 824
- Erik Meineche Schmidt, Sven Skyum (Eds.):
Algorithm Theory - SWAT '94, 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58218-5
Contents BibTeX
- 825
- Joseph L. Mundy, Andrew Zisserman, David A. Forsyth (Eds.):
Applications of Invariance in Computer Vision, Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993, Proceedings.
Springer 1994, ISBN 3-540-58240-1
Contents BibTeX
- 826
- David S. Bowers (Ed.):
Directions in Databases, 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58235-5
Contents BibTeX
- 827
- Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.):
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings.
Springer 1994, ISBN 3-540-58241-X
Contents BibTeX
- 828
- Lawrence C. Paulson:
Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow).
Lecture Notes in Computer Science Vol. 828 Springer 1994, ISBN 3-540-58244-4
BibTeX
- 829
- Andrew Chmora, Stephen B. Wicker (Eds.):
Error Control, Cryptology, and Speech Compression - Workshop on Information Protection, Moscow, Russia, December 6-9, 1993, Selected Papers.
Springer 1994, ISBN 3-540-58265-7
Contents BibTeX
- 830
- Cristiano Castelfranchi, Eric Werner (Eds.):
Artificial Social Systems, 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29-31, 1992, Selected Papers.
Springer 1994, ISBN 3-540-58266-5
Contents BibTeX
- 831
- Vincent Bouchitté, Michel Morvan (Eds.):
Orders, Algorithms, and Applications, International Workshop ORDAL '94, Lyon, France, July 4-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58274-6
Contents BibTeX
- 832
- Egon Börger, Yuri Gurevich, Karl Meinke (Eds.):
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers.
Springer 1994, ISBN 3-540-58277-0
Contents BibTeX
- 833
- Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu (Eds.):
Fuzzy Logic and Fuzzy Control, IJCAI '91, Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991, Proceedings.
Springer 1994, ISBN 3-540-58279-7
Contents BibTeX
- 834
- Ding-Zhu Du, Xiang-Sun Zhang (Eds.):
Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings.
Springer 1994, ISBN 3-540-58325-4
Contents BibTeX
- 835
- William M. Tepfenhart, Judith P. Dick, John F. Sowa (Eds.):
Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings.
Springer 1994, ISBN 3-540-58328-9
Contents BibTeX
- 836
- Bengt Jonsson, Joachim Parrow (Eds.):
CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings.
Springer 1994, ISBN 3-540-58329-7
Contents BibTeX
- 837
- Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter (Eds.):
Topics in Case-Based Reasoning, First European Workshop, EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993, Selected Papers.
Springer 1994, ISBN 3-540-58330-0
Contents BibTeX
- 838
- Craig MacNish, David Pearce, Luís Moniz Pereira (Eds.):
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58332-7
Contents BibTeX
- 839
- Yvo Desmedt (Ed.):
Advances in Cryptology - CRYPTO '94, 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1994, Proceedings.
Springer 1994, ISBN 3-540-58333-5
Contents BibTeX
- 840
- Gerhard Reinelt:
The Traveling Salesman, Computational Solutions for TSP Applications.
Lecture Notes in Computer Science Vol. 840 Springer 1994, ISBN 3-540-58334-3
Contents BibTeX
- 841
- Igor Prívara, Branislav Rovan, Peter Ruzicka (Eds.):
Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings.
Springer 1994, ISBN 3-540-58338-6
Contents BibTeX
- 842
- Ton Kloks:
Treewidth, Computations and Approximations.
Lecture Notes in Computer Science Vol. 842 Springer 1994, ISBN 3-540-58356-4
BibTeX
- 843
- Andrzej Szepietowski:
Turing Machines with Sublogarithmic Space.
Lecture Notes in Computer Science Vol. 843 Springer 1994, ISBN 3-540-58355-6
BibTeX
- 844
- Manuel V. Hermenegildo, Jaan Penjam (Eds.):
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings.
Springer 1994, ISBN 3-540-58402-1
Contents BibTeX
- 845
- Jean-Pierre Jouannaud (Ed.):
Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994.
Springer 1994, ISBN 3-540-58403-X
Contents BibTeX
- 846
- Doug Shepherd, Gordon S. Blair, Geoff Coulson, Nigel Davies, Francisco Garcia (Eds.):
Network and Operating System Support for Digital Audio and Video, 4th International Workshop, NOSSDAV '93, Lancaster, U.K., November 3-5, 1993, Proceedings.
Springer 1994, ISBN 3-540-58404-8
Contents BibTeX
- 847
- Anca L. Ralescu (Ed.):
Fuzzy Logic in Artificial Intelligence, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings.
Springer 1994, ISBN 3-540-58409-9
Contents BibTeX
- 848
- Arnold R. Krommer, Christoph W. Ueberhuber:
Numerical Integration on Advanced Computer Systems.
Lecture Notes in Computer Science Vol. 848 Springer 1994, ISBN 3-540-58410-2
BibTeX
- 849
- Reiner W. Hartenstein, Michal Servít (Eds.):
Field-Programmable Logic, Architectures, Synthesis and Applications, 4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, Czech Republic, September 7-9, 1994, Proceedings.
Springer 1994, ISBN 3-540-58419-6
Contents BibTeX
- 850
- Giorgio Levi, Mario Rodríguez-Artalejo (Eds.):
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings.
Springer 1994, ISBN 3-540-58431-5
Contents BibTeX
- 851
- Hans-Jürgen Kugler, Alvin P. Mullery, Norbert Niebert (Eds.):
Towards a Pan-European Telecommunication Service Infrastructure - IS&N'94, Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994, Proceedings.
Springer 1994, ISBN 3-540-58420-X
Contents BibTeX
- 852
- Klaus Echtle, Dieter K. Hammer, David Powell (Eds.):
Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings.
Springer 1994, ISBN 3-540-58426-9
Contents BibTeX
- 853
- Kevin Bolding, Lawrence Snyder (Eds.):
Parallel Computer Routing and Communication, First International Workshop, PCRCW'94, Seattle, Washington, USA, May 16-18, 1994, Proceedings.
Springer 1994, ISBN 3-540-58429-3
Contents BibTeX
- 854
- Bruno Buchberger, Jens Volkert (Eds.):
Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings.
Springer 1994, ISBN 3-540-58430-7
Contents BibTeX
- 855
- Jan van Leeuwen (Ed.):
Algorithms - ESA '94, Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994, Proceedings.
Springer 1994, ISBN 3-540-58434-X
Contents BibTeX
- 856
- Dimitris Karagiannis (Ed.):
Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings.
Springer 1994, ISBN 3-540-58435-8
Contents BibTeX
- 857
- Gerard Tel, Paul M. B. Vitányi (Eds.):
Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings.
Springer 1994, ISBN 3-540-58449-8
Contents BibTeX
- 858
- Elisa Bertino, Susan Darling Urban (Eds.):
Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings.
Springer 1994, ISBN 3-540-58451-X
Contents BibTeX
- 859
- Thomas F. Melham, Juanito Camilleri (Eds.):
Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings.
Springer 1994, ISBN 3-540-58450-1
Contents BibTeX
- 860
- Wolfgang L. Zagler, Geoff Bushy, Roland Wagner (Eds.):
Computers for Handicapped Persons, 4th International Conference, ICCHP'94, Vienna, Austria, September 14-16, 1994, Proceedings.
Springer 1994, ISBN 3-540-58476-5
Contents BibTeX
- 861
- Bernhard Nebel, Leonie S. Dreschler-Fischer (Eds.):
KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings.
Springer 1994, ISBN 3-540-58467-6
Contents BibTeX
- 862
- Rafael C. Carrasco, José Oncina (Eds.):
Grammatical Inference and Applications, Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994, Proceedings.
Springer 1994, ISBN 3-540-58473-0
Contents BibTeX
- 863
- Hans Langmaack, Willem P. de Roever, Jan Vytopil (Eds.):
Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings.
Springer 1994, ISBN 3-540-58468-4
Contents BibTeX
- 864
- Baudouin Le Charlier (Ed.):
Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings.
Springer 1994, ISBN 3-540-58485-4
Contents BibTeX
- 865
- Terence C. Fogarty (Ed.):
Evolutionary Computing, AISB Workshop, Leeds, UK, April 11-13, 1994, Selected Papers.
Springer 1994, ISBN 3-540-58483-8
Contents BibTeX
- 866
- Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer (Eds.):
Parallel Problem Solving from Nature - PPSN III, International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994, Proceedings.
Springer 1994, ISBN 3-540-58484-6
Contents BibTeX
- 867
- Luc Steels, Guus Schreiber, Walter Van de Velde (Eds.):
A Future for Knowledge Acquisition, 8th European Knowledge Acquisition Workshop, EKAW'94, Hoegaarden, Belgium, September 26-29, 1994, Proceedings.
Springer 1994, ISBN 3-540-58487-0
Contents BibTeX
- 868
- Ralf Steinmetz (Ed.):
Multimedia: Advanced Teleservices and High-Speed Communication Architectures, Second International Workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994, Proceedings.
Springer 1994, ISBN 3-540-58494-3
Contents BibTeX
- 869
- Zbigniew W. Ras, Maria Zemankova (Eds.):
Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings.
Springer 1994, ISBN 3-540-58495-1
Contents BibTeX
- 870
- J. S. Greenfield:
Distributed Programming Paradigms with Cryptography Applications.
Lecture Notes in Computer Science Vol. 870 Springer 1994, ISBN 3-540-58496-X
BibTeX
- 871
- John Peter Lee, Georges G. Grinstein (Eds.):
database Issues for Data Visualization: IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993, Proceedings.
Springer 1993, ISBN 3-540-58519-2
Contents BibTeX
- 872
- Setsuo Arikawa, Klaus P. Jantke (Eds.):
Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings.
Springer 1994, ISBN 3-540-58520-6
Contents BibTeX
- 873
- Maurice Naftalin, B. Tim Denvir, Miquel Bertran (Eds.):
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings.
Springer 1994, ISBN 3-540-58555-9
Contents BibTeX
- 874
- Alan Borning (Ed.):
Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings.
Springer 1994, ISBN 3-540-58601-6
Contents BibTeX
- 875
- Dieter Gollmann (Ed.):
Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings.
Springer 1994, ISBN 3-540-58618-0
Contents BibTeX
- 876
- Brad Blumenthal, Juri Gornostaev, Claus Unger (Eds.):
Human-Computer Interaction, 4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2-5, 1994, Selected Papers.
Springer 1994, ISBN 3-540-58648-2
Contents BibTeX
- 877
- Leonard M. Adleman, Ming-Deh A. Huang (Eds.):
Algorithmic Number Theory, First International Symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994, Proceedings.
Springer 1994, ISBN 3-540-58691-1
Contents BibTeX
- 878
- Toru Ishida:
Parallel, Distributed and Multiagent Production Systems.
Lecture Notes in Computer Science Vol. 878 Springer 1994, ISBN 3-540-58698-9
BibTeX
- 879
- Jack Dongarra, Jerzy Wasniewski (Eds.):
Parallel Scientific Computing, First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994, Proceedings.
Springer 1994, ISBN 3-540-58712-8
Contents BibTeX
- 880
- P. S. Thiagarajan (Ed.):
Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings.
Springer 1994, ISBN 3-540-58715-2
Contents BibTeX
- 881
- Pericles Loucopoulos (Ed.):
Entity-Relationship Approach - ER'94, Business Modelling and Re-Engineering, 13th International Conference on the Entity-Relationship Approach, Manchester, U.K., December 13-16, 1994, Proceedings.
Springer 1994, ISBN 3-540-58786-1
Contents BibTeX
- 882
- David Hutchison, André A. S. Danthine, Helmut Leopold, Geoff Coulson (Eds.):
Multimedia Transport and Teleservices, International COST 237 Workshop, Vienna, Austria, November 13-15, 1994, Proceedings.
Springer 1994, ISBN 3-540-58759-4
Contents BibTeX
- 883
- Laurent Fribourg, Franco Turini (Eds.):
Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings.
Springer 1994, ISBN 3-540-58792-6
Contents BibTeX
- 884
- Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer (Eds.):
IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28 - March 4, 1994, Proceedings.
Springer 1994, ISBN 3-540-58795-0
Contents BibTeX
- 885
- Remco C. Veltkamp:
Closed Object Boundaries from Scattered Points.
Lecture Notes in Computer Science Vol. 885 Springer 1994, ISBN 3-540-58808-6
BibTeX
- 886
- Manuela M. Veloso:
Planning and Learning by Analogical Reasoning.
Lecture Notes in Computer Science Vol. 886 Springer 1994, ISBN 3-540-58811-6
BibTeX
- 887
- Marcel Toussaint (Ed.):
Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings.
Springer 1994, ISBN 3-540-58822-1
Contents BibTeX
- 888
- Stig I. Andersson (Ed.):
Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings.
Springer 1995, ISBN 3-540-58843-4
Contents BibTeX
- 889
- Hannes P. Lubich:
Towards a CSCW Framework for Scientific Cooperation in Europe.
Lecture Notes in Computer Science Vol. 889 Springer 1995, ISBN 3-540-58844-2
BibTeX
- 890
- Michael Wooldridge, Nicholas R. Jennings (Eds.):
Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings.
Springer 1995, ISBN 3-540-58855-8
Contents BibTeX
- 891
- Claus Lewerentz, Thomas Lindner (Eds.):
Formal Development of Reactive Systems - Case Study Production Cell.
Springer 1995, ISBN 3-540-58867-1
Contents BibTeX
- 892
- Keshav Pingali, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.):
Languages and Compilers for Parallel Computing, 7th International Workshop, LCPC'94, Ithaca, NY, USA, August 8-10, 1994, Proceedings.
Springer 1995, ISBN 3-540-58868-X
Contents BibTeX
- 893
- Georg Gottlob, Moshe Y. Vardi (Eds.):
Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings.
Springer 1995, ISBN 3-540-58907-4
Contents BibTeX
- 894
- Roberto Tamassia, Ioannis G. Tollis (Eds.):
Graph Drawing, DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10-12, 1994, Proceedings.
Springer 1995, ISBN 3-540-58950-3
Contents BibTeX
- 895
- Rosalind L. Ibrahim (Ed.):
Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings.
Springer 1995, ISBN 3-540-58951-1
Contents BibTeX
- 896
- Richard N. Taylor, Joëlle Coutaz (Eds.):
Software Engineering and Human-Computer Interaction, ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994, Proceedings.
Springer 1995, ISBN 3-540-59008-0
Contents BibTeX
- 897
- Michael Fisher, Richard Owens (Eds.):
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings.
Springer 1995, ISBN 3-540-58976-7
Contents BibTeX
- 898
- Petra Steffens (Ed.):
Machine Translation and the Lexicon, Third International EAMT Workshop, Heidelberg, April 26-28, 1993, Proceedings.
Springer 1995, ISBN 3-540-59040-4
Contents BibTeX
- 899
- Wolfgang Banzhaf, Frank H. Eeckman (Eds.):
Evolution and Biocomputation, Computational Models of Evolution.
Springer 1995, ISBN 3-540-59046-3
Contents BibTeX
Copyright © Sun May 17 00:32:05 2009
by Michael Ley (ley@uni-trier.de)