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