default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 1000-1099
1000Jan van Leeuwen:
Computer Science Today: Recent Trends and Developments. Lecture Notes in Computer Science 1000, Springer 1995, ISBN 3-540-60105-8 [contents]- 1001Madhu Sudan:
Efficient Checking of Polynomials and Proofs anf the Hardness of Approximation Problems. Lecture Notes in Computer Science 1001, Springer 1995, ISBN 3-540-60615-7 - 1002James J. Kistler:
Disconnected Operation in a Distributed File System. University of Pittsburgh, PA, USA, Lecture Notes in Computer Science 1002, Springer 1995, ISBN 3-540-60627-0 - 1003P. Pandurang Nayak:
Automated Modeling of Physical Systems. Stanford University, CA, USA, Lecture Notes in Computer Science 1003, Springer 1995, ISBN 3-540-60641-6, pp. 1-232 - 1004John Staples, Peter Eades, Naoki Katoh, Alistair Moffat:
Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1004, Springer 1995, ISBN 3-540-60573-8 [contents] - 1005Jacky Estublier:
Software Configuration Management, ICSE SCM-4 and SCM-5 Workshops, Selected Papers. Lecture Notes in Computer Science 1005, Springer 1995, ISBN 3-540-60578-9 [contents] - 1006Subhash Bhalla
:
Information Systems and Data Management, 6th International Conference, CISMOD'95, Bombay, India, November 15-17, 1995, Proceedings. Lecture Notes in Computer Science 1006, Springer 1995, ISBN 3-540-60584-3 [contents] - 1007Antoon Bosselaers, Bart Preneel:
Integrity Primitives for Secure Information Systems, Final Report of RACE Integrity Primitives Evaluation RIPE-RACE 1040. Lecture Notes in Computer Science 1007, Springer 1995, ISBN 3-540-60640-8 - 1008Bart Preneel:
Fast Software Encryption: Second International Workshop. Leuven, Belgium, 14-16 December 1994, Proceedings. Lecture Notes in Computer Science 1008, Springer 1995 [contents] - 1009Manfred Broy, Stefan Jähnichen:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science 1009, Springer 1995, ISBN 3-540-60589-4 [contents] - 1010Manuela M. Veloso, Agnar Aamodt:
Case-Based Reasoning Research and Development, First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995, Proceedings. Lecture Notes in Computer Science 1010, Springer 1995, ISBN 3-540-60598-3 [contents] - 1011Takeshi Furuhashi:
Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms, IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 18994, Selected Papers. Lecture Notes in Computer Science 1011, Springer 1995, ISBN 3-540-60607-6 [contents] - 1012Miroslav Bartosek, Jan Staudek, Jirí Wiedermann:
SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings. Lecture Notes in Computer Science 1012, Springer 1995, ISBN 3-540-60609-2 [contents] - 1013Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille:
Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings. Lecture Notes in Computer Science 1013, Springer 1995, ISBN 3-540-60608-4 [contents] - 1014Angel P. del Pobil, Miguel Angel Serna:
Spatial Representation and Motion Planning. Lecture Notes in Computer Science 1014, Springer 1995, ISBN 3-540-60620-3 - 1015Brad Blumenthal, Juri Gornostaev, Claus Unger:
Human-Computer Interaction, 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995, Selected Papers. Lecture Notes in Computer Science 1015, Springer 1995, ISBN 3-540-60614-9 [contents] - 1016Roberto Cipolla:
Active Visual Inference of Surface Shape. Lecture Notes in Computer Science 1016, Springer 1996, ISBN 3-540-60642-4 - 1017Manfred Nagl:
Graph-Theoretic Concepts in Computer Science, 21st International Workshop, WG '95, Aachen, Germany, June 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1017, Springer 1995, ISBN 3-540-60618-1 [contents] - 1018Thomas D. C. Little, Riccardo Gusella:
Network and Operating System Support for Digital Audio and Video, 5th International Workshop, NOSSDAV '95, Durham, New Hampshire, USA, April 19-21, 1995, Proceedings. Lecture Notes in Computer Science 1018, Springer 1995, ISBN 3-540-60647-5 [contents] - 1019Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents] - 1020Ian D. Watson:
Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings. Lecture Notes in Computer Science 1020, Springer 1995, ISBN 3-540-60654-8 [contents] - 1021Mike P. Papazoglou:
OOER'95: Object-Oriented and Entity-Relationship Modelling, 14th International Conference, Gold Coast, Australia, December 12-15, 1995, Proceedings. Lecture Notes in Computer Science 1021, Springer 1995, ISBN 3-540-60672-6 [contents] - 1022Pieter H. Hartel, Marinus J. Plasmeijer:
Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1022, Springer 1995, ISBN 3-540-60675-0 [contents] - 1023Kanchana Kanchanasut, Jean-Jacques Lévy:
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings. Lecture Notes in Computer Science 1023, Springer 1995, ISBN 3-540-60688-2 [contents] - 1024Roland T. Chin, Horace Ho-Shing Ip, Avi C. Naiman, Ting-Chuen Pong:
Image Analysis Applications and Computer Graphics, Third International Computer Science Conference, ICSC'95, Hong Kong, December 11-13, 1995, Proceedings. Lecture Notes in Computer Science 1024, Springer 1995, ISBN 3-540-60697-1 [contents] - 1025Colin Boyd:
Cryptography and Coding, 5th IMA Conference, Cirencester, UK, December 18-20, 1995, Proceedings. Lecture Notes in Computer Science 1025, Springer 1995, ISBN 3-540-60693-9 [contents] - 1026P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Lecture Notes in Computer Science 1026, Springer 1995, ISBN 3-540-60692-0 [contents] - 1027Franz-Josef Brandenburg:
Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1027, Springer 1996, ISBN 3-540-60723-4 [contents] - 1028Nabil R. Adam, Yelena Yesha:
Electronic Commerce, Current Research Issues and Applications [Workshop at NIST, Gaithersburg, Maryland, USA, December 1, 1994]. Lecture Notes in Computer Science 1028, Springer 1996, ISBN 3-540-60738-2 [contents] - 1029Ed Dawson, Jovan Dj. Golic:
Cryptography: Policy and Algorithms, International Conference, Brisbane, Queensland, Australia, July 3-5, 1995, Proceedings. Lecture Notes in Computer Science 1029, Springer 1995, ISBN 3-540-60759-5 [contents] - 1030Franz Pichler, Roberto Moreno-Díaz, Rudolf F. Albrecht:
Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings. Lecture Notes in Computer Science 1030, Springer 1996, ISBN 3-540-60748-X [contents] - 1031Marcel Toussaint:
Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings. Lecture Notes in Computer Science 1031, Springer 1996, ISBN 3-540-60757-9 [contents] - 1032Patrice Godefroid:
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. Lecture Notes in Computer Science 1032, Springer 1996, ISBN 3-540-60761-7 - 1033Chua-Huang Huang, P. Sadayappan, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua:
Languages and Compilers for Parallel Computing, 8th International Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995, Proceedings. Lecture Notes in Computer Science 1033, Springer 1996, ISBN 3-540-60765-X [contents] - 1034Gabriel M. Kuper, Mark Wallace:
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings. Lecture Notes in Computer Science 1034, Springer 1996, ISBN 3-540-60794-3 [contents] - 1035Stan Z. Li, Dinesh P. Mital, Eam Khwang Teoh, Han Wang:
Recent Developments in Computer Vision, Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995, Invited Session Papers. Lecture Notes in Computer Science 1035, Springer 1996, ISBN 3-540-60793-5 [contents] - 1036Giovanni Adorni, Michael Zock:
Trends in Natural Language Generation, An Artificial Intelligence Perspective, Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993, Selected Papers. Lecture Notes in Computer Science 1036, Springer 1996, ISBN 3-540-60800-1 [contents] - 1037Michael J. Wooldridge, Jörg P. Müller, Milind Tambe:
Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1037, Springer 1996, ISBN 3-540-60805-2 [contents] - 1038Walter Van de Velde, John W. Perram:
Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings. Lecture Notes in Computer Science 1038, Springer 1996, ISBN 3-540-60852-4 [contents] - 1039Dieter Gollmann:
Fast Software Encryption, Third International Workshop, Cambridge, UK, February 21-23, 1996, Proceedings. Lecture Notes in Computer Science 1039, Springer 1996, ISBN 3-540-60865-6 [contents] - 1040Stefan Wermter, Ellen Riloff, Gabriele Scheler:
Connectionist, Statistical, and Symbolic Approaches to Learning for Natural Language Processing. Lecture Notes in Computer Science 1040, Springer 1996, ISBN 3-540-60925-3 [contents] - 1041Jack J. Dongarra, Kaj Madsen, Jerzy Wasniewski:
Applied Parallel Computing, Computations in Physics, Chemistry and Engineering Science, Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings. Lecture Notes in Computer Science 1041, Springer 1996, ISBN 3-540-60902-4 [contents] - 1042Gerhard Weiß, Sandip Sen:
Adaption and Learning in Multi-Agent Systems, IJCAI'95 Workshop, Montréal, Canada, August 21, 1995, Proceedings. Lecture Notes in Computer Science 1042, Springer 1996, ISBN 3-540-60923-7 [contents] - 1043Faron Moller, Graham M. Birtwistle:
Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings). Lecture Notes in Computer Science 1043, Springer 1996, ISBN 3-540-60915-6 [contents] - 1044Bernhard Plattner:
Broadband Communications - Networks, Services, Applications, Future Directions, 1996 International Zurich Seminar on Digital Communications, IZS'96, Zurich, Switzerland, February 21-23, 1996, Proceedings. Lecture Notes in Computer Science 1044, Springer 1996, ISBN 3-540-60895-8 [contents] - 1045Berthold Butscher, Eckhard Moeller, Herwart Pusch:
Interactive Distributed Multimedia Systems and Services, European Workshop IDMS '96, Berlin, Germany, March 4-6, 1996, Proceedings. Lecture Notes in Computer Science 1045, Springer 1996, ISBN 3-540-60938-5 [contents] - 1046Claude Puech, Rüdiger Reischuk:
STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings. Lecture Notes in Computer Science 1046, Springer 1996, ISBN 3-540-60922-9 [contents] - 1047Elzbieta Hajnicz:
Time Structures - Formal Description and Algorithmic Representation. Lecture Notes in Computer Science 1047, Springer 1996, ISBN 3-540-60941-5 - 1048Maurizio Proietti:
Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1048, Springer 1996, ISBN 3-540-60939-3 [contents] - 1049Kokichi Futatsugi, Satoshi Matsuoka:
Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996, Proceedings. Lecture Notes in Computer Science 1049, Springer 1996, ISBN 3-540-60954-7 [contents] - 1050Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister:
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings. Lecture Notes in Computer Science 1050, Springer 1996, ISBN 3-540-60983-0 [contents] - 1051Marie-Claude Gaudel, Jim Woodcock:
FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Lecture Notes in Computer Science 1051, Springer 1996, ISBN 3-540-60973-3 [contents] - 1052David Hutchison, Henning Christiansen, Geoff Coulson, André A. S. Danthine:
Teleservices and Multimedia Communications, Second International COST 237 Workshop, Copenhagen, Denmark, November 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1052, Springer 1996, ISBN 3-540-61028-6 [contents] - 1053Peter Graf:
Term Indexing. Saarland University, Saarbrücken, Germany, Lecture Notes in Computer Science 1053, Springer 1996, ISBN 3-540-61040-5 - 1054Afonso Ferreira, Panos M. Pardalos:
Solving Combinatorial Optimization Problems in Parallel - Methods and Techniques. Lecture Notes in Computer Science 1054, Springer 1996, ISBN 3-540-61043-X [contents] - 1055Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055, Springer 1996, ISBN 3-540-61042-1 [contents] - 1056Afsaneh Haddadi:
Communication and Cooperation in Agent Systems, A Pragmatic Theory. Lecture Notes in Computer Science 1056, Springer 1995, ISBN 3-540-61044-8 - 1057Peter M. G. Apers, Mokrane Bouzeghoub, Georges Gardarin:
Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings. Lecture Notes in Computer Science 1057, Springer 1996, ISBN 3-540-61057-X [contents] - 1058Hanne Riis Nielson:
Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Lecture Notes in Computer Science 1058, Springer 1996, ISBN 3-540-61055-3 [contents] - 1059Hélène Kirchner:
Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Lecture Notes in Computer Science 1059, Springer 1996, ISBN 3-540-61064-2 [contents] - 1060Tibor Gyimóthy:
Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1060, Springer 1996, ISBN 3-540-61053-7 [contents] - 1061Paolo Ciancarini, Chris Hankin:
Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings. Lecture Notes in Computer Science 1061, Springer 1996, ISBN 3-540-61052-9 [contents] - 1062Eduardo Sanchez, Marco Tomassini:
Towards Evolvable Hardware, The Evolutionary Engineering Approach, Papers from an international workshop, Lausanne, Switzerland, October 2-3, 1995. Lecture Notes in Computer Science 1062, Springer 1996, ISBN 3-540-61093-6 [contents] - 1063Jean-Marc Alliot, Evelyne Lutton, Edmund M. A. Ronald, Marc Schoenauer, Dominique Snyers:
Artificial Evolution, European Conference, AE 95, Brest, France, September 4-6, 1995, Selected Papers. Lecture Notes in Computer Science 1063, Springer 1996, ISBN 3-540-61108-8 [contents] - 1064Bernard F. Buxton, Roberto Cipolla:
Computer Vision - ECCV'96, 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996, Proceedings, Volume I. Lecture Notes in Computer Science 1064, Springer 1996, ISBN 3-540-61122-3 [contents] - 1065Bernard F. Buxton, Roberto Cipolla:
Computer Vision - ECCV'96, 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996, Proceedings, Volume II. Lecture Notes in Computer Science 1065, Springer 1996, ISBN 3-540-61123-1 [contents] - 1066Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag:
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science 1066, Springer 1996, ISBN 3-540-61155-X [contents] - 1067Heather M. Liddell, Adrian Colbrook, Louis O. Hertzberger, Peter M. A. Sloot:
High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1996, Brussels, Belgium, April 15-19, 1996, Proceedings. Lecture Notes in Computer Science 1067, Springer 1996, ISBN 3-540-61142-8 [contents] - 1068Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec:
Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings. Lecture Notes in Computer Science 1068, Springer 1996, ISBN 3-540-61143-6 [contents] - 1069John W. Perram, Jean-Pierre Müller:
Distributed Software Agents and Applications, 6th European Workshop on Modelling Autonomous Agents, MAAMAW '94, Odense, Denmark, August 3-5, 1994, Proceedings. Lecture Notes in Computer Science 1069, Springer 1996, ISBN 3-540-61157-6 [contents] - 1070Ueli M. Maurer:
Advances in Cryptology - EUROCRYPT '96, International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996, Proceeding. Lecture Notes in Computer Science 1070, Springer 1996, ISBN 3-540-61186-X [contents] - 1071Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi:
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Lecture Notes in Computer Science 1071, Springer 1996, ISBN 3-540-61208-4 [contents] - 1072Rangachar Kasturi, Karl Tombre:
Graphics Recognition, Methods and Applications, First International Workshop, University Park, PA, USA, August 10-11, 1995, Selected Papers. Lecture Notes in Computer Science 1072, Springer 1996, ISBN 3-540-61226-2 [contents] - 1073Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg:
Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers. Lecture Notes in Computer Science 1073, Springer 1996, ISBN 3-540-61228-9 [contents] - 1074Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074, Springer 1996, ISBN 3-540-61254-8 [contents] - 1075Daniel S. Hirschberg, Eugene W. Myers:
Combinatorial Pattern Matching, 7th Annual Symposium, CPM 96, Laguna Beach, California, USA, June 10-12, 1996, Proceedings. Lecture Notes in Computer Science 1075, Springer 1996, ISBN 3-540-61258-0 [contents] - 1076Nigel Shadbolt, Kieron O'Hara, Guus Schreiber:
Advances in Knowledge Acquisition, 9th European Knowledge Acquisition Workshop, EKAW'96, Nottingham, UK, May 14-17, 1996, Proceedings. Lecture Notes in Computer Science 1076, Springer 1996, ISBN 3-540-61273-4 [contents] - 1077Peter Brusilovsky, Piet Kommers, Norbert A. Streitz:
Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications, First International Conference, MHVR '94, Moscow, Russia, September 14-16, 1994, Selected Papers. Lecture Notes in Computer Science 1077, Springer 1996, ISBN 3-540-61282-3 [contents] - 1078David Alex Lamb:
Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993, Selected Papers. Lecture Notes in Computer Science 1078, Springer 1996, ISBN 3-540-61285-8 [contents] - 1079Zbigniew W. Ras, Maciej Michalewicz:
Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings. Lecture Notes in Computer Science 1079, Springer 1996, ISBN 3-540-61286-6 [contents] - 1080Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou:
Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings. Lecture Notes in Computer Science 1080, Springer 1996, ISBN 3-540-61292-0 [contents] - 1081Gordon I. McCalla:
Advances in Artificial Intelligence, 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96, Toronto, Ontario, Canada, May 21-24, 1996, Proceedings. Lecture Notes in Computer Science 1081, Springer 1996, ISBN 3-540-61291-2 [contents] - 1082Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha:
Digital Libraries, Research and Technology Advances, ADL '95 Forum, McLean, Virginia, USA, May 15-17, 1995, Selected Papers. Lecture Notes in Computer Science 1082, Springer 1996, ISBN 3-540-61410-9 [contents] - 1083Karen Sparck Jones, Julia Rose Galliers:
Evaluating Natural Language Processing Systems, An Analysis and Review. Lecture Notes in Computer Science 1083, Springer 1996, ISBN 3-540-61309-9 - 1084William H. Cunningham, S. Thomas McCormick, Maurice Queyranne:
Integer Programming and Combinatorial Optimization, 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996, Proceedings. Lecture Notes in Computer Science 1084, Springer 1996, ISBN 3-540-61310-2 [contents] - 1085Dov M. Gabbay, Hans Jürgen Ohlbach:
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings. Lecture Notes in Computer Science 1085, Springer 1996, ISBN 3-540-61313-7 [contents] - 1086Claude Frasson, Gilles Gauthier, Alan M. Lesgold:
Intelligent Tutoring Systems, Third International Conference, ITS '96, Montréal, Canada, June 12-14, 1996, Proceedings. Lecture Notes in Computer Science 1086, Springer 1996, ISBN 3-540-61327-7 [contents] - 1087Chengqi Zhang, Dickson Lukose:
Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995, Proceedings. Lecture Notes in Computer Science 1087, Springer 1996, ISBN 3-540-61314-5 [contents] - 1088Alfred Strohmeier:
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Lecture Notes in Computer Science 1088, Springer 1996, ISBN 3-540-61317-X [contents] - 1089G. Ramalingam:
Bounded Incremental Computation. Lecture Notes in Computer Science 1089, Springer 1996, ISBN 3-540-61320-X - 1090Jin-yi Cai, C. K. Wong:
Computing and Combinatorics, Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996, Proceedings. Lecture Notes in Computer Science 1090, Springer 1996, ISBN 3-540-61332-3 [contents] - 1091Jonathan Billington, Wolfgang Reisig:
Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Lecture Notes in Computer Science 1091, Springer 1996, ISBN 3-540-61363-3 [contents] - 1092Hans Kleine Büning:
Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Lecture Notes in Computer Science 1092, Springer 1996, ISBN 3-540-61377-3 [contents] - 1093Leo Dorst, Michiel van Lambalgen, Frans Voorbraak:
Reasoning with Uncertainty in Robotics, International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1093, Springer 1996, ISBN 3-540-61376-5 [contents] - 1094Ronald Morrison, Jessie B. Kennedy:
Advances in Databases, 14th British National Conferenc on Databases, BNCOD 14, Edinburgh, UK, July 3-5, 1996, Proceedings. Lecture Notes in Computer Science 1094, Springer 1996, ISBN 3-540-61442-7 [contents] - 1095William McCune, R. Padmanabhan:
Automated Deduction in Equational Logic and Cubic Curves. Lecture Notes in Computer Science 1095, Springer 1996, ISBN 3-540-61398-6 - 1096Thomas Schael:
Workflow Management Systems for Process Organisations. RWTH Aachen University, Germany, Lecture Notes in Computer Science 1096, Springer 1996, ISBN 3-540-61401-X, pp. 1-200 - 1097Rolf G. Karlsson, Andrzej Lingas:
Algorithm Theory - SWAT '96, 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996, Proceedings. Lecture Notes in Computer Science 1097, Springer 1996, ISBN 3-540-61422-2 [contents] - 1098Pierre Cointe:
ECOOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings. Lecture Notes in Computer Science 1098, Springer 1996, ISBN 3-540-61439-7 [contents] - 1099Friedhelm Meyer auf der Heide, Burkhard Monien:
Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Lecture Notes in Computer Science 1099, Springer 1996, ISBN 3-540-61440-0 [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:
