Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 1600-1699
1600Michael J. Wooldridge, Manuela M. Veloso:
Artificial Intelligence Today: Recent Trends and Developments. Lecture Notes in Computer Science 1600, Springer 1999, ISBN 3-540-66428-9 [contents]- 1601Joost-Pieter Katoen:
Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings. Lecture Notes in Computer Science 1601, Springer 1999, ISBN 3-540-66010-0 [contents] - 1602Anand Sivasubramaniam, Mario Lauria
:
Network-Based Parallel Computing: Communication, Architecture, and Applications, Third International Workshop, CANPC '99, Orlando, Forida, USA, January 9, 1999, Proceedings. Lecture Notes in Computer Science 1602, Springer 1999, ISBN 3-540-65915-3 [contents] - 1603Jan Vitek, Christian Damsgaard Jensen:
Secure Internet Programming, Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science 1603, Springer 1999, ISBN 3-540-66130-1 [contents] - 1604Minoru Asada, Hiroaki Kitano:
RoboCup-98: Robot Soccer World Cup II. Lecture Notes in Computer Science 1604, Springer 1999, ISBN 3-540-66320-7 [contents] - 1605Jonathan Billington, Michel Diaz, Grzegorz Rozenberg:
Application of Petri Nets to Communication Networks, Advances in Petri Nets. Lecture Notes in Computer Science 1605, Springer 1999, ISBN 3-540-65870-X [contents] - 1606José Mira, Juan Vincente Sánchez-Andrés:
Foundations and Tools for Neural Modeling, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1606, Springer 1999, ISBN 3-540-66069-0 [contents] - 1607José Mira, Juan Vincente Sánchez-Andrés:
Engineering Applications of Bio-Inspired Artificial Neural Networks, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II. Lecture Notes in Computer Science 1607, Springer 1999 [contents] - 1608S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira:
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures. Lecture Notes in Computer Science 1608, Springer 1999, ISBN 3-540-66241-3 [contents] - 1609Zbigniew W. Ras, Andrzej Skowron:
Foundations of Intelligent Systems, 11th International Symposium, ISMIS '99, Warsaw, Poland, June 8-11, 1999, Proceedings. Lecture Notes in Computer Science 1609, Springer 1999, ISBN 3-540-65965-X [contents] - 1610Gérard Cornuéjols, Rainer E. Burkard, Gerhard J. Woeginger:
Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings. Lecture Notes in Computer Science 1610, Springer 1999, ISBN 3-540-66019-4 [contents] - 1611Ibrahim F. Imam, Yves Kodratoff, Ayman El-Dessouki, Moonis Ali:
Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings. Lecture Notes in Computer Science 1611, Springer 1999, ISBN 3-540-66076-3 [contents] - 1612Ralph Bergmann, Klaus-Dieter Althoff, Sean Breen, Mehmet H. Göker, Michel Manago, Ralph Traphöner, Stefan Wess:
Developing Industrial Case-Based Reasoning Applications: The INRECA-Methodology. Lecture Notes in Computer Science 1612, Springer 1999, ISBN 3-540-66182-4 - 1613Attila Kuba, Martin Sámal, Andrew Todd-Pokropek:
Information Processing in Medical Imaging, 16th International Conference, IPMI'99, Visegrád, Hungary, June 28 - July 2, 1999, Proceedings. Lecture Notes in Computer Science 1613, Springer 1999, ISBN 3-540-66167-0 [contents] - 1614Dionysius P. Huijsmans, Arnold W. M. Smeulders:
Visual Information and Information Systems, Third International Conference, VISUAL '99, Amsterdam, The Netherlands, June 2-4, 1999, Proceedings. Lecture Notes in Computer Science 1614, Springer 1999, ISBN 3-540-66079-8 [contents] - 1615Constantine D. Polychronopoulos, Kazuki Joe, Akira Fukuda, Shinji Tomita:
High Performance Computing, Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings. Lecture Notes in Computer Science 1615, Springer 1999, ISBN 3-540-65969-2 [contents] - 1616Pierre Cointe:
Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999, Proceedings. Lecture Notes in Computer Science 1616, Springer 1999, ISBN 3-540-66280-4 [contents] - 1617Neil V. Murray:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1617, Springer 1999, ISBN 3-540-66086-0 [contents] - 1618Jean Bézivin, Pierre-Alain Muller:
The Unified Modeling Language, «UML»'98: Beyond the Notation, First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers. Lecture Notes in Computer Science 1618, Springer 1999, ISBN 3-540-66252-9 [contents] - 1619Michael T. Goodrich, Catherine C. McGeoch:
Algorithm Engineering and Experimentation, International Workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999, Selected Papers. Lecture Notes in Computer Science 1619, Springer 1999, ISBN 3-540-66227-8 [contents] - 1620Werner Horn, Yuval Shahar, Gregor Lindberg, Steen Andreassen, Jeremy C. Wyatt:
Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 1999, Proceedings. Lecture Notes in Computer Science 1620, Springer 1999, ISBN 3-540-66162-X [contents] - 1621Dieter Fensel, Rudi Studer:
Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings. Lecture Notes in Computer Science 1621, Springer 1999, ISBN 3-540-66044-5 [contents] - 1622Michael González Harbour, Juan Antonio de la Puente:
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1622, Springer 1999, ISBN 3-540-66093-3 [contents] - 1623Thomas P. Reinartz:
Focusing Solutions for Data Mining: Analytical Studies and Experimental Results in Real-World Domains. University of Ulm, Germany, Lecture Notes in Computer Science 1623, Springer 1999, ISBN 3-540-66429-7 - 1624Julian A. Padget:
Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing. Lecture Notes in Computer Science 1624, Springer 1999, ISBN 3-540-66930-2 [contents] - 1625Bernd Reusch:
Computational Intelligence, Theory and Applications, International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings. Lecture Notes in Computer Science 1625, Springer 1999, ISBN 3-540-66050-X [contents] - 1626Matthias Jarke, Andreas Oberweis:
Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings. Lecture Notes in Computer Science 1626, Springer 1999, ISBN 3-540-66157-3 [contents] - 1627Takao Asano, Hiroshi Imai, D. T. Lee, Shin-Ichi Nakano, Takeshi Tokuyama:
Computing and Combinatorics, 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999, Proceedings. Lecture Notes in Computer Science 1627, Springer 1999, ISBN 3-540-66200-6 [contents] - 1628Rachid Guerraoui:
ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings. Lecture Notes in Computer Science 1628, Springer 1999, ISBN 3-540-66156-5 [contents] - 1629Helmut Leopold, Narciso García:
Multimedia Applications, Services and Techniques - ECMAST'99, 4th European Conference, Madrid, Spain, May 1999, Proceedings. Lecture Notes in Computer Science 1629, Springer 1999, ISBN 3-540-66082-8 [contents] - 1630Matthew M. Huntbach, Graem A. Ringwood:
Agent-Oriented Programming, From Prolog to Guarded Definite Clauses. Lecture Notes in Computer Science 1630, Springer 1999, ISBN 3-540-66683-4 - 1631Paliath Narendran, Michaël Rusinowitch:
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings. Lecture Notes in Computer Science 1631, Springer 1999, ISBN 3-540-66201-4 [contents] - 1632Harald Ganzinger:
Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Lecture Notes in Computer Science 1632, Springer 1999, ISBN 3-540-66222-7 [contents] - 1633Nicolas Halbwachs, Doron A. Peled:
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1633, Springer 1999, ISBN 3-540-66202-2 [contents] - 1634Saso Dzeroski, Peter A. Flach:
Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings. Lecture Notes in Computer Science 1634, Springer 1999, ISBN 3-540-66109-3 [contents] - 1635Xiaoyuan Tu:
Artificial Animals for Computer Animation, Biomechanics, Locomotion, Perception, and Behavior. Lecture Notes in Computer Science 1635, Springer 1999, ISBN 3-540-66939-6 - 1636Lars R. Knudsen:
Fast Software Encryption, 6th International Workshop, FSE '99, Rome, Italy, March 24-26, 1999, Proceedings. Lecture Notes in Computer Science 1636, Springer 1999, ISBN 3-540-66226-X [contents] - 1637Joachim P. Walser:
Integer Optimization by Local Search. Lecture Notes in Computer Science 1637, Springer 1999, ISBN 3-540-66367-3 - 1638Anthony Hunter, Simon Parsons:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings. Lecture Notes in Computer Science 1638, Springer 1999, ISBN 3-540-66131-X [contents] - 1639Susanna Donatelli, H. C. M. Kleijn:
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Lecture Notes in Computer Science 1639, Springer 1999, ISBN 3-540-66132-8 [contents] - 1640William M. Tepfenhart, Walling R. Cyre:
Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, ICCS '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings. Lecture Notes in Computer Science 1640, Springer 1999, ISBN 3-540-66223-5 [contents] - 1641Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1641, Springer 1999, ISBN 3-540-66462-9 [contents] - 1642David J. Hand, Joost N. Kok, Michael R. Berthold:
Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings. Lecture Notes in Computer Science 1642, Springer 1999, ISBN 3-540-66332-0 [contents] - 1643Jaroslav Nesetril:
Algorithms - ESA '99, 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999, Proceedings. Lecture Notes in Computer Science 1643, Springer 1999, ISBN 3-540-66251-0 [contents] - 1644Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen:
Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Lecture Notes in Computer Science 1644, Springer 1999, ISBN 3-540-66224-3 [contents] - 1645Maxime Crochemore, Mike Paterson:
Combinatorial Pattern Matching, 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1645, Springer 1999, ISBN 3-540-66278-2 [contents] - 1646Bernhard Westfechtel:
Models and Tools for Managing Development Processes. Lecture Notes in Computer Science 1646, Springer 1999, ISBN 3-540-66756-3 - 1647Francisco J. Garijo, Magnus Boman:
MultiAgent System Engineering, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '99, Valencia, Spain, June 30 - July 2, 1999, Proceedings. Lecture Notes in Computer Science 1647, Springer 1999, ISBN 3-540-66281-2 [contents] - 1648Matthew K. Franklin:
Financial Cryptography, Third International Conference, FC'99, Anguilla, British West Indies, February 1999, Proceedings. Lecture Notes in Computer Science 1648, Springer 1999, ISBN 3-540-66362-2 [contents] - 1649Ron Y. Pinter, Shalom Tsur:
Next Generation Information Technologies and Systems, 4th International Workshop, NGITS'99, Zikhron-Yaakov, Israel, July 5-7, 1999 Proceedings. Lecture Notes in Computer Science 1649, Springer 1999, ISBN 3-540-66225-1 [contents] - 1650Klaus-Dieter Althoff, Ralph Bergmann, Karl Branting:
Case-Based Reasoning and Development, Third International Conference, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999, Proceedings. Lecture Notes in Computer Science 1650, Springer 1999, ISBN 3-540-66237-5 [contents] - 1651Ralf Hartmut Güting, Dimitris Papadias, Frederick H. Lochovsky:
Advances in Spatial Databases, 6th International Symposium, SSD'99, Hong Kong, China, July 20-23, 1999, Proceedings. Lecture Notes in Computer Science 1651, Springer 1999, ISBN 3-540-66247-2 [contents] - 1652Matthias Klusch, Onn Shehory, Gerhard Weiß:
Cooperative Information Agents III, Third International Workshop, CIA' 99, Uppsala, Sweden, July 31 - August 2, 1999, Proceedings. Lecture Notes in Computer Science 1652, Springer 1999, ISBN 3-540-55325-8 [contents] - 1653Stefan Covaci:
Active Networks, First International Working Conference, IWAN '99, Berlin, Germany, June 30 - July 2, 1999, Proceedings. Lecture Notes in Computer Science 1653, Springer 1999, ISBN 3-540-66238-3 [contents] - 1654Edwin R. Hancock, Marcello Pelillo:
Energy Minimization Methods in Computer Vision and Pattern Recognition, Second International Workshop, EMMCVPR'99, York, UK, July 26-29, 1999, Proceedings. Lecture Notes in Computer Science 1654, Springer 1999, ISBN 3-540-66294-4 [contents] - 1655Seong-Whan Lee, Yasuaki Nakano:
Document Analysis Systems: Theory and Practice, Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers. Lecture Notes in Computer Science 1655, Springer 1999, ISBN 3-540-66507-2 [contents] - 1656Siddhartha Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David C. Sehr, Pen-Chung Yew:
Languages and Compilers for Parallel Computing, 11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1656, Springer 1999, ISBN 3-540-66426-2 [contents] - 1657Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus:
Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Lecture Notes in Computer Science 1657, Springer 1999, ISBN 3-540-66537-4 [contents] - 1658Joachim Baumann:
Mobile Agents: Control Algorithms. Lecture Notes in Computer Science 1658, Springer 2000, ISBN 3-540-41192-5 - 1659Dror G. Feitelson, Larry Rudolph:
Job Scheduling Strategies for Parallel Processing, IPPS/SPDP'99 Workshop, JSSPP'99, San Juan, Puerto Rico, April 16, 1999, Proceedings. Lecture Notes in Computer Science 1659, Springer 1999, ISBN 3-540-66676-1 [contents] - 1660Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi:
Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers. Lecture Notes in Computer Science 1660, Springer 1999, ISBN 3-540-66652-4 [contents] - 1661Christian Freksa, David M. Mark:
Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings. Lecture Notes in Computer Science 1661, Springer 1999, ISBN 3-540-66365-7 [contents] - 1662Victor E. Malyshkin:
Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1662, Springer 1999, ISBN 3-540-66363-0 [contents] - 1663Frank K. H. A. Dehne, Arvind Gupta, Jörg-Rüdiger Sack, Roberto Tamassia:
Algorithms and Data Structures, 6th International Workshop, WADS '99, Vancouver, British Columbia, Canada, August 11-14, 1999, Proceedings. Lecture Notes in Computer Science 1663, Springer 1999, ISBN 3-540-66279-0 [contents] - 1664Jos C. M. Baeten, Sjouke Mauw:
CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Lecture Notes in Computer Science 1664, Springer 1999, ISBN 3-540-66425-4 [contents] - 1665Peter Widmayer, Gabriele Neyer, Stephan J. Eidenbenz:
Graph-Theoretic Concepts in Computer Science, 25th International Workshop, WG '99, Ascona, Switzerland, June 17-19, 1999, Proceedings. Lecture Notes in Computer Science 1665, Springer 1999, ISBN 3-540-66731-8 [contents] - 1666Michael J. Wiener:
Advances in Cryptology - CRYPTO '99, 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999, Proceedings. Lecture Notes in Computer Science 1666, Springer 1999, ISBN 3-540-66347-9 [contents] - 1667Jan Hlavicka, Erik Maehle, András Pataricza:
Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings. Lecture Notes in Computer Science 1667, Springer 1999, ISBN 3-540-66483-1 [contents] - 1668Jeffrey Scott Vitter, Christos D. Zaroliagis:
Algorithm Engineering, 3rd International Workshop, WAE '99, London, UK, July 19-21, 1999, Proceedings. Lecture Notes in Computer Science 1668, Springer 1999, ISBN 3-540-66427-0 [contents] - 1669Xiao-Shan Gao, Dongming Wang, Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, ISBN 3-540-66672-9 [contents] - 1670Norbert A. Streitz, Jane Siegel, Volker Hartkopf, Shin'ichi Konomi:
Cooperative Buildings, Integrating Information, Organization, and Architecture, Second International Workshop, CoBuild'99, Pittsburgh, USA, October 1-2, 1999, Proceedings. Lecture Notes in Computer Science 1670, Springer 1999, ISBN 3-540-66596-X [contents] - 1671Dorit S. Hochbaum, Klaus Jansen, José D. P. Rolim, Alistair Sinclair:
Randomization, Approximation, and Combinatorial Algorithms and Techniques, Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99, Berkeley, CA, USA, August 8-11, 1999, Proceedings. Lecture Notes in Computer Science 1671, Springer 1999, ISBN 3-540-66329-0 [contents] - 1672Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki:
Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1672, Springer 1999, ISBN 3-540-66408-4 [contents] - 1673Patrick Lysaght, James Irvine, Reiner W. Hartenstein:
Field-Programmable Logic and Applications, 9th International Workshop, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings. Lecture Notes in Computer Science 1673, Springer 1999, ISBN 3-540-66457-2 [contents] - 1674Dario Floreano, Jean-Daniel Nicoud, Francesco Mondada:
Advances in Artificial Life, 5th European Conference, ECAL'99, Lausanne, Switzerland, September 13-17, 1999, Proceedings. Lecture Notes in Computer Science 1674, Springer 1999, ISBN 3-540-66452-1 [contents] - 1675Jacky Estublier:
System Configuration Management, 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999, Proceedings. Lecture Notes in Computer Science 1675, Springer 1999, ISBN 3-540-66484-X [contents] - 1676Mukesh K. Mohania, A Min Tjoa:
Data Warehousing and Knowledge Discovery, First International Conference, DaWaK '99, Florence, Italy, August 30 - September 1, 1999, Proceedings. Lecture Notes in Computer Science 1676, Springer 1999, ISBN 3-540-66458-0 [contents] - 1677Trevor J. M. Bench-Capon, Giovanni Soda, A Min Tjoa:
Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings. Lecture Notes in Computer Science 1677, Springer 1999, ISBN 3-540-66448-3 [contents] - 1678Michael H. Böhlen, Christian S. Jensen, Michel Scholl:
Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings. Lecture Notes in Computer Science 1678, Springer 1999, ISBN 3-540-66401-7 [contents] - 1679Christopher J. Taylor, Alan C. F. Colchester:
Medical Image Computing and Computer-Assisted Intervention - MICCAI'99, Second International Conference, Cambridge, UK, September 19-22, 1999, Proceedings. Lecture Notes in Computer Science 1679, Springer 1999, ISBN 3-540-66503-X [contents] - 1680Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink:
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings. Lecture Notes in Computer Science 1680, Springer 1999, ISBN 3-540-66499-8 [contents] - 1681David A. Forsyth, Joseph L. Mundy, Vito Di Gesù, Roberto Cipolla:
Shape, Contour and Grouping in Computer Vision. Lecture Notes in Computer Science 1681, Springer 1999, ISBN 3-540-66722-9 [contents] - 1682Mads Nielsen, Peter Johansen, Ole Fogh Olsen, Joachim Weickert:
Scale-Space Theories in Computer Vision, Second International Conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999, Proceedings. Lecture Notes in Computer Science 1682, Springer 1999, ISBN 3-540-66498-X [contents] - 1683Jörg Flum, Mario Rodríguez-Artalejo:
Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings. Lecture Notes in Computer Science 1683, Springer 1999, ISBN 3-540-66536-6 [contents] - 1684Gabriel Ciobanu, Gheorghe Paun:
Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings. Lecture Notes in Computer Science 1684, Springer 1999, ISBN 3-540-66412-2 [contents] - 1685Patrick Amestoy, Philippe Berger, Michel J. Daydé, Iain S. Duff, Valérie Frayssé, Luc Giraud, Daniel Ruiz:
Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings. Lecture Notes in Computer Science 1685, Springer 1999, ISBN 3-540-66443-2 [contents] - 1686Henri E. Bal, Boumediene Belkhouche, Luca Cardelli:
Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings. Lecture Notes in Computer Science 1686, Springer 1999, ISBN 3-540-66673-7 [contents] - 1687Oscar Nierstrasz, Michel Lemoine:
Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings. Lecture Notes in Computer Science 1687, Springer 1999, ISBN 3-540-66538-2 [contents] - 1688Paolo Bouquet, Luciano Serafini, Patrick Brézillon, Massimo Benerecetti, F. Castellani:
Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings. Lecture Notes in Computer Science 1688, Springer 1999, ISBN 3-540-66432-7 [contents] - 1689Franc Solina, Ales Leonardis:
Computer Analysis of Images and Patterns, 8th International Conference, CAIP'99, Ljubljana, Slovenia, September 1-3, 1999, Proceedings. Lecture Notes in Computer Science 1689, Springer 1999, ISBN 3-540-66366-5 [contents] - 1690Yves Bertot, Gilles Dowek, André Hirschowitz, Christine Paulin-Mohring, Laurent Théry:
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1690, Springer 1999, ISBN 3-540-66463-7 [contents] - 1691Johann Eder, Ivan Rozman, Tatjana Welzer:
Advances in Databases and Information Systems, Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings. Lecture Notes in Computer Science 1691, Springer 1999, ISBN 3-540-66485-8 [contents] - 1692Václav Matousek, Pavel Mautner, Jana Ocelíková, Petr Sojka:
Text, Speech and Dialogue - Second International Workshop, TSD'99, Plzen, Czech Republic, September 1999, Proceedings. Lecture Notes in Computer Science 1692, Springer 1999, ISBN 3-540-66494-7 [contents] - 1693Prasad Jayanti:
Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings. Lecture Notes in Computer Science 1693, Springer 1999, ISBN 3-540-66531-5 [contents] - 1694Agostino Cortesi, Gilberto Filé:
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694, Springer 1999, ISBN 3-540-66459-9 [contents] - 1695Pedro Barahona, José Júlio Alferes:
Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings. Lecture Notes in Computer Science 1695, Springer 1999, ISBN 3-540-66548-X [contents] - 1696Serge Abiteboul, Anne-Marie Vercoustre:
Research and Advanced Technology for Digital Libraries, Third European Conference, ECDL'99, Paris, France, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1696, Springer 1999, ISBN 3-540-66558-7 [contents] - 1697Jack J. Dongarra, Emilio Luque, Tomàs Margalef:
Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings. Lecture Notes in Computer Science 1697, Springer 1999, ISBN 3-540-66549-8 [contents] - 1698Massimo Felici, Karama Kanoun, Alberto Pasquini:
Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1698, Springer 1999, ISBN 3-540-66488-2 [contents] - 1699Sahin Albayrak:
Intelligent Agents for Telecommunication Applications, Third International Workshop, IATA '99, Stockholm, Sweden, August 9-10, 1999, Proceedings. Lecture Notes in Computer Science 1699, Springer 1999, ISBN 3-540-66539-0 [contents]
a service of 
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-04-22 21:05 CEST 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:
