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