Lecture Notes in Computer Science (LNCS), Volumes 2900-2999

2900

Michel Bidoit, Peter D. Mosses: Casl User Manual - Introduction to Using the Common Algebraic Specification Language. Lecture Notes in Computer Science Vol. 2900 Springer 2004, ISBN 3-540-20766-X
Contents

2901

François Bry, Nicola Henze, Jan Maluszynski (Eds.): Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings. Springer 2003, ISBN 3-540-20582-9
Contents

2902

Fernando Moura-Pires, Salvador Abreu (Eds.): Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings. Springer 2003, ISBN 3-540-20589-6
Contents

2903

Tamás D. Gedeon, Lance Chun Che Fung (Eds.): AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings. Springer 2003, ISBN 3-540-20646-9
Contents

2904

Thomas Johansson, Subhamoy Maitra (Eds.): Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings. Springer 2003, ISBN 3-540-20609-4
Contents

2905

Alberto Sanfeliu, José Ruiz-Shulcloper (Eds.): Progress in Pattern Recognition, Speech and Image Analysis, 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003, Proceedings. Springer 2003, ISBN 3-540-20590-X
Contents

2906

Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (Eds.): Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings. Springer 2003, ISBN 3-540-20695-7
Contents

2907

Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, Plamen Y. Yalamov (Eds.): Large-Scale Scientific Computing, 4th International Conference, LSSC 2003, Sozopal, Bulgaria, June 4-8, 2003, Revised Papers. Springer 2004, ISBN 3-540-21090-3
Contents

2908

Kijoon Chae, Moti Yung (Eds.): Information Security Applications, 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers. Springer 2004, ISBN 3-540-20827-5
Contents

2909

Klaus Jansen, Roberto Solis-Oba (Eds.): Approximation and Online Algorithms, First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers. Springer 2004, ISBN 3-540-21079-2
Contents

2910

Maria E. Orlowska, Sanjiva Weerawarana, Mike P. Papazoglou, Jian Yang (Eds.): Service-Oriented Computing - ICSOC 2003, First International Conference, Trento, Italy, December 15-18, 2003, Proceedings. Springer 2003, ISBN 3-540-20681-7
Contents

2911

Tengku M. T. Sembok, Halimah Badioze Zaman, Hsinchun Chen, Shalini R. Urs, Sung-Hyon Myaeng (Eds.): Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings. Springer 2003, ISBN 3-540-20608-6
Contents

2912

Giuseppe Liotta (Ed.): Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers. Springer 2004, ISBN 3-540-20831-3
Contents

2913

Timothy Mark Pinkston, Viktor K. Prasanna (Eds.): High Performance Computing - HiPC 2003, 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings. Springer 2003, ISBN 3-540-20626-4
Contents

2914

Paritosh K. Pandya, Jaikumar Radhakrishnan (Eds.): FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings. Springer 2003, ISBN 3-540-20680-9
Contents

2915

Antonio Camurri, Gualtiero Volpe (Eds.): Gesture-Based Communication in Human-Computer Interaction, 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers. Springer 2004, ISBN 3-540-21072-5
Contents

2916

Catuscia Palamidessi (Ed.): Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Springer 2003, ISBN 3-540-20642-6
Contents

2917

Elisa Quintarelli: Model-Checking Based Data Retrieval, An Application to Semistructured and Temporal Data. Lecture Notes in Computer Science Vol. 2917 Springer 2004, ISBN 3-540-20971-9
Contents

2918

Samir R. Das, Sajal K. Das (Eds.): Distributed Computing - IWDC 2003, 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings. Springer 2003, ISBN 3-540-20745-7
Contents

2919

Enrico Giunchiglia, Armando Tacchella (Eds.): Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Springer 2004, ISBN 3-540-20851-8
Contents

2920

Holger Karl, Andreas Willig, Adam Wolisz (Eds.): Wireless Sensor Networks, First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings. Springer 2004, ISBN 3-540-20825-9
Contents

2921

Georg Lausen, Dan Suciu (Eds.): Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers. Springer 2004, ISBN 3-540-20896-8
Contents

2922

Frank Dignum (Ed.): Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Springer 2004, ISBN 3-540-20769-4
Contents

2923

Vladimir Lifschitz, Ilkka Niemelä (Eds.): Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Springer 2004, ISBN 3-540-20721-X
Contents

2924

James P. Callan, Fabio Crestani, Mark Sanderson (Eds.): Distributed Multimedia Information Retrieval, SIGIR 2003 Workshop on Distributed Information Retrieval, Toronto, Canada, August 1, 2003, Revised Selected and Invited Papers. Springer 2004, ISBN 3-540-20875-5
Contents

2925

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (Eds.): Validation of Stochastic Systems - A Guide to Current Research. Springer 2004, ISBN 3-540-22265-0
Contents

2926

Ludger van Elst, Virginia Dignum, Andreas Abecker (Eds.): Agent Mediated Knowledge Management, International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003, Revised and Invited Papers. Springer 2004, ISBN 3-540-20868-2
Contents

2927

David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier (Eds.): Multi-Agent-Based Simulation III, 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers. Springer 2003, ISBN 3-540-20736-8
Contents

2928

Roberto Battiti, Marco Conti, Renato Lo Cigno (Eds.): Wireless On-Demand Network Systems, First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings. Springer 2004, ISBN 3-540-20790-2
Contents

2929

Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens (Eds.): Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers. Springer 2003, ISBN 3-540-20780-5
Contents

2930

Franz Winkler (Ed.): Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Springer 2004, ISBN 3-540-20927-1
Contents

2931

Alexandre Petrenko, Andreas Ulrich (Eds.): Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Springer 2004, ISBN 3-540-20894-1
Contents

2932

Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller (Eds.): SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004. Springer 2004, ISBN 3-540-20779-1
Contents

2933

Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers. Springer 2004, ISBN 3-540-20895-X
Contents

2934

Gabriela Lindemann, Daniel Moldt, Mario Paolucci (Eds.): Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers. Springer 2004, ISBN 3-540-20923-9
Contents

2935

Paolo Giorgini, Jörg P. Müller, James Odell (Eds.): Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers. Springer 2003, ISBN 3-540-20826-7
Contents

2936

Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton, Marc Schoenauer (Eds.): Artificial Evolution, 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003. Springer 2004, ISBN 3-540-21523-9
Contents

2937

Bernhard Steffen, Giorgio Levi (Eds.): Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Springer 2004, ISBN 3-540-20803-8
Contents

2938

Zili Zhang, Chengqi Zhang: Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving. Lecture Notes in Computer Science Vol. 2938 Springer 2004, ISBN 3-540-20908-5
Contents

2939

Ton Kalker, Ingemar J. Cox, Yong Man Ro (Eds.): Digital Watermarking, Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers. Springer 2004, ISBN 3-540-21061-X
Contents

2940

Carlos José Pereira de Lucena, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar (Eds.): Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003]. Springer 2004, ISBN 3-540-21182-9
Contents

2941

Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Eds.): Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Springer 2004, ISBN 3-540-21179-9
Contents

2942

Dietmar Seipel, Jose Maria Turull Torres (Eds.): Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings. Springer 2004, ISBN 3-540-20965-4
Contents

2943

Junghuei Chen, John H. Reif (Eds.): DNA Computing, 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers. Springer 2004, ISBN 3-540-20930-1
Contents

2944

Karl Aberer, Vana Kalogeraki, Manolis Koubarakis (Eds.): Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers. Springer 2004, ISBN 3-540-20968-9
Contents

2945

Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings. Springer 2004, ISBN 3-540-21006-7
Contents

2946

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Springer 2004, ISBN 3-540-20955-7
Contents

2947

Feng Bao, Robert H. Deng, Jianying Zhou (Eds.): Public Key Cryptography - PKC 2004, 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004. Springer 2004, ISBN 3-540-21018-0
Contents

2948

Gary L. Mullen, Alain Poli, Henning Stichtenoth (Eds.): Finite Fields and Applications, 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers. Springer 2004, ISBN 3-540-21324-4
Contents

2949

Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.): Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings. Springer 2004, ISBN 3-540-21044-X
Contents

2950

Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg (Eds.): Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Springer 2004, ISBN 3-540-20781-3
Contents

2951

Moni Naor (Ed.): Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings. Springer 2004, ISBN 3-540-21000-8
Contents

2952

Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (Eds.): Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers. Springer 2004, ISBN 3-540-21091-1
Contents

2953

Karsten Konrad: Model Generation for Natural Language Interpretation and Analysis. Lecture Notes in Computer Science Vol. 2953 Springer 2004, ISBN 3-540-21069-5
Contents

2954

Fabio Crestani, Mark D. Dunlop, Stefano Mizzaro (Eds.): Mobile and Ubiquitous Information Access, Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers. Springer 2004, ISBN 3-540-21003-2
Contents

2955

Vito Di Gesù, Francesco Masulli, Alfredo Petrosino (Eds.): Fuzzy Logic and Applications, 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers. Springer 2006, ISBN 3-540-31019-3
Contents

2956

Andreas Dengel, Markus Junker, Anette Weisbecker (Eds.): Reading and Learning, Adaptive Content Recognition. Springer 2004, ISBN 3-540-21904-8
Contents

2957

Peter Langendörfer, Mingyan Liu, Ibrahim Matta, Vassilios Tsaoussidis (Eds.): Wired/Wireless Internet Communications, Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings. Springer 2004, ISBN 3-540-20954-9
Contents

2958

Lawrence Rauchwerger (Ed.): Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers. Springer 2004, ISBN 3-540-21199-3
Contents

2959

Rick Kazman, Daniel Port (Eds.): COTS-Based Software Systems, Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings. Springer 2004, ISBN 3-540-21903-X
Contents

2960

Peter D. Mosses: CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science Vol. 2960 Springer 2004, ISBN 3-540-21301-5
Contents

2961

Peter W. Eklund (Ed.): Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings. Springer 2004, ISBN 3-540-21043-1
Contents

2962

Stefano Bistarelli: Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science Vol. 2962 Springer 2004, ISBN 3-540-21181-0
Contents

2963

Richard Sharp: Higher-Level Hardware Synthesis. Lecture Notes in Computer Science Vol. 2963 Springer 2004, ISBN 3-540-21306-6
Contents

2964

Tatsuaki Okamoto (Ed.): Topics in Cryptology - CT-RSA 2004, The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings. Springer 2004, ISBN 3-540-20996-4
Contents

2965

Mariacarla Calzarossa, Erol Gelenbe (Eds.): Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures [from MASCOTS 2003]. Springer 2004, ISBN 3-540-21945-5
Contents

2966

Frank B. Sachse: Computational Cardiology: Modeling of Anatomy, Electrophysiology, and Mechanics. Lecture Notes in Computer Science Vol. 2966 Springer 2004, ISBN 3-540-21907-2
Contents

2967

Sergey Melnik: Generic Model Management: Concepts and Algorithms. Lecture Notes in Computer Science Vol. 2967 Springer 2004, ISBN 3-540-21980-3
Contents

2968

Jing Chen, Seongsoo Hong (Eds.): Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers. Springer 2004, ISBN 3-540-21974-9
Contents

2969

Matthias Nickles, Michael Rovatsos, Gerhard Weiß (Eds.): Agents and Computational Autonomy - Potential, Risks, and Solutions - Postproceedings of the 1st International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003), held at the 2nd International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2003), July 14, 2003, Melbourne, Australia. Springer 2004, ISBN 3-540-22477-7
Contents

2970

F. Fernández Rivera, Marian Bubak, A. Gómez Tato, Ramon Doallo (Eds.): Grid Computing, First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers. Springer 2004, ISBN 3-540-21048-2
Contents

2971

Jong In Lim, Dong Hoon Lee (Eds.): Information Security and Cryptology - ICISC 2003, 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers. Springer 2004, ISBN 3-540-21376-7
Contents

2972

Raul Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela (Eds.): MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings. Springer 2004, ISBN 3-540-21459-3
Contents

2973

Yoon-Joon Lee, Jianzhong Li, Kyu-Young Whang, Doheon Lee (Eds.): Database Systems for Advances Applications, 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2004, Proceedings. Springer 2004, ISBN 3-540-21047-4
Contents

2974

...

2975

Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (Eds.): Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Springer 2004, ISBN 3-540-21989-7
Contents

2976

Martin Farach-Colton (Ed.): LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings. Springer 2004, ISBN 3-540-21258-2
Contents

2977

Giovanna Di Marzo Serugendo, Anthony Karageorgos, Omer F. Rana, Franco Zambonelli (Eds.): Engineering Self-Organising Systems, Nature-Inspired Approaches to Software Engineering [revised and extended papers presented at the Engineering Self-Organising Applications Workshop, ESOA 2003, held at AAMAS 2003 in Melbourne, Australia, in July 2003 and selected invited papers from leading researchers in self-organisation]. Springer 2004, ISBN 3-540-21201-9
Contents

2978

Roland Groz, Robert M. Hierons (Eds.): Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings. Springer 2004, ISBN 3-540-21219-1
Contents

2979

Ion Stoica: Stateless Core: A Scalable Approach for Quality of Service in the Internet, Winning Thesis of the 2001 ACM Doctoral Dissertation Competition. Lecture Notes in Computer Science Vol. 2979 Springer 2004, ISBN 3-540-21960-9
Contents

2980

Alan F. Blackwell, Kim Marriott, Atsushi Shimojima (Eds.): Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Springer 2004, ISBN 3-540-21268-X
Contents

2981

Christian Müller-Schloer, Theo Ungerer, Bernhard Bauer (Eds.): Organic and Pervasive Computing - ARCS 2004, International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings. Springer 2004, ISBN 3-540-21238-8
Contents

2982

Naoki Wakamiya, Marcin Solarski, James P. G. Sterbenz (Eds.): Active Networks, IFIP TC6 5th International Workshop, IWAN 2003, Kyoto, Japan, December 10-12, 2003, Revised Papers. Springer 2004, ISBN 3-540-21250-7
Contents

2983

Sorin Istrail, Michael S. Waterman, Andrew G. Clark (Eds.): Computational Methods for SNPs and Haplotype Inference, DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers. Springer 2004, ISBN 3-540-21249-3
Contents

2984

Michel Wermelinger, Tiziana Margaria (Eds.): Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings. Springer 2004, ISBN 3-540-21305-8
Contents

2985

Evelyn Duesterwald (Ed.): Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004, ISBN 3-540-21297-3
Contents

2986

David A. Schmidt (Ed.): Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004, ISBN 3-540-21313-9
Contents

2987

Igor Walukiewicz (Ed.): Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004, ISBN 3-540-21298-1
Contents

2988

Kurt Jensen, Andreas Podelski (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004, ISBN 3-540-21299-X
Contents

2989

Susanne Graf, Laurent Mounier (Eds.): Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Springer 2004, ISBN 3-540-21314-7
Contents

2990

João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Springer 2004, ISBN 3-540-22124-7
Contents

2991

René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (Eds.): Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Springer 2004, ISBN 3-540-21260-4
Contents

2992

Elisa Bertino, Stavros Christodoulakis, Dimitris Plexousakis, Vassilis Christophides, Manolis Koubarakis, Klemens Böhm, Elena Ferrari (Eds.): Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004, Proceedings. Springer 2004, ISBN 3-540-21200-0
Contents

2993

Rajeev Alur, George J. Pappas (Eds.): Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Springer 2004, ISBN 3-540-21259-0
Contents

2994

Erhard Rahm (Ed.): Data Integration in the Life Sciences, First International Workshop, DILS 2004, Leipzig, Germany, March 25-26, 2004, Proceedings. Springer 2004, ISBN 3-540-21300-7
Contents

2995

Christian Damsgaard Jensen, Stefan Poslad, Theodosis Dimitrakos (Eds.): Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings. Springer 2004, ISBN 3-540-21312-0
Contents

2996

Volker Diekert, Michel Habib (Eds.): STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Springer 2004, ISBN 3-540-21236-1
Contents

2997

Sharon McDonald, John Tait (Eds.): Advances in Information Retrieval, 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings. Springer 2004, ISBN 3-540-21382-1
Contents

2998

Yukiyoshi Kameyama, Peter J. Stuckey (Eds.): Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Springer 2004, ISBN 3-540-21402-X
Contents

2999

Eerke A. Boiten, John Derrick, Graeme Smith (Eds.): Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Springer 2004, ISBN 3-540-21377-5
Contents