 |
 |
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1106
- Michael Jampel, Eugene C. Freuder, Michael J. Maher (Eds.):
Over-Constrained Systems.
Springer 1996, ISBN 3-540-61479-6
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1170
- Manfred Nagl (Ed.):
Building Tightly Integrated Software Development Environments: The IPSEN Approach.
Springer 1996, ISBN 3-540-61985-2
Contents BibTeX
- 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
BibTeX
- 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 BibTeX
- 1173
- William Rucklidge:
Efficient Visual Recognition Using the Hausdorff Distance.
Lecture Notes in Computer Science Vol. 1173 Springer 1996, ISBN 3-540-61993-3
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1182
- Waqar Hasan:
Optimization of SQL Queries for Parallel Machines.
Lecture Notes in Computer Science Vol. 1182 Springer 1996, ISBN 3-540-62065-6
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1187
- Karl Schlechta:
Nonmonotonic Logics, Basic Concepts, Results, and Techniques.
Lecture Notes in Computer Science Vol. 1187 Springer 1997, ISBN 3-540-62482-1
BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 1195
- Paolo Petta, Robert Trappl (Eds.):
Creating Personalities for Synthetic Actors, Towards Autonomous Personality Agents.
Springer 1997, ISBN 3-540-62735-9
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
Copyright © Sun May 17 00:32:07 2009
by Michael Ley (ley@uni-trier.de)