default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 2200-2299
2200George I. Davida, Yair Frankel:
Information Security, 4th International Conference, ISC 2001, Malaga, Spain, October 1-3, 2001, Proceedings. Lecture Notes in Computer Science 2200, Springer 2001, ISBN 3-540-42662-0 [contents]- 2201Gregory D. Abowd, Barry Brumitt, Steven A. Shafer:
Ubicomp 2001: Ubiquitous Computing, Third International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001, Proceedings. Lecture Notes in Computer Science 2201, Springer 2001, ISBN 3-540-42614-0 [contents] - 2202Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi:
Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings. Lecture Notes in Computer Science 2202, Springer 2001, ISBN 3-540-42672-8 [contents] - 2203Andrea Omicini, Paolo Petta, Robert Tolksdorf:
Engineering Societies in the Agents World II, Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001, Revised Papers. Lecture Notes in Computer Science 2203, Springer 2001, ISBN 3-540-43091-1 [contents] - 2204Andreas Brandstädt, Van Bang Le:
Graph-Theoretic Concepts in Computer Science, 27th International Workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001, Proceedings. Lecture Notes in Computer Science 2204, Springer 2001, ISBN 3-540-42707-4 [contents] - 2205Daniel R. Montello:
Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings. Lecture Notes in Computer Science 2205, Springer 2001, ISBN 3-540-42613-2 [contents] - 2206Bernd Reusch:
Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings. Lecture Notes in Computer Science 2206, Springer 2001, ISBN 3-540-42732-5 [contents] - 2207Ian W. Marshall, Scott Nettles, Naoki Wakamiya:
Active Networks, IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001, Proceedings. Lecture Notes in Computer Science 2207, Springer 2001, ISBN 3-540-42678-7 [contents] - 2208Wiro J. Niessen
, Max A. Viergever:
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2001, 4th International Conference, Utrecht, The Netherlands, October 14-17, 2001, Proceedings. Lecture Notes in Computer Science 2208, Springer 2001, ISBN 3-540-42697-3 [contents] - 2209Willem Jonker:
Databases in Telecommunications II, VLDB 2001 International Workshop, DBTel 2001 Rome, Italy, September 10, 2001, Proceedings. Lecture Notes in Computer Science 2209, Springer 2001, ISBN 3-540-42623-X [contents] - 2210Yong Liu, Kiyoshi Tanaka, Masaya Iwata, Tetsuya Higuchi, Moritoshi Yasunaga:
Evolvable Systems: From Biology to Hardware, 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001, Proceedings. Lecture Notes in Computer Science 2210, Springer 2001, ISBN 3-540-42671-X [contents] - 2211Thomas A. Henzinger, Christoph M. Kirsch:
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Lecture Notes in Computer Science 2211, Springer 2001, ISBN 3-540-42673-6 [contents] - 2212Wenke Lee, Ludovic Mé, Andreas Wespi:
Recent Advances in Intrusion Detection, 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001, Proceedings. Lecture Notes in Computer Science 2212, Springer 2001, ISBN 3-540-42702-3 [contents] - 2213Marten van Sinderen, Lambert J. M. Nieuwenhuis:
Protocols for Multimedia Systems, 6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2213, Springer 2001, ISBN 3-540-42708-2 [contents] - 2214Oliver Boldt, Helmut Jürgensen:
Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers. Lecture Notes in Computer Science 2214, Springer 2001, ISBN 3-540-42812-7 [contents] - 2215Naoki Kobayashi, Benjamin C. Pierce:
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Lecture Notes in Computer Science 2215, Springer 2001, ISBN 3-540-42736-8 [contents] - 2216Ehab S. Al-Shaer, Giovanni Pacifici:
Management of Multimedia on the Internet, 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA October 29 - November 1, 2001, Proceedings. Lecture Notes in Computer Science 2216, Springer 2001, ISBN 3-540-42786-4 [contents] - 2217Takashi Gomi:
Evolutionary Robotics From Intelligent Robotics to Artificial Life, International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001, Proceedings. Lecture Notes in Computer Science 2217, Springer 2001, ISBN 3-540-42737-6 [contents] - 2218Rachid Guerraoui:
Middleware 2001, IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings. Lecture Notes in Computer Science 2218, Springer 2001, ISBN 3-540-42800-3 [contents] - 2219S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder:
Consolidated Ada Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1. Lecture Notes in Computer Science 2219, Springer 2001, ISBN 3-540-43038-5 - 2220Chris W. Johnson:
Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Lecture Notes in Computer Science 2220, Springer 2001, ISBN 3-540-42807-0 [contents] - 2221Dror G. Feitelson, Larry Rudolph:
Job Scheduling Strategies for Parallel Processing, 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers. Lecture Notes in Computer Science 2221, Springer 2001, ISBN 3-540-42817-8 [contents] - 2222Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini:
Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions. Lecture Notes in Computer Science 2222, Springer 2002, ISBN 3-540-43282-5 [contents] - 2223Peter Eades, Tadao Takaoka:
Algorithms and Computation, 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2223, Springer 2001, ISBN 3-540-42985-9 [contents] - 2224Hideko S. Kunii, Sushil Jajodia, Arne Sølvberg:
Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings. Lecture Notes in Computer Science 2224, Springer 2001, ISBN 3-540-42866-6 [contents] - 2225Naoki Abe, Roni Khardon, Thomas Zeugmann:
Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings. Lecture Notes in Computer Science 2225, Springer 2001, ISBN 3-540-42875-5 [contents] - 2226Klaus P. Jantke, Ayumi Shinohara:
Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings. Lecture Notes in Computer Science 2226, Springer 2001, ISBN 3-540-42956-5 [contents] - 2227Serdar Boztas, Igor E. Shparlinski:
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 14th International Symposium, AAECC-14, Melbourne, Australia November 26-30, 2001, Proceedings. Lecture Notes in Computer Science 2227, Springer 2001, ISBN 3-540-42911-5 [contents] - 2228Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam:
High Performance Computing - HiPC 2001, 8th International Conference, Hyderabad, India, December, 17-20, 2001, Proceedings. Lecture Notes in Computer Science 2228, Springer 2001, ISBN 3-540-43009-1 [contents] - 2229Sihan Qing, Tatsuaki Okamoto, Jianying Zhou:
Information and Communications Security, Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Lecture Notes in Computer Science 2229, Springer 2001, ISBN 3-540-42880-1 [contents] - 2230Toivo Katila, Isabelle E. Magnin, Patrick Clarysse, Johan Montagnat, Jukka Nenonen:
Functional Imaging and Modeling of the Heart, First International Workshop, Helsinki, Finland, November 15-16, 2001, Proceedings. Lecture Notes in Computer Science 2230, Springer 2001, ISBN 3-540-42861-5 [contents] - 2231Alessandro Pasetti:
Software Frameworks and Embedded Control Systems. University of Konstanz, Germany, Lecture Notes in Computer Science 2231, Springer 2002, ISBN 3-540-43189-6, pp. 1-293 - 2232Ludger Fiege, Gero Mühl, Uwe G. Wilhelm:
Electronic Commerce, Second International Workshop, WELCOM 2001 Heidelberg, Germany, November 16-17, 2001, Proceedings. Lecture Notes in Computer Science 2232, Springer 2001, ISBN 3-540-42878-X [contents] - 2233Jon Crowcroft, Markus Hofmann:
Networked Group Communication, Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001, Proceedings. Lecture Notes in Computer Science 2233, Springer 2001, ISBN 3-540-42824-0 [contents] - 2234Leszek Pacholski, Peter Ruzicka:
SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2234, Springer 2001, ISBN 3-540-42912-3 [contents] - 2235Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000]. Lecture Notes in Computer Science 2235, Springer 2001, ISBN 3-540-43063-6 [contents] - 2236Khalil Drira, Andrea Martelli, Thierry Villemur:
Cooperative Environments for Distributed Systems Engineering, The Distributed Systems Environment Report. Lecture Notes in Computer Science 2236, Springer 2001, ISBN 3-540-43083-0 [contents] - 2237Philippe Codognet:
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2237, Springer 2001, ISBN 3-540-42935-2 [contents] - 2238Gregory D. Hager, Henrik I. Christensen, Horst Bunke, Rolf Klein:
Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000, Selected Revised Papers. Lecture Notes in Computer Science 2238, Springer 2002, ISBN 3-540-43399-6 [contents] - 2239Toby Walsh:
Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2239, Springer 2001, ISBN 3-540-42863-1 [contents] - 2240Gian Pietro Picco:
Mobile Agents, 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001, Proceedings. Lecture Notes in Computer Science 2240, Springer 2002, ISBN 3-540-42952-2 [contents] - 2241Michael Jünger, Denis Naddef:
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School, Schloß Dagstuhl, Germany, 15-19 May 2000]. Lecture Notes in Computer Science 2241, Springer 2001, ISBN 3-540-42877-1 [contents] - 2242Craig A. Lee:
Grid Computing - GRID 2001, Second International Workshop, Denver, CO, USA, November 12, 2001, Proceedings. Lecture Notes in Computer Science 2242, Springer 2001, ISBN 3-540-42949-2 [contents] - 2243Gilles Bertrand, Atsushi Imiya, Reinhard Klette:
Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000]. Lecture Notes in Computer Science 2243, Springer 2001, ISBN 3-540-43079-2 [contents] - 2244Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Lecture Notes in Computer Science 2244, Springer 2001, ISBN 3-540-43075-X [contents] - 2245Ramesh Hariharan, Madhavan Mukund, V. Vinay:
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. Lecture Notes in Computer Science 2245, Springer 2001, ISBN 3-540-43002-4 [contents] - 2246Rino Falcone, Munindar P. Singh, Yao-Hua Tan:
Trust in Cyber-societies, Integrating the Human and Artificial Perspectives [based on a workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference in Barcelona, Spain in June 2000]. Lecture Notes in Computer Science 2246, Springer 2001, ISBN 3-540-43069-5 [contents] - 2247C. Pandu Rangan, Cunsheng Ding:
Progress in Cryptology - INDOCRYPT 2001, Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001, Proceedings. Lecture Notes in Computer Science 2247, Springer 2001, ISBN 3-540-43010-5 [contents] - 2248Colin Boyd:
Advances in Cryptology - ASIACRYPT 2001, 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9-13, 2001, Proceedings. Lecture Notes in Computer Science 2248, Springer 2001, ISBN 3-540-42987-5 [contents] - 2249Khaled Nagi:
Transactional Agents: Towards a Robust Multi-Agent System. Karlsruhe Institute of Technology, Germany, Lecture Notes in Computer Science 2249, Springer 2001, ISBN 3-540-43046-6, pp. 1-205 - 2250Robert Nieuwenhuis, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Lecture Notes in Computer Science 2250, Springer 2001, ISBN 3-540-42957-3 [contents] - 2251Yuan Yan Tang, M. Victor Wickerhauser, Pong Chi Yuen, Chun Hung Li:
Wavelet Analysis and Its Applications, Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001, Proceedings. Lecture Notes in Computer Science 2251, Springer 2001, ISBN 3-540-43034-2 [contents] - 2252Jiming Liu, Pong Chi Yuen, Chun Hung Li, Joseph Kee-Yin Ng, Toru Ishida:
Active Media Technology, 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001, Proceedings. Lecture Notes in Computer Science 2252, Springer 2001, ISBN 3-540-43035-0 [contents] - 2253Takao Terano, Toyoaki Nishida, Akira Namatame, Shusaku Tsumoto, Yukio Ohsawa, Takashi Washio:
New Frontiers in Artificial Intelligence, Joint JSAI 2001 Workshop Post-Proceedings. Lecture Notes in Computer Science 2253, Springer 2001, ISBN 3-540-43070-9 [contents] - 2254Murray Reed Little, Laurence Nigay:
Engineering for Human-Computer Interaction, 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001, Revised Papers. Lecture Notes in Computer Science 2254, Springer 2001, ISBN 3-540-43044-X [contents] - 2255John C. Dean, Andrée Gravel:
COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings. Lecture Notes in Computer Science 2255, Springer 2002, ISBN 3-540-43100-4 [contents] - 2256Markus Stumptner, Dan Corbett, Michael J. Brooks:
AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings. Lecture Notes in Computer Science 2256, Springer 2001, ISBN 3-540-42960-3 [contents] - 2257Shriram Krishnamurthi, C. R. Ramakrishnan:
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings. Lecture Notes in Computer Science 2257, Springer 2002, ISBN 3-540-43092-X [contents] - 2258Pavel Brazdil, Alípio Jorge:
Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings. Lecture Notes in Computer Science 2258, Springer 2001, ISBN 3-540-43030-X [contents] - 2259Serge Vaudenay, Amr M. Youssef:
Selected Areas in Cryptography, 8th Annual International Workshop, SAC 2001 Toronto, Ontario, Canada, August 16-17, 2001, Revised Papers. Lecture Notes in Computer Science 2259, Springer 2001, ISBN 3-540-43066-0 [contents] - 2260Bahram Honary:
Cryptography and Coding, 8th IMA International Conference, Cirencester, UK, December 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2260, Springer 2001, ISBN 3-540-43026-1 [contents] - 2261Felix Naumann:
Quality-Driven Query Answering for Integrated Information Systems. Lecture Notes in Computer Science 2261, Springer 2002, ISBN 3-540-43349-X - 2262Peter Müller:
Modular Specification and Verification of Object-Oriented Programs. University of Hagen, Germany, Lecture Notes in Computer Science 2262, Springer 2002, ISBN 3-540-43167-5, pp. 1-261 - 2263Tony Clark, Jos Warmer:
Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Lecture Notes in Computer Science 2263, Springer 2002, ISBN 3-540-43169-1 [contents] - 2264Kathleen Steinhöfel:
Stochastic Algorithms: Foundations and Applications, International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001, Proceedings. Lecture Notes in Computer Science 2264, Springer 2001, ISBN 3-540-43025-3 [contents] - 2265Petra Mutzel, Michael Jünger, Sebastian Leipert:
Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers. Lecture Notes in Computer Science 2265, Springer 2002, ISBN 3-540-43309-0 [contents] - 2266Siegfried Reich, Manolis Tzagarakis, Paul De Bra:
Hypermedia: Openness, Structural Awareness, and Adaptivity, International Workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001. Revised Papers. Lecture Notes in Computer Science 2266, Springer 2002, ISBN 3-540-43293-0 [contents] - 2267Maura Cerioli, Gianna Reggio:
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Lecture Notes in Computer Science 2267, Springer 2001, ISBN 3-540-43159-4 [contents] - 2268Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis:
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS. Lecture Notes in Computer Science 2268, Springer 2002, ISBN 3-540-43322-8 [contents] - 2269Stephan Diehl:
Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures. Lecture Notes in Computer Science 2269, Springer 2002, ISBN 3-540-43323-6 [contents] - 2270Matthias Pflanz:
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors. Lecture Notes in Computer Science 2270, Springer 2002, ISBN 3-540-43318-X - 2271Bart Preneel:
Topics in Cryptology - CT-RSA 2002, The Cryptographer's Track at the RSA Conference, 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings. Lecture Notes in Computer Science 2271, Springer 2002, ISBN 3-540-43224-8 [contents] - 2272Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson:
ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7 [contents] - 2273Anni Coden, Eric W. Brown, Savitha Srinivasan:
Information Retrieval Techniques for Speech Applications [this book is based on the workshop "Information Retrieval Techniques for Speech Applications", held as part of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval in New Orleans, USA, in September 2001]. Lecture Notes in Computer Science 2273, Springer 2002, ISBN 3-540-43156-X [contents] - 2274David Naccache, Pascal Paillier:
Public Key Cryptography, 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002, Proceedings. Lecture Notes in Computer Science 2274, Springer 2002, ISBN 3-540-43168-3 [contents] - 2275Nikhil R. Pal, Michio Sugeno:
Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings. Lecture Notes in Computer Science 2275, Springer 2002, ISBN 3-540-43150-0 [contents] - 2276Alexander F. Gelbukh:
Computational Linguistics and Intelligent Text Processing, Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002, Proceedings. Lecture Notes in Computer Science 2276, Springer 2002, ISBN 3-540-43219-1 [contents] - 2277Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack:
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Lecture Notes in Computer Science 2277, Springer 2002, ISBN 3-540-43287-6 [contents] - 2278James A. Foster, Evelyne Lutton, Julian F. Miller, Conor Ryan, Andrea Tettamanzi:
Genetic Programming, 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002, Proceedings. Lecture Notes in Computer Science 2278, Springer 2002, ISBN 3-540-43378-3 [contents] - 2279Stefano Cagnoni, Jens Gottlieb, Emma Hart, Martin Middendorf, Günther R. Raidl:
Applications of Evolutionary Computing, EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 3-4, 2002, Proceedings. Lecture Notes in Computer Science 2279, Springer 2002, ISBN 3-540-43432-1 [contents] - 2280Joost-Pieter Katoen, Perdita Stevens:
Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2280, Springer 2002, ISBN 3-540-43419-4 [contents] - 2281Setsuo Arikawa, Ayumi Shinohara:
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Lecture Notes in Computer Science 2281, Springer 2002, ISBN 3-540-43338-4 [contents] - 2282Domenico Ursino:
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Automatic Approaches and Tools. Lecture Notes in Computer Science 2282, Springer 2002, ISBN 3-540-43347-3 - 2283Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel:
Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science 2283, Springer 2002, ISBN 3-540-43376-7 - 2284Thomas Eiter, Klaus-Dieter Schewe:
Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2284, Springer 2002, ISBN 3-540-43220-5 [contents] - 2285Helmut Alt, Afonso Ferreira:
STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings. Lecture Notes in Computer Science 2285, Springer 2002, ISBN 3-540-43283-3 [contents] - 2286Sergio Rajsbaum:
LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings. Lecture Notes in Computer Science 2286, Springer 2002, ISBN 3-540-43400-3 [contents] - 2287Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorný, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke:
Advances in Database Technology - EDBT 2002, 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings. Lecture Notes in Computer Science 2287, Springer 2002, ISBN 3-540-43324-4 [contents] - 2288Kwangjo Kim:
Information Security and Cryptology - ICISC 2001, 4th International Conference Seoul, Korea, December 6-7, 2001, Proceedings. Lecture Notes in Computer Science 2288, Springer 2002, ISBN 3-540-43319-8 [contents] - 2289Claire J. Tomlin, Mark R. Greenstreet:
Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Lecture Notes in Computer Science 2289, Springer 2002, ISBN 3-540-43321-X [contents] - 2290Frank van der Linden:
Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised Papers. Lecture Notes in Computer Science 2290, Springer 2002, ISBN 3-540-43659-6 [contents] - 2291Fabio Crestani, Mark A. Girolami, C. J. van Rijsbergen:
Advances in Information Retrieval, 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings. Lecture Notes in Computer Science 2291, Springer 2002, ISBN 3-540-43343-0 [contents] - 2292Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Mohammad Amin Shokrollahi:
Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000). Lecture Notes in Computer Science 2292, Springer 2002, ISBN 3-540-43328-7 [contents] - 2293Jochen Renz:
Qualitative Spatial Reasoning with Topological Information. Lecture Notes in Computer Science 2293, Springer 2002, ISBN 3-540-43346-5 - 2294Agostino Cortesi:
Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Lecture Notes in Computer Science 2294, Springer 2002, ISBN 3-540-43631-6 [contents] - 2295Werner Kuich, Grzegorz Rozenberg, Arto Salomaa:
Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers. Lecture Notes in Computer Science 2295, Springer 2002, ISBN 3-540-43453-4 [contents] - 2296Barbara Dunin-Keplicz, Edward Nawarecki:
From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers. Lecture Notes in Computer Science 2296, Springer 2002, ISBN 3-540-43370-8 [contents] - 2297Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Lecture Notes in Computer Science 2297, Springer 2002, ISBN 3-540-43613-8 [contents] - 2298Ipke Wachsmuth, Timo Sowa:
Gesture and Sign Languages in Human-Computer Interaction, International Gesture Workshop, GW 2001, London, UK, April 18-20, 2001, Revised Papers. Lecture Notes in Computer Science 2298, Springer 2002, ISBN 3-540-43678-2 [contents] - 2299Hartmut Schmeck, Theo Ungerer, Lars C. Wolf:
Trends in Network and Pervasive Computing - ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2299, Springer 2002, ISBN 3-540-43409-7 [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:
