![dblp.uni-trier.de](../Logo.gif) |
![www.uni-trier.de](../logo_universitaet-trier.gif) |
- 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
Copyright © Fri Mar 12 17:34:38 2010
by Michael Ley (ley@uni-trier.de)