 |
 |
- 1300
- Christian Lengauer, Martin Griebl, Sergei Gorlatch (Eds.):
Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings.
Springer 1997, ISBN 3-540-63440-1
Contents BibTeX
- 1301
- Mehdi Jazayeri, Helmut Schauer (Eds.):
Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings.
Springer 1997, ISBN 3-540-63531-9
Contents BibTeX
- 1302
- Pascal Van Hentenryck (Ed.):
Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings.
Springer 1997, ISBN 3-540-63468-1
Contents BibTeX
- 1303
- Gerhard Brewka, Christopher Habel, Bernhard Nebel (Eds.):
KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings.
Springer 1997, ISBN 3-540-63493-2
Contents BibTeX
- 1304
- Wayne Luk, Peter Y. K. Cheung, Manfred Glesner (Eds.):
Field-Programmable Logic and Applications, 7th International Workshop, FPL '97, London, UK, September 1-3, 1997, Proceedings.
Springer 1997, ISBN 3-540-63465-7
Contents BibTeX
- 1305
- David Corne, Jonathan L. Shapiro (Eds.):
Evolutionary Computing, AISB International Workshop, Manchester, UK, April 7-8, 1997, Selected Papers.
Springer 1997, ISBN 3-540-63476-2
Contents BibTeX
- 1306
- Clement H. C. Leung (Ed.):
Visual Information Systems.
Springer 1997, ISBN 3-540-63636-6
Contents BibTeX
- 1307
- Ralf Kompe:
Prosody in Speech Understanding Systems.
Lecture Notes in Computer Science Vol. 1307 Springer 1997, ISBN 3-540-63580-7
BibTeX
- 1308
- Abdelkader Hameurlain, A. Min Tjoa (Eds.):
Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings.
Springer 1997, ISBN 3-540-63478-9
Contents BibTeX
- 1309
- Ralf Steinmetz, Lars C. Wolf (Eds.):
Interactive Distributed Multimedia Systems and Telecommunication Services, 4th International Workshop, IDMS '97, Darmstadt, Germany, September 10-12, 1997, Proceedings.
Springer 1997, ISBN 3-540-63519-X
Contents BibTeX
- 1310
- Alberto Del Bimbo (Ed.):
Image Analysis and Processing, 9th International Conference, ICIAP '97, Florence, Italy, September 17-19, 1997, Proceedings, Volume I.
Springer 1997, ISBN 3-540-63507-6
Contents BibTeX
- 1311
- Alberto Del Bimbo (Ed.):
Image Analysis and Processing, 9th International Conference, ICIAP '97, Florence, Italy, September 17-19, 1997, Proceedings, Volume II.
Springer 1997, ISBN 3-540-63508-4
Contents BibTeX
- 1312
- Andreas Geppert, Mikael Berndtsson (Eds.):
Rules in Database Systems, Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997, Proceedings.
Springer 1997, ISBN 3-540-63516-5
Contents BibTeX
- 1313
- John S. Fitzgerald, Cliff B. Jones, Peter Lucas (Eds.):
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings.
Springer 1997, ISBN 3-540-63533-5
Contents BibTeX
- 1314
- Stephen Muggleton (Ed.):
Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers.
Springer 1997, ISBN 3-540-63494-0
Contents BibTeX
- 1315
- Gerald Sommer, Jan J. Koenderink (Eds.):
Algebraic Frames for the Perception-Action Cycle, International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings.
Springer 1997, ISBN 3-540-63517-3
Contents BibTeX
- 1316
- Ming Li, Akira Maruoka (Eds.):
Algorithmic Learning Theory, 8th International Conference, ALT '97, Sendai, Japan, October 6-8, 1997, Proceedings.
Springer 1997, ISBN 3-540-63577-7
Contents BibTeX
- 1317
- Marc Leman (Ed.):
Music, Gestalt, and Computing - Studies in Cognitive and Systematic Musicology.
Springer 1997, ISBN 3-540-63526-2
Contents BibTeX
- 1318
- Rafael Hirschfeld (Ed.):
Financial Cryptography, First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997, Proceedings.
Springer 1997, ISBN 3-540-63594-7
Contents BibTeX
- 1319
- Enric Plaza, V. Richard Benjamins (Eds.):
Knowledge Acquisition, Modeling and Management, 10th European Workshop, EKAW'97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997, Proceedings.
Springer 1997, ISBN 3-540-63592-0
Contents BibTeX
- 1320
- Marios Mavronicolas, Philippas Tsigas (Eds.):
Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings.
Springer 1997, ISBN 3-540-63575-0
Contents BibTeX
- 1321
- Maurizio Lenzerini (Ed.):
AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings.
Springer 1997, ISBN 3-540-63576-9
Contents BibTeX
- 1322
- Heinrich Hußmann:
Formal Foundations for Software Engineeing Methods.
Lecture Notes in Computer Science Vol. 1322 Springer 1997, ISBN 3-540-63613-7
BibTeX
- 1323
- Ernesto Costa, Amílcar Cardoso (Eds.):
Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings.
Springer 1997, ISBN 3-540-63586-6
Contents BibTeX
- 1324
- Carol Peters, Costantino Thanos (Eds.):
Research and Advanced Technology for Digital Libraries. First European Conference, ECDL '97, Pisa, Italy, 1-3 September, Proceedings.
Springer 1997, ISBN 3-540-63554-8
Contents BibTeX
- 1325
- Zbigniew W. Ras, Andrzej Skowron (Eds.):
Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings.
Springer 1997, ISBN 3-540-63614-5
Contents BibTeX
- 1326
- Charles K. Nicholas, James Mayfield (Eds.):
Intelligent Hypertext: Advanced Techniques for the World Wide Web.
Springer 1997, ISBN 3-540-63637-4
Contents BibTeX
- 1327
- Wulfram Gerstner, Alain Germond, Martin Hasler, Jean-Daniel Nicoud (Eds.):
Artificial Neural Networks - ICANN '97, 7th International Conference, Lausanne, Switzerland, October 8-10, 1997, Proceedings.
Springer 1997, ISBN 3-540-63631-5
Contents BibTeX
- 1328
- Christian Retoré (Ed.):
Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers.
Springer 1997, ISBN 3-540-63700-1
Contents BibTeX
- 1329
- Stephen C. Hirtle, Andrew U. Frank (Eds.):
Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997, Proceedings.
Springer 1997, ISBN 3-540-63623-4
Contents BibTeX
- 1330
- Gert Smolka (Ed.):
Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings.
Springer 1997
Contents BibTeX
- 1331
- David W. Embley, Robert C. Goldstein (Eds.):
Conceptual Modeling - ER '97, 16th International Conference on Conceptual Modeling, Los Angeles, California, USA, November 3-5, 1997, Proceedings.
Lecture Notes in Computer Science 1331 Springer 1997, ISBN 3-540-63699-4
Contents BibTeX
- 1332
- Marian Bubak, Jack Dongarra, Jerzy Wasniewski (Eds.):
Recent Advances in Parallel Virtual Machine and Message Passing Interface, 4th European PVM/MPI Users' Group Meeting, Crakow, Poland, November 3-5, 1997, Proceedings.
Springer 1997, ISBN 3-540-63697-8
Contents BibTeX
- 1333
- Franz Pichler, Roberto Moreno-Díaz (Eds.):
Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings.
Springer 1997, ISBN 3-540-63811-3
Contents BibTeX
- 1334
- Yongfei Han, Tatsuaki Okamoto, Sihan Qing (Eds.):
Information and Communication Security, First International Conference, ICICS'97, Beijing, China, November 11-14, 1997, Proceedings.
Springer 1997, ISBN 3-540-63696-X
Contents BibTeX
- 1335
- Rolf H. Möhring (Ed.):
Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997, Proceedings.
Springer 1997, ISBN 3-540-63757-5
Contents BibTeX
- 1336
- Constantine D. Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya (Eds.):
High Performance Computing, International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings.
Springer 1997, ISBN 3-540-63766-4
Contents BibTeX
- 1337
- Christian Freksa, Matthias Jantzen, Rüdiger Valk (Eds.):
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday.
Springer 1997, ISBN 3-540-63746-X
Contents BibTeX
- 1338
- Frantisek Plasil, Keith G. Jeffery (Eds.):
SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings.
Springer 1997, ISBN 3-540-63774-5
Contents BibTeX
- 1339
- Nabeel A. Murshed, Flávio Bortolozzi (Eds.):
Advances in Document Image Analysis, First Brazilian Symposium, BSDIA'97, Curitiba, Brazil, November 2-5, 1997, Proceedings.
Springer 1997, ISBN 3-540-63791-5
Contents BibTeX
- 1340
- Marc J. van Kreveld, Jürg Nievergelt, Thomas Roos, Peter Widmayer (Eds.):
Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996.
Springer 1997, ISBN 3-540-63818-0
Contents BibTeX
- 1341
- François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (Eds.):
Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings.
Springer 1997, ISBN 3-540-63792-3
Contents BibTeX
- 1342
- Abdul Sattar (Ed.):
Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings.
Springer 1997, ISBN 3-540-63797-4
Contents BibTeX
- 1343
- Yutaka Ishikawa, R. R. Oldehoeft, John Reynders, Marydell Tholburn (Eds.):
Scientific Computing in Object-Oriented Parallel Environments, ISCOPE 97, Marina del Rey, CA, USA, December 8-11, 1997, Proceedings.
Springer 1997, ISBN 3-540-63827-X
Contents BibTeX
- 1344
- Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl (Eds.):
Ada 95 Quality and Style, Guideline for Professional Programmers.
Lecture Notes in Computer Science Vol. 1344 Springer 1997, ISBN 3-540-63823-7
BibTeX
- 1345
- R. K. Shyamasundar, Kazunori Ueda (Eds.):
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings.
Springer 1997, ISBN 3-540-63875-X
Contents BibTeX
- 1346
- S. Ramesh, G. Sivakumar (Eds.):
Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings.
Springer 1997, ISBN 3-540-63876-8
Contents BibTeX
- 1347
- Ehoud Ahronovitz, Christophe Fiorio (Eds.):
Discrete Geometry for Computer Imagery, 7th International Workshop, DCGI'97, Montpellier, France, Secember 3-5, 1997, Proceedings.
Springer 1997, ISBN 3-540-63884-9
Contents BibTeX
- 1348
- Sam Steel, Rachid Alami (Eds.):
Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings.
Springer 1997, ISBN 3-540-63912-8
Contents BibTeX
- 1349
- Michael Johnson (Ed.):
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings.
Springer 1997, ISBN 3-540-63888-1
Contents BibTeX
- 1350
- Hon Wai Leong, Hiroshi Imai, Sanjay Jain (Eds.):
Algorithms and Computation, 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997, Proceedings.
Springer 1997, ISBN 3-540-63890-3
Contents BibTeX
- 1351
- Roland T. Chin, Ting-Chuen Pong (Eds.):
Computer Vision - ACCV'98, Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, Proceedings, Volume I.
Springer 1997, ISBN 3-540-63930-6
Contents BibTeX
- 1352
- Roland T. Chin, Ting-Chuen Pong (Eds.):
Computer Vision - ACCV'98, Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, Proceedings, Volume II.
Springer 1997, ISBN 3-540-63931-4
Contents BibTeX
- 1353
- Giuseppe Di Battista (Ed.):
Graph Drawing, 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997, Proceedings.
Springer 1997, ISBN 3-540-63938-1
Contents BibTeX
- 1354
- Olaf Burkart:
Automatic Verification of Sequential Infinite-State Processes.
Lecture Notes in Computer Science Vol. 1354 Springer 1997, ISBN 3-540-63982-9
Contents BibTeX
- 1355
- Michael Darnell (Ed.):
Cryptography and Coding, 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings.
Springer 1997, ISBN 3-540-63927-6
Contents BibTeX
- 1356
- André Dantine, Christophe Diot (Eds.):
From Multimedia Services to Network Services, 4th International COST 237 Workshop, Lisboa, Portugal, December 15-19, 1997, Proceedings.
Springer 1997, ISBN 3-540-63935-7
Contents BibTeX
- 1357
- Jan Bosch, Stuart Mitchell (Eds.):
Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997.
Springer 1998, ISBN 3-540-64039-8
Contents BibTeX
- 1358
- Leonid Libkin, Bernhard Thalheim (Eds.):
Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995.
Springer 1998, ISBN 3-540-64199-8
Contents BibTeX
- 1359
- Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski (Eds.):
Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers.
Springer 1998, ISBN 3-540-64413-X
Contents BibTeX
- 1360
- Dongming Wang (Ed.):
Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers.
Springer 1997, ISBN 3-540-64297-8
Contents BibTeX
- 1361
- Bruce Christianson, Bruno Crispo, T. Mark A. Lomas, Michael Roe (Eds.):
Security Protocols, 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings.
Springer 1998, ISBN 3-540-64040-1
Contents BibTeX
- 1362
- Dhabaleswar K. Panda, Craig B. Stunkel (Eds.):
Network-Based Parallel Computing: Communication, Architecture, and Applications, Second International Workshop, CANPC '98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings.
Springer 1998, ISBN 3-540-64140-8
Contents BibTeX
- 1363
- Jin-Kao Hao, Evelyne Lutton, Edmund M. A. Ronald, Marc Schoenauer, Dominique Snyers (Eds.):
Artificial Evolution, Third European Conference, AE'97, Nîmes, France, 22-24 October 1997, Selected Papers.
Springer 1998, ISBN 3-540-64169-6
Contents BibTeX
- 1364
- Wolfram Conen, Gustaf Neumann (Eds.):
Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents [ASIAN 1996 Workshop].
Springer 1998, ISBN 3-540-64170-X
Contents BibTeX
- 1365
- Munindar P. Singh, Anand S. Rao, Michael Wooldridge (Eds.):
Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings.
Springer 1998, ISBN 3-540-64162-9
Contents BibTeX
- 1366
- Zhiyuan Li, Pen-Chung Yew, Siddhartha Chatterjee, Chua-Huang Huang, P. Sadayappan, David C. Sehr (Eds.):
Languages and Compilers for Parallel Computing, 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997, Proceedings.
Springer 1998, ISBN 3-540-64472-5
Contents BibTeX
- 1367
- Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (Eds.):
Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997).
Springer 1998, ISBN 3-540-64201-3
Contents BibTeX
- 1368
- Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto (Eds.):
Worldwide Computing and Its Applications, International Conference, WWCA '98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings.
Springer 1998, ISBN 3-540-64216-1
Contents BibTeX
- 1369
- Sophie Cluet, Richard Hull (Eds.):
Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings.
Springer 1998, ISBN 3-540-64823-2
Contents BibTeX
- 1370
- Norbert A. Streitz, Shin'ichi Konomi, Heinz Jürgen Burkhardt (Eds.):
Cooperative Buildings, Integrating Information, Organization, and Architecture, First International Workshop, CoBuild'98, Darmstadt, Germany, February 1998, Proceedings.
Springer 1998, ISBN 3-540-64237-4
Contents BibTeX
- 1371
- Ipke Wachsmuth, Martin Fröhlich (Eds.):
Gesture and Sign Language in Human-Computer Interaction, International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997, Proceedings.
Springer 1998, ISBN 3-540-64424-5
Contents BibTeX
- 1372
- Serge Vaudenay (Ed.):
Fast Software Encryption, 5th International Workshop, FSE '98, Paris, France, March 23-25, 1998, Proceedings.
Springer 1998, ISBN 3-540-64265-X
Contents BibTeX
- 1373
- Michel Morvan, Christoph Meinel, Daniel Krob (Eds.):
STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings.
Springer 1998, ISBN 3-540-64230-7
Contents BibTeX
- 1374
- Harry Bunt, Robbert-Jan Beun, Tijn Borghuis (Eds.):
Multimodal Human-Computer Communication, Systems, Techniques, and Experiments.
Springer 1998, ISBN 3-540-64380-X
Contents BibTeX
- 1375
- Roger D. Hersch, Jacques André, Heather Brown (Eds.):
Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings.
Springer 1998, ISBN 3-540-64298-6
Contents BibTeX
- 1376
- Francesco Parisi-Presicce (Ed.):
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers.
Springer 1997, ISBN 3-540-64299-4
Contents BibTeX
- 1377
- Hans-Jörg Schek, Fèlix Saltor, Isidro Ramos, Gustavo Alonso (Eds.):
Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings.
Springer 1998, ISBN 3-540-64264-1
Contents BibTeX
- 1378
- Maurice Nivat (Ed.):
Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Springer 1998, ISBN 3-540-64300-1
Contents BibTeX
- 1379
- Tobias Nipkow (Ed.):
Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings.
Springer 1998, ISBN 3-540-64301-X
Contents BibTeX
- 1380
- Claudio L. Lucchesi, Arnaldo V. Moura (Eds.):
LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings.
Springer 1998, ISBN 3-540-64275-7
Contents BibTeX
- 1381
- Chris Hankin (Ed.):
Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Springer 1998, ISBN 3-540-64302-8
Contents BibTeX
- 1382
- Egidio Astesiano (Ed.):
Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Springer 1998, ISBN 3-540-64303-6
Contents BibTeX
- 1383
- Kai Koskimies (Ed.):
Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Springer 1998, ISBN 3-540-64304-4
Contents BibTeX
- 1384
- Bernhard Steffen (Ed.):
Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Springer 1998, ISBN 3-540-64356-7
Contents BibTeX
- 1385
- Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (Eds.):
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers.
Springer 1998, ISBN 3-540-64367-2
Contents BibTeX
- 1386
- Thomas A. Henzinger, Shankar Sastry (Eds.):
Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings.
Springer 1998, ISBN 3-540-64358-3
Contents BibTeX
- 1387
- C. Lee Giles, Marco Gori (Eds.):
Adaptive Processing of Sequences and Data Structures, International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures.
Springer 1998, ISBN 3-540-64341-9
Contents BibTeX
- 1388
- José D. P. Rolim (Ed.):
Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings.
Springer 1998, ISBN 3-540-64359-1
Contents BibTeX
- 1389
- Karl Tombre, Atul K. Chhabra (Eds.):
Graphics Recognition, Algorithms and Systems, Second International Workshop, GREC'97, Nancy, France, August 22-23, 1997, Selected Papers.
Springer 1998, ISBN 3-540-64381-8
Contents BibTeX
- 1390
- Christian Scheideler:
Universal Routing Strategies for Interconnection Networks.
Lecture Notes in Computer Science Vol. 1390 Springer 1998, ISBN 3-540-64505-5
Contents BibTeX
- 1391
- Wolfgang Banzhaf, Riccardo Poli, Marc Schoenauer, Terence C. Fogarty (Eds.):
Genetic Programming, First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings.
Springer 1998, ISBN 3-540-64360-5
Contents BibTeX
- 1392
- Andreas Barth, Michael Breu, Albert Endres, Arnould de Kemp (Eds.):
Digital Libraries in Computer Science: The MeDoc Approach.
Springer 1998, ISBN 3-540-64493-8
Contents BibTeX
- 1393
- Didier Bert (Ed.):
B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings.
Springer 1998, ISBN 3-540-64405-9
Contents BibTeX
- 1394
- Xindong Wu, Kotagiri Ramamohanarao, Kevin B. Korb (Eds.):
Research and Development in Knowledge Discovery and Data Mining, Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998, Proceedings.
Springer 1998, ISBN 3-540-64383-4
Contents BibTeX
- 1395
- Hiroaki Kitano (Ed.):
RoboCup-97: Robot Soccer World Cup I.
Springer 1998, ISBN 3-540-64473-3
Contents BibTeX
- 1396
- Eiji Okamoto, George I. Davida, Masahiro Mambo (Eds.):
Information Security, First International Workshop, ISW '97, Tatsunokuchi, Japan, September 17-19, 1997, Proceedings.
Springer 1998, ISBN 3-540-64382-6
Contents BibTeX
- 1397
- Harrie C. M. de Swart (Ed.):
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings.
Springer 1998, ISBN 3-540-64406-7
Contents BibTeX
- 1398
- Claire Nedellec, Céline Rouveirol (Eds.):
Machine Learning: ECML-98, 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings.
Springer 1998, ISBN 3-540-64417-2
Contents BibTeX
- 1399
- Opher Etzion, Sushil Jajodia, Suryanarayana M. Sripada (Eds.):
Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997).
Springer 1998, ISBN 3-540-64519-5
Contents BibTeX
Copyright © Sun May 17 00:32:08 2009
by Michael Ley (ley@uni-trier.de)