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