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

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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
2956
Andreas Dengel, Markus Junker, Anette Weisbecker (Eds.): Reading and Learning, Adaptive Content Recognition. Springer 2004, ISBN 3-540-21904-8
Contents BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
2963
Richard Sharp: Higher-Level Hardware Synthesis. Lecture Notes in Computer Science Vol. 2963 Springer 2004, ISBN 3-540-21306-6
Contents BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
2967
Sergey Melnik: Generic Model Management: Concepts and Algorithms. Lecture Notes in Computer Science Vol. 2967 Springer 2004, ISBN 3-540-21980-3
Contents BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX

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