Lecture Notes in Computer Science (LNCS), Volumes 2800-2899

2800

Stefano Spaccapietra, Salvatore T. March, Karl Aberer (Eds.): Journal on Data Semantics I. Springer 2003, ISBN 3-540-20407-5
Contents

2801

Wolfgang Banzhaf, Thomas Christaller, Peter Dittrich, Jan T. Kim, Jens Ziegler (Eds.): Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings. Springer 2003, ISBN 3-540-20057-6
Contents

2802

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.): Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers. Springer 2004, ISBN 3-540-20887-9
Contents

2803

Matthias Baaz, Johann A. Makowsky (Eds.): Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings. Springer 2003, ISBN 3-540-40801-0
Contents

2804

Marco Bernardo, Paola Inverardi (Eds.): Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Springer 2003, ISBN 3-540-20083-5
Contents

2805

Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.): FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Springer 2003, ISBN 3-540-40828-2
Contents

2806

Jesús Favela, Dominique Decouchant (Eds.): Groupware: Design, Implementation, and Use, 9th International Workshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003, Proceedings. Springer 2003, ISBN 3-540-20117-3
Contents

2807

Václav Matousek, Pavel Mautner (Eds.): Text, Speech and Dialogue, 6th International Conference, TSD 2003, Ceské Budejovice, Czech Republic, September 8-12, 2003, Proceedings. Springer 2003, ISBN 3-540-20024-X
Contents

2808

Einar Snekkenes, Dieter Gollmann (Eds.): Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings. Springer 2003, ISBN 3-540-20300-1
Contents

2809

Roberto Moreno-Díaz, Franz Pichler (Eds.): Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers. Springer 2003, ISBN 3-540-20221-8
Contents

2810

Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt (Eds.): Advances in Intelligent Data Analysis V, 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings. Springer 2003, ISBN 3-540-40813-4
Contents

2811

Gunnar Karlsson, Mikhail I. Smirnov (Eds.): Quality for All, 4th COST 263 International Workshop on Quality of Future, Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003, Proceedings. Springer 2003, ISBN 3-540-20192-0
Contents

2812

Gary Benson, Roderic D. M. Page (Eds.): Algorithms in Bioinformatics, Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings. Springer 2003, ISBN 3-540-20076-2
Contents

2813

Il-Yeol Song, Stephen W. Liddle, Tok Wang Ling, Peter Scheuermann (Eds.): Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings. Springer 2003, ISBN 3-540-20299-4
Contents

2814

Manfred A. Jeusfeld, Oscar Pastor (Eds.): Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings. Springer 2003, ISBN 3-540-20257-9
Contents

2815

Yehuda Lindell: Composition of Secure Multi-Party Protocols, A Comprehensive Study. Lecture Notes in Computer Science Vol. 2815 Springer 2003, ISBN 3-540-20105-X
Contents

2816

Burkhard Stiller, Georg Carle, Martin Karsten, Peter Reichl (Eds.): Group Communications and Charges; Technology and Business Models, 5th COST264 International Workshop on Networked Group Communications, NGC 2003, and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003, Proceedings. Springer 2003, ISBN 3-540-20051-7
Contents

2817

Dimitri Konstantas, Michel Léonard, Yves Pigneur, Shushma Patel (Eds.): Object-Oriented Information Systems, 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings. Springer 2003, ISBN 3-540-40860-6
Contents

2818

Henk M. Blanken, Torsten Grabs, Hans-Jörg Schek, Ralf Schenkel, Gerhard Weikum (Eds.): Intelligent Search on XML Data, Applications, Languages, Models, Implementations, and Benchmarks. Springer 2003, ISBN 3-540-40768-5
Contents

2819

Boualem Benatallah, Ming-Chien Shan (Eds.): Technologies for E-Services, 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings. Springer 2003, ISBN 3-540-20052-5
Contents

2820

Giovanni Vigna, Erland Jonsson, Christopher Krügel (Eds.): Recent Advances in Intrusion Detection, 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003, Proceedings. Springer 2003, ISBN 3-540-40878-9
Contents

2821

Andreas Günter, Rudolf Kruse, Bernd Neumann (Eds.): KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings. Springer 2003, ISBN 3-540-20059-2
Contents

2822

Nadia Bianchi-Berthouze (Ed.): Databases in Networked Information Systems, Third International Workshop, DNIS 2003, Aizu, Japan, September 22-24, 2003, Proceedings. Springer 2003, ISBN 3-540-20111-4
Contents

2823

Amos Omondi, Stanislav Sedukhin (Eds.): Advances in Computer Systems Architecture, 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20122-X
Contents

2824

Zohra Bellahsene, Akmal B. Chaudhri, Erhard Rahm, Michael Rys, Rainer Unland (Eds.): Database and XML Technologies, First International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003, Proceedings. Springer 2003, ISBN 3-540-20055-X
Contents

2825

Werner Kuhn, Michael F. Worboys, Sabine Timpf (Eds.): Spatial Information Theory. Foundations of Geographic Information Science, International Conference, COSIT 2003, Ittingen, Switzerland, September 24-28, 2003, Proceedings. Springer 2003, ISBN 3-540-20148-3
Contents

2826

Andreas Krall (Ed.): Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20145-9
Contents

2827

Andreas Alexander Albrecht, Kathleen Steinhöfel (Eds.): Stochastic Algorithms: Foundations and Applications, Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings. Springer 2003, ISBN 3-540-20103-3
Contents

2828

Antonio Lioy, Daniele Mazzocchi (Eds.): Communications and Multimedia Security - Advanced Techniques for Network and Data Protection, 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings. Springer 2003, ISBN 3-540-20185-8
Contents

2829

Amedeo Cappelli, Franco Turini (Eds.): AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20119-X
Contents

2830

Frank Pfenning, Yannis Smaragdakis (Eds.): Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings. Springer 2003, ISBN 3-540-20102-5
Contents

2831

Michael Schillo, Matthias Klusch, Jörg P. Müller, Huaglory Tianfield (Eds.): Multiagent System Technologies, First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings. Springer 2003, ISBN 3-540-20124-6
Contents

2832

Giuseppe Di Battista, Uri Zwick (Eds.): Algorithms - ESA 2003, 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings. Springer 2003, ISBN 3-540-20064-9
Contents

2833

Francesca Rossi (Ed.): Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings. Springer 2003, ISBN 3-540-20202-1
Contents

2834

Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao (Eds.): Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings. Springer 2003, ISBN 3-540-20054-1
Contents

2835

Tamás Horváth (Ed.): Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings. Springer 2003, ISBN 3-540-20144-0
Contents

2836

Sihan Qing, Dieter Gollmann, Jianying Zhou (Eds.): Information and Communications Security, 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003, Proceedings. Springer 2003, ISBN 3-540-20150-5
Contents

2837

Nada Lavrac, Dragan Gamberger, Ljupco Todorovski, Hendrik Blockeel (Eds.): Machine Learning: ECML 2003, 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20121-1
Contents

2838

Nada Lavrac, Dragan Gamberger, Hendrik Blockeel, Ljupco Todorovski (Eds.): Knowledge Discovery in Databases: PKDD 2003, 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20085-1
Contents

2839

Alan Marshall, Nazim Agoulmine (Eds.): Management of Multimedia Networks and Services, 6th IFIP/IEEE International Conference, MMNS 2003, Belfast, Northern Ireland, UK, September 7-10, 2003, Proceedings. Springer 2003, ISBN 3-540-20050-9
Contents

2840

Jack Dongarra, Domenico Laforenza, Salvatore Orlando (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings. Springer 2003, ISBN 3-540-20149-1
Contents

2841

Carlo Blundo, Cosimo Laneve (Eds.): Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Springer 2003, ISBN 3-540-20216-1
Contents

2842

Ricard Gavaldà, Klaus P. Jantke, Eiji Takimoto (Eds.): Algorithmic Learning Theory, 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings. Springer 2003, ISBN 3-540-20291-9
Contents

2843

Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto (Eds.): Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings. Springer 2003, ISBN 3-540-20293-5
Contents

2844

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (Eds.): Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Springer 2003, ISBN 3-540-20159-9
Contents

2845

Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe (Eds.): Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers. Springer 2004, ISBN 3-540-20830-5
Contents

2846

Jianying Zhou, Moti Yung, Yongfei Han (Eds.): Applied Cryptography and Network Security, First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings. Springer 2003, ISBN 3-540-20208-0
Contents

2847

Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (Eds.): Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Springer 2003, ISBN 3-540-20224-2
Contents

2848

Faith Ellen Fich (Ed.): Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings. Springer 2003, ISBN 3-540-20184-X
Contents

2849

Narciso N. García, José María Martínez Sanchez, Luis Salgado (Eds.): Visual Content Processing and Representation, 8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003, Proceedings. Springer 2003, ISBN 3-540-20081-9
Contents

2850

Moshe Y. Vardi, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20101-7
Contents

2851

Colin Boyd, Wenbo Mao (Eds.): Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings. Springer 2003, ISBN 3-540-20176-9
Contents

2852

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Springer 2003, ISBN 3-540-20303-6
Contents

2853

Mario Jeckle, Liang-Jie Zhang (Eds.): Web Services - ICWS-Europe 2003, International Conference ICWS-Europe 2003, Erfurt, Germany, September 23-24, 2003, Proceedings. Springer 2003, ISBN 3-540-20125-4
Contents

2854

Jörg Hoffmann: Utilizing Problem Structure in Planning, A Local Search Approach. Lecture Notes in Computer Science Vol. 2854 Springer 2003, ISBN 3-540-20259-5
Contents

2855

Rajeev Alur, Insup Lee (Eds.): Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings. Springer 2003, ISBN 3-540-20223-4
Contents

2856

Michael Smirnov, Ernst W. Biersack, Chris Blondia, Olivier Bonaventure, Olga Casals, Gunnar Karlsson, George Pavlou, Bruno Quoitin, James Roberts, Ioannis Stavrakakis, Burkhard Stiller, Panos Trimintzios, Piet Van Mieghem (Eds.): Quality of Future Internet Services, COST Action 263 Final Report. Springer 2003, ISBN 3-540-20193-9
Contents

2857

Mario A. Nascimento, Edleno Silva de Moura, Arlindo L. Oliveira (Eds.): String Processing and Information Retrieval, 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings. Springer 2003, ISBN 3-540-20177-7
Contents

2858

Alexander V. Veidenbaum, Kazuki Joe, Hideharu Amano, Hideo Aiso (Eds.): High Performance Computing, 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings. Springer 2003, ISBN 3-540-20359-1
Contents

2859

Bruno Apolloni, Maria Marinaro, Roberto Tagliaferri (Eds.): Neural Nets, 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003, Revised Papers. Springer 2003, ISBN 3-540-20227-7
Contents

2860

Daniel Geist, Enrico Tronci (Eds.): Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings. Springer 2003, ISBN 3-540-20363-X
Contents

2861

Christian Bliek, Christophe Jermann, Arnold Neumaier (Eds.): Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers. Springer 2003, ISBN 3-540-20463-6
Contents

2862

Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn (Eds.): Job Scheduling Strategies for Parallel Processing, 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers. Springer 2003, ISBN 3-540-20405-9
Contents

2863

Perdita Stevens, Jon Whittle, Grady Booch (Eds.): «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Springer 2003, ISBN 3-540-20243-9
Contents

2864

Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy (Eds.): UbiComp 2003: Ubiquitous Computing, 5th International Conference, Seattle, WA, USA, October 12-15, 2003, Proceedings. Springer 2003, ISBN 3-540-20301-X
Contents

2865

Samuel Pierre, Michel Barbeau, Evangelos Kranakis (Eds.): Ad-Hoc, Mobile, and Wireless Networks, Second International Conference, ADHOC-NOW 2003 Montreal, Canada, October 8-10, 2003, Proceedings. Springer 2003, ISBN 3-540-20260-9
Contents

2866

Jin Akiyama, Mikio Kano (Eds.): Discrete and Computational Geometry, Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers. Springer 2003, ISBN 3-540-20776-7
Contents

2867

Marcus Brunner, Alexander Keller (Eds.): Self-Managing Distributed Systems, 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings. Springer 2003, ISBN 3-540-20314-1
Contents

2868

Petra Perner, Rüdiger W. Brause, Hermann-Georg Holzhütter (Eds.): Medical Data Analysis, 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003, Proceedings. Springer 2003, ISBN 3-540-20282-X
Contents

2869

Adnan Yazici, Cevat Sener (Eds.): Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings. Springer 2003, ISBN 3-540-20409-1
Contents

2870

Dieter Fensel, Katia P. Sycara, John Mylopoulos (Eds.): The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings. Springer 2003, ISBN 3-540-20362-1
Contents

2871

Ning Zhong, Zbigniew W. Ras, Shusaku Tsumoto, Einoshin Suzuki (Eds.): Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings. Springer 2003, ISBN 3-540-20256-0
Contents

2872

Gianluca Moro, Claudio Sartori, Munindar P. Singh (Eds.): Agents and Peer-to-Peer Computing, Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers. Springer 2004, ISBN 3-540-24053-5
Contents

2873

Jonathan Lawry, James G. Shanahan, Anca L. Ralescu (Eds.): Modelling with Words - Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework. Springer 2003, ISBN 3-540-20487-3
Contents

2874

Corrado Priami (Ed.): Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers. Springer 2003, ISBN 3-540-20583-7
Contents

2875

Emile H. L. Aarts, René Collier, Evert van Loenen, Boris E. R. de Ruyter (Eds.): Ambient Intelligence, First European Symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3.-4, 2003, Proceedings. Springer 2003, ISBN 3-540-20418-0
Contents

2876

Michael Schroeder, Gerd Wagner (Eds.): Rules and Rule Markup Languages for the Semantic Web, Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings. Springer 2003, ISBN 3-540-20361-3
Contents

2877

Thomas Böhme, Gerhard Heyer, Herwig Unger (Eds.): Innovative Internet Community Systems, Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003, Revised Papers. Springer 2003, ISBN 3-540-20436-9
Contents

2878

Randy E. Ellis, Terry M. Peters (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part I. Springer 2003, ISBN 3-540-20462-8
Contents

2879

Randy E. Ellis, Terry M. Peters (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II. Springer 2003, ISBN 3-540-20464-4
Contents

2880

Hans L. Bodlaender (Ed.): Graph-Theoretic Concepts in Computer Science, 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers. Springer 2003, ISBN 3-540-20452-0
Contents

2881

Eric Horlait, Thomas Magedanz, Roch H. Glitho (Eds.): Mobile Agents for Telecommunication Applications, 5th International Workshop, MATA 2003, Marakech, Morocco, October 8-10, 2003, Proceedings. Springer 2003, ISBN 3-540-20298-6
Contents

2882

Daniel Veit: Matchmaking in Electronic Markets - An Agent-Based Approach towards Matchmaking in Electronic Negotiations. Lecture Notes in Computer Science Vol. 2882 Springer 2003, ISBN 3-540-20500-4
Contents

2883

Jonathan Schaeffer, Martin Müller, Yngvi Björnsson (Eds.): Computers and Games, Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers. Springer 2003, ISBN 3-540-20545-4
Contents

2884

Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Springer 2003, ISBN 3-540-20491-1
Contents

2885

Jin Song Dong, Jim Woodcock (Eds.): Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Springer 2003, ISBN 3-540-20461-X
Contents

2886

Ingela Nyström, Gabriella Sanniti di Baja, Stina Svensson (Eds.): Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings. Springer 2003, ISBN 3-540-20499-7
Contents

2887

Thomas Johansson (Ed.): Fast Software Encryption, 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003, Revised Papers. Springer 2003, ISBN 3-540-20449-0
Contents

2888

Robert Meersman, Zahir Tari, Douglas C. Schmidt (Eds.): On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003. Springer 2003, ISBN 3-540-20498-9
Contents

2889

Robert Meersman, Zahir Tari (Eds.): On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings. Springer 2003, ISBN 3-540-20494-6
Contents

2890

Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Springer 2003, ISBN 3-540-20813-5
Contents

2891

Jaeho Lee, Mike Barley (Eds.): Intelligent Agents and Multi-Agent Systems, 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings. Springer 2003, ISBN 3-540-20460-1
Contents

2892

Frithjof Dau: The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic. Lecture Notes in Computer Science Vol. 2892 Springer 2003, ISBN 3-540-20607-8
Contents

2893

Jean-Bernard Stefani, Isabelle M. Demeure, Daniel Hagimont (Eds.): Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings. Springer 2003, ISBN 3-540-20529-2
Contents

2894

Chi-Sung Laih (Ed.): Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings. Springer 2003, ISBN 3-540-20592-6
Contents

2895

Atsushi Ohori (Ed.): Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings. Springer 2003, ISBN 3-540-20536-5
Contents

2896

Vijay A. Saraswat (Ed.): Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Springer 2003, ISBN 3-540-20632-9
Contents

2897

Olivier Balet, Gérard Subsol, Patrice Torguet (Eds.): Virtual Storytelling; Using Virtual Reality Technologies for Storytelling, Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003, Proceedings. Springer 2003, ISBN 3-540-20535-7
Contents

2898

Kenneth G. Paterson (Ed.): Cryptography and Coding, 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings. Springer 2003, ISBN 3-540-20663-9
Contents

2899

Giorgio Ventre, Roberto Canonico (Eds.): Interactive Multimedia on Next Generation Networks, First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings. Springer 2003, ISBN 3-540-20534-9
Contents