dblp.uni-trier.de www.uni-trier.de

Lecture Notes in Computer Science (LNCS), Volumes 1100-1199

1100
Birgit Pfitzmann: Digital Signature Schemes, General Framework and Fail-Stop Signatures. Lecture Notes in Computer Science Vol. 1100 Springer 1996, ISBN 3-540-61517-2
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1101
Martin Wirsing, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Springer 1996, ISBN 3-540-61463-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1102
Rajeev Alur, Thomas A. Henzinger (Eds.): Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Springer 1996, ISBN 3-540-61474-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1103
Harald Ganzinger (Ed.): Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Springer 1996, ISBN 3-540-61464-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1104
Michael A. McRobbie, John K. Slaney (Eds.): Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Springer 1996, ISBN 3-540-61511-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1105
Tuncer I. Ören, George J. Klir (Eds.): Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers. Springer 1996, ISBN 3-540-61478-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1106
Michael Jampel, Eugene C. Freuder, Michael J. Maher (Eds.): Over-Constrained Systems. Springer 1996, ISBN 3-540-61479-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1107
Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (Eds.): Object-Based Parallel and Distributed Computation, France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995, Selected Papers. Springer 1996, ISBN 3-540-61487-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1108
Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro (Eds.): Computer Aided Learning and Instruction in Science and Engineering, Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996, Proceedings. Springer 1996, ISBN 3-540-61491-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1109
Neal Koblitz (Ed.): Advances in Cryptology - CRYPTO '96, 16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings. Springer 1996, ISBN 3-540-61512-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1110
Olivier Danvy, Robert Glück, Peter Thiemann (Eds.): Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Springer 1996, ISBN 3-540-61580-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1111
José Júlio Alferes, Luís Moniz Pereira: Reasoning with Logic Programming. Lecture Notes in Computer Science Vol. 1111 Springer 1996, ISBN 3-540-61488-5
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1112
Christoph von der Malsburg, Werner von Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff (Eds.): Artificial Neural Networks - ICANN 96, 1996 International Conference, Bochum, germany, July 16-19, 1996, Proceedings. Springer 1996, ISBN 3-540-61510-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1113
Wojciech Penczek, Andrzej Szalas (Eds.): Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings. Springer 1996, ISBN 3-540-61550-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1114
Norman Y. Foo, Randy Goebel (Eds.): PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings. Springer 1996, ISBN 3-540-61532-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1115
Peter W. Eklund, Gerard Ellis, Graham Mann (Eds.): Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings. Springer 1996, ISBN 3-540-61534-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1116
Jane Hall (Ed.): Management of Telecommunication Systems and Services, Modelling and Implementing TMN-Based Multi-Domain Management. Lecture Notes in Computer Science Vol. 1116 Springer 1996, ISBN 3-540-61578-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1117
Afonso Ferreira, José D. P. Rolim, Yousef Saad, Tao Yang (Eds.): Parallel Algorithms for Irregularly Structured Problems, Third International Workshop, IRREGULAR '96, Santa Barbara, California, USA, August 19-21, 1996, Proceedings. Springer 1996, ISBN 3-540-61549-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1118
Eugene C. Freuder (Ed.): Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996. Springer 1996
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1119
Ugo Montanari, Vladimiro Sassone (Eds.): CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Springer 1996, ISBN 3-540-61604-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1120
Michel Deza, Reinhardt Euler, Yannis Manoussakis (Eds.): Combinatorics and Computer Science, 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3-5, 1995, Selected Papers. Springer 1996, ISBN 3-540-61576-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1121
Petra Perner, Patrick Shen-Pei Wang, Azriel Rosenfeld (Eds.): Advances in Structural and Syntactical Pattern Recognition, 6th International Workshop, SSPR '96, Leipzig, Germany, August 20-23, 1996, Proceedings. Springer 1996, ISBN 3-540-61577-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1122
Henri Cohen (Ed.): Algorithmic Number Theory, Second International Symposium, ANTS-II, Talence, France, May 18-23, 1996, Proceedings. Springer 1996, ISBN 3-540-61581-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1123
Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert (Eds.): Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I. Springer 1996, ISBN 3-540-61626-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1124
Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert (Eds.): Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume II. Springer 1996, ISBN 3-540-61627-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1125
Joakim von Wright, Jim Grundy, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings. Springer 1996, ISBN 3-540-61587-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1126
José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Springer 1996, ISBN 3-540-61630-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1127
László Böszörményi (Ed.): Parallel Computation, Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September 23-25, 1996, Proceedings. Springer 1996, ISBN 3-540-61695-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1128
Jacques Calmet, Carla Limongelli (Eds.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Springer 1996, ISBN 3-540-61697-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1129
John Launchbury, Erik Meijer, Tim Sheard (Eds.): Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text. Springer 1996, ISBN 3-540-61628-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1130
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (Eds.): Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Springer 1996, ISBN 3-540-61629-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1131
Karl Heinz Höhne, Ron Kikinis (Eds.): Visualization in Biomedical Computing, 4th International Conference, VBC '96, Hamburg, Germany, September 22-25, 1996, Proceedings. Springer 1996, ISBN 3-540-61649-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1132
Guy-René Perrin, Alain Darte (Eds.): The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications. Springer 1996, ISBN 3-540-61736-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1133
Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver (Eds.): Information Theory and Applications II, 4th Canadian Workshop, Lac Delage, Québec, Canada, May 28-30, 1995, Selected Papers. Springer 1996, ISBN 3-540-61748-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1134
Roland Wagner, Helmut Thoma (Eds.): Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings. Springer 1996, ISBN 3-540-61656-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1135
Bengt Jonsson, Joachim Parrow (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Springer 1996, ISBN 3-540-61648-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1136
Josep Díaz, Maria J. Serna (Eds.): Algorithms - ESA '96, Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996, Proceedings. Springer 1996, ISBN 3-540-61680-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1137
Günther Görz, Steffen Hölldobler (Eds.): KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings. Springer 1996, ISBN 3-540-61708-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1138
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (Eds.): Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Springer 1996, ISBN 3-540-61732-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1139
Michael Hanus, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Springer 1996, ISBN 3-540-61735-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1140
Herbert Kuchen, S. Doaitse Swierstra (Eds.): Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings. Springer 1996, ISBN 3-540-61756-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1141
Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberger, Hans-Paul Schwefel (Eds.): Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings. Springer 1996, ISBN 3-540-61723-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1142
Reiner W. Hartenstein, Manfred Glesner (Eds.): Field-Programmable Logic, Smart Applications, New Paradigms and Compilers, 6th International Workshop on Field-Programmable Logic, FPL '96, Darmstadt, Germany, September 23-25, 1996, Proceedings. Springer 1996, ISBN 3-540-61730-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1143
Terence C. Fogarty (Ed.): Evolutionary Computing, AISB Workshop, Brighton, UK, April 1-2, 1996, Selected Papers. Springer 1996, ISBN 3-540-61749-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1144
Jean Ponce, Andrew Zisserman, Martial Hebert (Eds.): Object Representation in Computer Vision II, ECCV '96 International Workshop, Cambridge. UK, April 13-14, 1996, Proceedings. Springer 1996, ISBN 3-540-61750-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1145
Radhia Cousot, David A. Schmidt (Eds.): Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Springer 1996, ISBN 3-540-61739-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1146
Elisa Bertino, Helmut Kurth, Giancarlo Martella, Emilio Montolivo (Eds.): Computer Security - ESORICS 96, 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996, Proceedings. Springer 1996, ISBN 3-540-61770-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1147
Laurent Miclet, Colin de la Higuera (Eds.): Grammatical Inference: Learning Syntax from Sentences, 3rd International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996, Proceedings. Springer 1996, ISBN 3-540-61778-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1148
Ming C. Lin, Dinesh Manocha (Eds.): Applied Computational Geormetry, Towards Geometric Engineering, FCRC'96 Workshop, WACG'96, Philadelphia, PA, May 27-28, 1996, Selected Papers. Springer 1996, ISBN 3-540-61785-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1149
Carlo Montangero (Ed.): Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings. Springer 1996, ISBN 3-540-61771-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1150
Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (Eds.): Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings. Springer 1996, ISBN 3-540-61772-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1151
Özalp Babaoglu, Keith Marzullo (Eds.): Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings. Springer 1996, ISBN 3-540-61769-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1152
Takeshi Furuhashi, Yoshiki Uchikawa (Eds.): Fuzzy Logic, Neural Networks, and Evolutionary Computation, IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995, Selected Papers. Springer 1996, ISBN 3-540-61988-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1153
Edmund K. Burke, Peter Ross (Eds.): Practice and Theory of Automated Timetabling, First International Conference, Edinburgh, U.K., August 29 - September 1, 1995, Selected Papers. Springer 1996, ISBN 3-540-61794-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1154
Dino Pedreschi, Carlo Zaniolo (Eds.): Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings. Springer 1996, ISBN 3-540-61814-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1155
James W. Roberts, Ugo Mocci, Jorma T. Virtamo (Eds.): Broadband Network Teletraffic - Performance Evaluation and Design of Broadband Multiservice Networks: Final Report of Action COST 242. Lecture Notes in Computer Science Vol. 1155 Springer 1996, ISBN 3-540-61815-5
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1156
Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy S. Sunderam (Eds.): Parallel Virtual Machine - EuroPVM'96, Third European PVM Conference, München, Germany, October 7-9, 1996, Proceedings. Springer 1996, ISBN 3-540-61779-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1157
Bernhard Thalheim (Ed.): Conceptual Modeling - ER'96, 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings. Springer 1996, ISBN 3-540-61784-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1158
Stefano Berardi, Mario Coppo (Eds.): Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers. Springer 1996, ISBN 3-540-61780-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1159
Díbio Leandro Borges, Celso A. A. Kaestner (Eds.): Advances in Artificial Intelligence, 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996, Proceedings. Springer 1996, ISBN 3-540-61859-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1160
Setsuo Arikawa, Arun Sharma (Eds.): Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings. Springer 1996, ISBN 3-540-61863-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1161
Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer (Eds.): Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings. Springer 1996, ISBN 3-540-61842-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1162
Dror G. Feitelson, Larry Rudolph (Eds.): Job Scheduling Strategies for Parallel Processing, IPPS'96 Workshop, Honolulu, Haiwai, USA, April 16, 1996, Proceedings. Springer 1996, ISBN 3-540-61864-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1163
Kwangjo Kim, Tsutomu Matsumoto (Eds.): Advances in Cryptology - ASIACRYPT '96, International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996, Proceedings. Springer 1996, ISBN 3-540-61872-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1164
Kim Berquist, Andrew Berquist (Eds.): Managing Information Highways - The PRISM Book: Principles, Methods, and Case Studies for Designing Telecommunications Management Systems. Lecture Notes in Computer Science Vol. 1164 Springer 1996, ISBN 3-540-62008-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1165
Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Springer 1996, ISBN 3-540-61929-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1166
Mandayam K. Srivas, Albert John Camilleri (Eds.): Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Springer 1996, ISBN 3-540-61937-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1167
Ian Sommerville (Ed.): System Configuration Management, ICSE'96 SCM-6 Workshop, Berlin, Germany, March 25-26, 1996, Proceedings. Springer 1996, ISBN 3-540-61964-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1168
Ian F. C. Smith, Boi Faltings (Eds.): Advances in Case-Based Reasoning, Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996, Proceedings. Springer 1996, ISBN 3-540-61955-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1169
Manfred Broy, Stephan Merz, Katharina Spies (Eds.): Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Springer 1996, ISBN 3-540-61984-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1170
Manfred Nagl (Ed.): Building Tightly Integrated Software Development Environments: The IPSEN Approach. Springer 1996, ISBN 3-540-61985-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1171
Alexander Franz: Automatic Ambiguity Resolution in Natural Language Processing - An Empirical Approach. Lecture Notes in Computer Science Vol. 1171 Springer 1996, ISBN 3-540-62004-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1172
Josef Pieprzyk, Jennifer Seberry (Eds.): Information Security and Privacy, First Australasian Conference, ACISP'96, Wollongong, NSW, Australia, June 24-26, 1996, Proceedings. Springer 1996, ISBN 3-540-61991-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1173
William Rucklidge: Efficient Visual Recognition Using the Hausdorff Distance. Lecture Notes in Computer Science Vol. 1173 Springer 1996, ISBN 3-540-61993-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1174
Ross J. Anderson (Ed.): Information Hiding, First International Workshop, Cambridge, U.K., May 30 - June 1, 1996, Proceedings. Springer 1996, ISBN 3-540-61996-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1175
Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek (Eds.): SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings. Springer 1996, ISBN 3-540-61994-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1176
Serge Miguet, Annick Montanvert, Stéphane Ubéda (Eds.): Discrete Geometry for Computer Imagery, 6th International Workshop, DCGI'96, Lyon, France, November 13-15, 1996, Proceedings. Springer 1996, ISBN 3-540-62005-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1177
Jörg P. Müller: The Design of Intelligent Agents - A Layered Approach. Lecture Notes in Computer Science Vol. 1177 Springer 1996, ISBN 3-540-62003-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1178
Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri (Eds.): Algorithms and Computation, 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996, Proceedings. Springer 1996, ISBN 3-540-62048-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1179
Joxan Jaffar, Roland H. C. Yap (Eds.): Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings. Springer 1996, ISBN 3-540-62031-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1180
Vijay Chandru, V. Vinay (Eds.): Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings. Springer 1996, ISBN 3-540-62034-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1181
Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Springer 1996, ISBN 3-540-62064-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1182
Waqar Hasan: Optimization of SQL Queries for Parallel Machines. Lecture Notes in Computer Science Vol. 1182 Springer 1996, ISBN 3-540-62065-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1183
Andreas Wierse, Georges G. Grinstein, Ulrich Lang (Eds.): Database Issues for Data Visualization, IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995, Proceedings. Springer 1996, ISBN 3-540-62221-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1184
Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen (Eds.): Applied Parallel Computing, Industrial Computation and Optimization, Third International Workshop, PARA 96, Lyngby, Denmark, August 18-21, 1996, Proceedings. Springer 1996, ISBN 3-540-62095-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1185
Giorgio Ventre, Jordi Domingo-Pascual, André Dantine (Eds.): Multimedia Telecommunications and Applications, Third International COST 237 Workshop, Barcelona, Spain, November 25-27, 1996, Proceedings. Springer 1996, ISBN 3-540-62096-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1186
Foto N. Afrati, Phokion G. Kolaitis (Eds.): Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings. Springer 1997, ISBN 3-540-62222-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1187
Karl Schlechta: Nonmonotonic Logics, Basic Concepts, Results, and Techniques. Lecture Notes in Computer Science Vol. 1187 Springer 1997, ISBN 3-540-62482-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1188
Trevor P. Martin, Anca L. Ralescu (Eds.): Fuzzy Logic in Artificial Intelligence, Towards Intelligent Systems, IJCAI'95 Workshop, Monréal, Canada, August 19-21, 1995, Selected Papers. Springer 1997, ISBN 3-540-62474-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1189
T. Mark A. Lomas (Ed.): Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings. Springer 1997, ISBN 3-540-62494-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1190
Stephen C. North (Ed.): Graph Drawing, Symposium on Graph Drawing, GD '96, Berkeley, California, USA, September 18-20, Proceedings. Springer 1997, ISBN 3-540-62495-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1191
Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace (Eds.): Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers. Springer 1997, ISBN 3-540-62501-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1192
Mads Dam (Ed.): Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Springer 1997, ISBN 3-540-62503-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1193
Jörg P. Müller, Michael Wooldridge, Nicholas R. Jennings (Eds.): Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings. Springer 1997, ISBN 3-540-62507-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1194
Moshe Sipper: Evolution of Parallel Cellular Machines, The Cellular Programming Approach. Lecture Notes in Computer Science Vol. 1194 Springer 1997, ISBN 3-540-62613-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1195
Paolo Petta, Robert Trappl (Eds.): Creating Personalities for Synthetic Actors, Towards Autonomous Personality Agents. Springer 1997, ISBN 3-540-62735-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1196
Lubin G. Vulkov, Jerzy Wasniewski, Plamen Y. Yalamov (Eds.): Numerical Analysis and Its Applications, First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996, Proceedings. Springer 1997, ISBN 3-540-62598-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1197
Fabrizio d'Amore, Paolo Giulio Franciosa, Alberto Marchetti-Spaccamela (Eds.): Graph-Theoretic Concepts in Computer Science, 22nd International Workshop, WG '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings. Springer 1997, ISBN 3-540-62559-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1198
Hyacinth S. Nwana, Nader Azarmi (Eds.): Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, Concepts and Applications. Springer 1997, ISBN 3-540-62560-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
1199
Dhabaleswar K. Panda, Craig B. Stunkel (Eds.): Communication and Architectural Support for Network-Based Parallel Computing, First International Workshop, CANPC '97, San Antonio, Texas, USA, February 1-2, 1997, Proceedings. Springer 1997, ISBN 3-540-62573-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:34:36 2010 by Michael Ley (ley@uni-trier.de)