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

Lecture Notes in Computer Science (LNCS), Volumes 1800-1899

1800
José D. P. Rolim (Ed.): Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Springer 2000, ISBN 3-540-67442-X
Contents BibTeX
1801
Julian F. Miller, Adrian Thompson, Peter Thomson, Terence C. Fogarty (Eds.): Evolvable Systems: From Biology to Hardware, Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67338-5
Contents BibTeX
1802
Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian F. Miller, Peter Nordin, Terence C. Fogarty (Eds.): Genetic Programming, European Conference, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings. Springer 2000, ISBN 3-540-67339-3
Contents BibTeX
1803
Stefano Cagnoni, Riccardo Poli, Yun Li, George D. Smith, David Corne, Martin J. Oates, Emma Hart, Pier Luca Lanzi, Egbert J. W. Boers, Ben Paechter, Terence C. Fogarty (Eds.): Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000, Proceedings. Springer 2000, ISBN 3-540-67353-9
Contents BibTeX
1804
Behnam Azvine, Nader Azarmi, Detlef Nauck (Eds.): Intelligent Systems and Soft Computing: Prospects, Tools and Applications. Springer 2000, ISBN 3-540-67837-9
Contents BibTeX
1805
Takao Terano, Huan Liu, Arbee L. P. Chen (Eds.): Knowledge Discovery and Data Mining, Current Issues and New Applications, 4th Pacific-Asia Conference, PADKK 2000, Kyoto, Japan, April 18-20, 2000, Proceedings. Springer 2000, ISBN 3-540-67382-2
Contents BibTeX
1806
Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis (Eds.): Business Process Management, Models, Techniques, and Empirical Studies. Springer 2000, ISBN 3-540-67454-3
Contents BibTeX
1807
Bart Preneel (Ed.): Advances in Cryptology - EUROCRYPT 2000, International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000, Proceeding. Springer 2000, ISBN 3-540-67517-5
Contents BibTeX
1808
Santosh Pande, Dharma P. Agrawal (Eds.): Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems. Springer 2001, ISBN 3-540-41945-4
Contents BibTeX
1809
Susanne Biundo, Maria Fox (Eds.): Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings. Springer 2000, ISBN 3-540-67866-2
Contents BibTeX
1810
Ramon López de Mántaras, Enric Plaza (Eds.): Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31 - June 2, 2000, Proceedings. Springer 2000, ISBN 3-540-67602-3
Contents BibTeX
1811
Seong-Whan Lee, Heinrich H. Bülthoff, Tomaso Poggio (Eds.): Biologically Motivated Computer Vision, First IEEE International Workshop, BMVC 2000, Seoul, Korea, May 15-17, 2000, Proceedings. Springer 2000, ISBN 3-540-67560-4
Contents BibTeX
1812
Jeremy Watt, John Demiris (Eds.): Advances in Robot Learning, 8th European Workshop on Learning Robots, EWLR-8, Lausanne, Switzerland, September 18, 1999, Proceedings. Springer 2000, ISBN 3-540-41162-3
Contents BibTeX
1813
Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (Eds.): Learning Classifier Systems, From Foundations to Applications. Springer 2000, ISBN 3-540-67729-1
Contents BibTeX
1814
Ana Paiva (Ed.): Affective Interactions, Towards a New Generation of Computer Interfaces. Springer 2000, ISBN 3-540-41520-3
Contents BibTeX
1815
Guy Pujolle, Harry G. Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis (Eds.): NETWORKING 2000, Broadband Communications, High Performance Networking, and Performance of Communication Networks, IFIP-TC6 / European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67506-X
Contents BibTeX
1816
Teodor Rus (Ed.): Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Springer 2000, ISBN 3-540-67530-2
Contents BibTeX
1817
Annalisa Bossi (Ed.): Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers. Springer 2000, ISBN 3-540-67628-7
Contents BibTeX
1818
Cambyse Guy Omidyar (Ed.): Mobile and Wireless Communication Networks, IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000, Paris, France, May 16-17, 2000, Proceedings. Springer 2000, ISBN 3-540-67543-4
Contents BibTeX
1819
Willem Jonker (Ed.): Databases in Telecommunications, International Workshop Co-located with VLDB-99, Edinburgh, Scotland, UK, September 6, 1999, Proceedings. Springer 2000, ISBN 3-540-67667-8
Contents BibTeX
1820
Jean-Jacques Quisquater, Bruce Schneier (Eds.): Smart Card Research and Applications, This International Conference, CARDIS '98, Louvain-la-Neuve, Belgium, September 14-16, 1998, Proceedings. Springer 2000, ISBN 3-540-67923-5
Contents BibTeX
1821
Rasiah Loganantharaj, Günther Palm (Eds.): Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings. Springer 2000, ISBN 3-540-67689-9
Contents BibTeX
1822
Howard J. Hamilton (Ed.): Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings. Springer 2000, ISBN 3-540-67557-4
Contents BibTeX
1823
Marian Bubak, Hamideh Afsarmanesh, Roy Williams, Louis O. Hertzberger (Eds.): High-Performance Computing and Networking, 8th International Conference, HPCN Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings. Springer 2000, ISBN 3-540-67553-1
Contents BibTeX
1824
Jens Palsberg (Ed.): Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67668-6
Contents BibTeX
1825
Mogens Nielsen, Dan Simpson (Eds.): Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Springer 2000, ISBN 3-540-67693-7
Contents BibTeX
1826
Walter Cazzola, Robert J. Stroud, Francesco Tisato (Eds.): Reflection and Software Engineering, Papers from OORaSE 1999, 1st OOPSLA Workshop on Reflection and Software Engineering, Denver, CO, USA, November 1999. Springer 2000, ISBN 3-540-67761-5
Contents BibTeX
1827
Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Springer 2000, ISBN 3-540-67898-0
Contents BibTeX
1828
Ron Sun, C. Lee Giles (Eds.): Sequence Learning - Paradigms, Algorithms, and Applications. Springer 2001, ISBN 3-540-41597-1
Contents BibTeX
1829
Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Edmund M. A. Ronald, Marc Schoenauer (Eds.): Artificial Evolution, 4th European Conference, AE'99, Dunkerque, France, November 3-5, 1999, Selected Papers. Springer 2000, ISBN 3-540-67846-8
Contents BibTeX
1830
Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger (Eds.): Distributed Communities on the Web, Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings. Springer 2000, ISBN 3-540-67647-3
Contents BibTeX
1831
David A. McAllester (Ed.): Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings. Springer 2000, ISBN 3-540-67664-3
Contents BibTeX
1832
Brian Lings, Keith G. Jeffery (Eds.): Advances in Databases, 17th British National Conferenc on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000, Proceedings. Springer 2000, ISBN 3-540-67743-7
Contents BibTeX
1833
Leo Bachmair (Ed.): Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Springer 2000, ISBN 3-540-67778-X
Contents BibTeX
1834
Jean-Claude Heudin (Ed.): Virtual Worlds, Second International Conference, VW 2000, Paris, France, July 5-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67707-0
Contents BibTeX
1835
Dimitris Christodoulakis (Ed.): Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings. Springer 2000, ISBN 3-540-67605-8
Contents BibTeX
1836
Brij M. Masand, Myra Spiliopoulou (Eds.): Web Usage Analysis and User Profiling, International WEBKDD'99 Workshop, San Diego, California, USA, August 15, 1999, Revised Papers. Springer 2000, ISBN 3-540-67818-2
Contents BibTeX
1837
Roland Carl Backhouse, José Nuno Oliveira (Eds.): Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Springer 2000, ISBN 3-540-67727-5
Contents BibTeX
1838
Wieb Bosma (Ed.): Algorithmic Number Theory, 4th International Symposium, ANTS-IV, Leiden, The Netherlands, July 2-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67695-3
Contents BibTeX
1839
Gilles Gauthier, Claude Frasson, Kurt VanLehn (Eds.): Intelligent Tutoring Systems, 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67655-4
Contents BibTeX
1840
Frank Bomarius, Markku Oivo (Eds.): Product Focused Software Process Improvement, Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000, Proceedings. Springer 2000, ISBN 3-540-67688-0
Contents BibTeX
1841
Ed Dawson, Andrew Clark, Colin Boyd (Eds.): Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings. Springer 2000, ISBN 3-540-67742-9
Contents BibTeX
1842
David Vernon (Ed.): Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part I. Springer 2000, ISBN 3-540-67685-6
Contents BibTeX
1843
David Vernon (Ed.): Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part II. Springer 2000, ISBN 3-540-67686-4
Contents BibTeX
1844
William B. Frakes (Ed.): Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Springer 2000, ISBN 3-540-67696-1
Contents BibTeX
1845
Hubert B. Keller, Erhard Plödereder (Eds.): Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Springer 2000, ISBN 3-540-67669-4
Contents BibTeX
1846
Hongjun Lu, Aoying Zhou (Eds.): Web-Age Information Management, First International Conference, WAIM 2000, Shanghai, China, June 21-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67627-9
Contents BibTeX
1847
Roy Dyckhoff (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67697-X
Contents BibTeX
1848
Raffaele Giancarlo, David Sankoff (Eds.): Combinatorial Pattern Matching, 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67633-3
Contents BibTeX
1849
Christian Freksa, Wilfried Brauer, Christopher Habel, Karl Friedrich Wender (Eds.): Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications. Springer 2000, ISBN 3-540-67584-1
Contents BibTeX
1850
Elisa Bertino (Ed.): ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings. Springer 2000, ISBN 3-540-67660-0
Contents BibTeX
1851
Magnús M. Halldórsson (Ed.): Algorithm Theory - SWAT 2000, 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67690-2
Contents BibTeX
1852
Thomas Thierauf: The Computational Complexity of Equivalence and Isomorphism Problems. Lecture Notes in Computer Science Vol. 1852 Springer 2000, ISBN 3-540-41032-5
Contents BibTeX
1853
Ugo Montanari, José D. P. Rolim, Emo Welzl (Eds.): Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Springer 2000, ISBN 3-540-67715-1
Contents BibTeX
1854
Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner (Eds.): SEMPER - Secure Electronic Marketplace for Europe. Lecture Notes in Computer Science Vol. 1854 Springer 2000, ISBN 3-540-67825-5
BibTeX
1855
E. Allen Emerson, A. Prasad Sistla (Eds.): Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67770-4
Contents BibTeX
1856
Manuela M. Veloso, Enrico Pagello, Hiroaki Kitano (Eds.): RoboCup-99: Robot Soccer World Cup III. Springer 2000, ISBN 3-540-41043-0
Contents BibTeX
1857
Josef Kittler, Fabio Roli (Eds.): Multiple Classifier Systems, First International Workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67704-6
Contents BibTeX
1858
Ding-Zhu Du, Peter Eades, Vladimir Estivill-Castro, Xuemin Lin, Arun Sharma (Eds.): Computing and Combinatorics, 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000, Proceedings. Springer 2000, ISBN 3-540-67787-9
Contents BibTeX
1859
Marcus Jürgens: Index Structures for Data Warehouses. Lecture Notes in Computer Science Vol. 1859 Springer 2002, ISBN 3-540-43368-6
Contents BibTeX
1860
Matthias Klusch, Larry Kerschberg (Eds.): Cooperative Information Agents IV, The Future of Information Agents in Cyberspace, 4th International Workshop, CIA 2000, Boston, MA, USA, July 7-9, 2000, Proceedings. Springer 2000, ISBN 3-540-67703-8
Contents BibTeX
1861
John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Springer 2000, ISBN 3-540-67797-6
Contents BibTeX
1862
Peter Clote, Helmut Schwichtenberg (Eds.): Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Springer 2000, ISBN 3-540-67895-6
Contents BibTeX
1863
Larry Carter, Jeanne Ferrante (Eds.): Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings. Springer 2000, ISBN 3-540-67858-1
Contents BibTeX
1864
Berthe Y. Choueiry, Toby Walsh (Eds.): Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Springer 2000, ISBN 3-540-67839-5
Contents BibTeX
1865
Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi (Eds.): New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Springer 2000, ISBN 3-540-67885-9
Contents BibTeX
1866
James Cussens, Alan M. Frisch (Eds.): Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings. Springer 2000, ISBN 3-540-67795-X
Contents BibTeX
1867
Bernhard Ganter, Guy W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings. Springer 2000, ISBN 3-540-67859-X
Contents BibTeX
1868
Pieter W. M. Koopman, Chris Clack (Eds.): Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers. Springer 2000, ISBN 3-540-67864-6
Contents BibTeX
1869
Mark Aagaard, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Springer 2000, ISBN 3-540-67863-8
Contents BibTeX
1870
Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (Eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Springer 2000, ISBN 3-540-41137-2
Contents BibTeX
1871
James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (Eds.): Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Springer 2001, ISBN 3-540-42716-3
Contents BibTeX
1872
Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.): Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67823-9
Contents BibTeX
1873
Mohamed T. Ibrahim, Josef Küng, Norman Revell (Eds.): Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings. Springer 2000, ISBN 3-540-67978-2
Contents BibTeX
1874
Yahiko Kambayashi, Mukesh K. Mohania, A. Min Tjoa (Eds.): Data Warehousing and Knowledge Discovery, Second International Conference, DaWaK 2000, London, UK, September 4-6, 2000, Proceedings. Springer 2000, ISBN 3-540-67980-4
Contents BibTeX
1875
Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (Eds.): Electronic Commerce and Web Technologies, First International Conference, EC-Web 2000, London, UK, September 4-6, 2000, Proceedings. Springer 2000, ISBN 3-540-67981-2
Contents BibTeX
1876
Francesc J. Ferri, José Manuel Iñesta Quereda, Adnan Amin, Pavel Pudil (Eds.): Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante, Spain, August 30 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67946-4
Contents BibTeX
1877
Catuscia Palamidessi (Ed.): CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Springer 2000, ISBN 3-540-67897-2
Contents BibTeX
1878
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.): ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Springer 2000, ISBN 3-540-67944-8
Contents BibTeX
1879
Mike Paterson (Ed.): Algorithms - ESA 2000, 8th Annual European Symposium, Saarbrücken, Germany, September 5-8, 2000, Proceedings. Springer 2000, ISBN 3-540-41004-X
Contents BibTeX
1880
Mihir Bellare (Ed.): Advances in Cryptology - CRYPTO 2000, 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000, Proceedings. Springer 2000, ISBN 3-540-67907-3
Contents BibTeX
1881
Chengqi Zhang, Von-Wun Soo (Eds.): Design and Applications of Intelligent Agents, Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Melbourne, Australia, August 28-29, 2000, Proceedings. Springer 2000, ISBN 3-540-67911-1
Contents BibTeX
1882
David Kotz, Friedemann Mattern (Eds.): Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürch, Switzerland, September 13-15, 2000, Proceedings. Springer 2000, ISBN 3-540-41052-X
Contents BibTeX
1883
Bill Triggs, Andrew Zisserman, Richard Szeliski (Eds.): Vision Algorithms: Theory and Practice, International Workshop on Vision Algorithms, held during ICCV '99, Corfu, Greece, September 21-22, 1999, Proceedings. Springer 2000, ISBN 3-540-67973-1
Contents BibTeX
1884
Julius Stuller, Jaroslav Pokorný, Bernhard Thalheim, Yoshifumi Masunaga (Eds.): Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-8, 2000, Proceedings. Springer 2000, ISBN 3-540-67977-4
Contents BibTeX
1885
Klaus Havelund, John Penix, Willem Visser (Eds.): SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-41030-9
Contents BibTeX
1886
Riichiro Mizoguchi, John K. Slaney (Eds.): PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67925-1
Contents BibTeX
1887
Thomas Wagner, Omer F. Rana (Eds.): Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, International Workshop on Infrastructure for Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000, Revised Papers. Springer 2001, ISBN 3-540-42315-X
Contents BibTeX
1888
Gerald Sommer, Yehoshua Y. Zeevi (Eds.): Algebraic Frames for the Perception-Action Cycle, Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000, Proceedings. Springer 2000, ISBN 3-540-41013-9
Contents BibTeX
1989
Michael Anderson, Peter Cheng, Volker Haarslev (Eds.): Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Springer 2000, ISBN 3-540-67915-4
Contents BibTeX
1890
Claudia Linnhoff-Popien, Heinz-Gerd Hegering (Eds.): Trends in Distributed Systems: Towards a Universal Service Market, Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000, Proceedings. Springer 2000, ISBN 3-540-41024-4
Contents BibTeX
1891
Arlindo L. Oliveira (Ed.): Grammatical Inference: Algorithms and Applications, 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000, Proceedings. Springer 2000, ISBN 3-540-41011-2
Contents BibTeX
1892
Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (Eds.): Adaptive Hypermedia and Adaptive Web-Based Systems, International Conference, AH 2000, Trento, Italy, August 28-30, 2000, Proceedings. Springer 2000, ISBN 3-540-67910-3
Contents BibTeX
1893
Mogens Nielsen, Branislav Rovan (Eds.): Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67901-4
Contents BibTeX
1894
Rina Dechter (Ed.): Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Springer 2000, ISBN 3-540-41053-8
Contents BibTeX
1895
Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner (Eds.): Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings. Springer 2000, ISBN 3-540-41031-7
Contents BibTeX
1896
Reiner W. Hartenstein, Herbert Grünbacher (Eds.): Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings. Springer 2000, ISBN 3-540-67899-9
Contents BibTeX
1897
Jürg Gutknecht, Wolfgang Weck (Eds.): Modular Programming Languages, Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000, Proceedings. Springer 2000, ISBN 3-540-67958-8
Contents BibTeX
1898
Enrico Blanzieri, Luigi Portinale (Eds.): Advances in Case-Based Reasoning, 5th European Workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000, Proceedings. Springer 2000, ISBN 3-540-67933-2
Contents BibTeX
1899
Hans-Hellmut Nagel, Francisco J. Perales López (Eds.): Articulated Motion and Deformable Objects, First International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 7-9, 2000, Proceedings. Springer 2000, ISBN 3-540-67912-X
Contents BibTeX

Copyright © Sun May 17 00:32:12 2009 by Michael Ley (ley@uni-trier.de)