default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 2900-2999
2900Michel Bidoit, Peter D. Mosses
:
Casl User Manual - Introduction to Using the Common Algebraic Specification Language. Lecture Notes in Computer Science 2900, Springer 2004, ISBN 3-540-20766-X- 2901François Bry, Nicola Henze, Jan Maluszynski:
Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings. Lecture Notes in Computer Science 2901, Springer 2003, ISBN 3-540-20582-9 [contents] - 2902Fernando Moura-Pires, Salvador Abreu:
Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings. Lecture Notes in Computer Science 2902, Springer 2003, ISBN 3-540-20589-6 [contents] - 2903Tamás D. Gedeon, Lance Chun Che Fung:
AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2903, Springer 2003, ISBN 3-540-20646-9 [contents] - 2904Thomas Johansson, Subhamoy Maitra:
Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings. Lecture Notes in Computer Science 2904, Springer 2003, ISBN 3-540-20609-4 [contents] - 2905Alberto Sanfeliu, José Ruiz-Shulcloper:
Progress in Pattern Recognition, Speech and Image Analysis, 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003, Proceedings. Lecture Notes in Computer Science 2905, Springer 2003, ISBN 3-540-20590-X [contents] - 2906Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono:
Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings. Lecture Notes in Computer Science 2906, Springer 2003, ISBN 3-540-20695-7 [contents] - 2907Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, Plamen Y. Yalamov:
Large-Scale Scientific Computing, 4th International Conference, LSSC 2003, Sozopal, Bulgaria, June 4-8, 2003, Revised Papers. Lecture Notes in Computer Science 2907, Springer 2004, ISBN 3-540-21090-3 [contents] - 2908Kijoon Chae, Moti Yung:
Information Security Applications, 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers. Lecture Notes in Computer Science 2908, Springer 2004, ISBN 3-540-20827-5 [contents] - 2909Klaus Jansen, Roberto Solis-Oba:
Approximation and Online Algorithms, First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers. Lecture Notes in Computer Science 2909, Springer 2004, ISBN 3-540-21079-2 [contents] - 2910Maria E. Orlowska, Sanjiva Weerawarana, Mike P. Papazoglou, Jian Yang:
Service-Oriented Computing - ICSOC 2003, First International Conference, Trento, Italy, December 15-18, 2003, Proceedings. Lecture Notes in Computer Science 2910, Springer 2003, ISBN 3-540-20681-7 [contents] - 2911Tengku M. T. Sembok, Halimah Badioze Zaman, Hsinchun Chen, Shalini R. Urs, Sung-Hyon Myaeng:
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. Lecture Notes in Computer Science 2911, Springer 2003, ISBN 3-540-20608-6 [contents] - 2912Giuseppe Liotta:
Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers. Lecture Notes in Computer Science 2912, Springer 2004, ISBN 3-540-20831-3 [contents] - 2913Timothy Mark Pinkston, Viktor K. Prasanna:
High Performance Computing - HiPC 2003, 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings. Lecture Notes in Computer Science 2913, Springer 2003, ISBN 3-540-20626-4 [contents] - 2914Paritosh K. Pandya, Jaikumar Radhakrishnan:
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings. Lecture Notes in Computer Science 2914, Springer 2003, ISBN 3-540-20680-9 [contents] - 2915Antonio Camurri, Gualtiero Volpe:
Gesture-Based Communication in Human-Computer Interaction, 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers. Lecture Notes in Computer Science 2915, Springer 2004, ISBN 3-540-21072-5 [contents] - 2916Catuscia Palamidessi:
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Lecture Notes in Computer Science 2916, Springer 2003, ISBN 3-540-20642-6 [contents] - 2917Elisa Quintarelli:
Model-Checking Based Data Retrieval, An Application to Semistructured and Temporal Data. Lecture Notes in Computer Science 2917, Springer 2004, ISBN 3-540-20971-9 - 2918Samir R. Das, Sajal K. Das:
Distributed Computing - IWDC 2003, 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings. Lecture Notes in Computer Science 2918, Springer 2003, ISBN 3-540-20745-7 [contents] - 2919Enrico Giunchiglia, Armando Tacchella:
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science 2919, Springer 2004, ISBN 3-540-20851-8 [contents] - 2920Holger Karl, Andreas Willig, Adam Wolisz:
Wireless Sensor Networks, First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings. Lecture Notes in Computer Science 2920, Springer 2004, ISBN 3-540-20825-9 [contents] - 2921Georg Lausen, Dan Suciu:
Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers. Lecture Notes in Computer Science 2921, Springer 2004, ISBN 3-540-20896-8 [contents] - 2922Frank Dignum:
Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Lecture Notes in Computer Science 2922, Springer 2004, ISBN 3-540-20769-4 [contents] - 2923Vladimir Lifschitz, Ilkka Niemelä:
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Lecture Notes in Computer Science 2923, Springer 2004, ISBN 3-540-20721-X [contents] - 2924James P. Callan, Fabio Crestani, Mark Sanderson:
Distributed Multimedia Information Retrieval, SIGIR 2003 Workshop on Distributed Information Retrieval, Toronto, Canada, August 1, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2924, Springer 2004, ISBN 3-540-20875-5 [contents] - 2925Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle:
Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0 [contents] - 2926Ludger van Elst, Virginia Dignum, Andreas Abecker:
Agent Mediated Knowledge Management, International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2926, Springer 2004, ISBN 3-540-20868-2 [contents] - 2927David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier:
Multi-Agent-Based Simulation III, 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers. Lecture Notes in Computer Science 2927, Springer 2003, ISBN 3-540-20736-8 [contents] - 2928Roberto Battiti, Marco Conti, Renato Lo Cigno:
Wireless On-Demand Network Systems, First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings. Lecture Notes in Computer Science 2928, Springer 2004, ISBN 3-540-20790-2 [contents] - 2929Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers. Lecture Notes in Computer Science 2929, Springer 2003, ISBN 3-540-20780-5 [contents] - 2930Franz Winkler:
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Lecture Notes in Computer Science 2930, Springer 2004, ISBN 3-540-20927-1 [contents] - 2931Alexandre Petrenko, Andreas Ulrich:
Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Lecture Notes in Computer Science 2931, Springer 2004, ISBN 3-540-20894-1 [contents] - 2932Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller:
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. Lecture Notes in Computer Science 2932, Springer 2004, ISBN 3-540-20779-1 [contents] - 2933Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers. Lecture Notes in Computer Science 2933, Springer 2004, ISBN 3-540-20895-X [contents] - 2934Gabriela Lindemann, Daniel Moldt, Mario Paolucci:
Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2934, Springer 2004, ISBN 3-540-20923-9 [contents] - 2935Paolo Giorgini, Jörg P. Müller, James Odell:
Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers. Lecture Notes in Computer Science 2935, Springer 2003, ISBN 3-540-20826-7 [contents] - 2936Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton, Marc Schoenauer:
Artificial Evolution, 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003. Lecture Notes in Computer Science 2936, Springer 2004, ISBN 3-540-21523-9 [contents] - 2937Bernhard Steffen, Giorgio Levi:
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science 2937, Springer 2004, ISBN 3-540-20803-8 [contents] - 2938Zili Zhang, Chengqi Zhang:
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving. Lecture Notes in Computer Science 2938, Springer 2004, ISBN 3-540-20908-5 - 2939Ton Kalker, Ingemar J. Cox, Yong Man Ro:
Digital Watermarking, Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers. Lecture Notes in Computer Science 2939, Springer 2004, ISBN 3-540-21061-X [contents] - 2940Carlos José Pereira de Lucena, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar:
Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003]. Lecture Notes in Computer Science 2940, Springer 2004, ISBN 3-540-21182-9 [contents] - 2941Martin Wirsing, Alexander Knapp, Simonetta Balsamo:
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, ISBN 3-540-21179-9 [contents] - 2942Dietmar Seipel, Jose Maria Turull Torres:
Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings. Lecture Notes in Computer Science 2942, Springer 2004, ISBN 3-540-20965-4 [contents] - 2943Junghuei Chen, John H. Reif:
DNA Computing, 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers. Lecture Notes in Computer Science 2943, Springer 2004, ISBN 3-540-20930-1 [contents] - 2944Karl Aberer, Vana Kalogeraki, Manolis Koubarakis:
Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers. Lecture Notes in Computer Science 2944, Springer 2004, ISBN 3-540-20968-9 [contents] - 2945Alexander F. Gelbukh:
Computational Linguistics and Intelligent Text Processing, 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings. Lecture Notes in Computer Science 2945, Springer 2004, ISBN 3-540-21006-7 [contents] - 2946Riccardo Focardi, Roberto Gorrieri:
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Lecture Notes in Computer Science 2946, Springer 2004, ISBN 3-540-20955-7 [contents] - 2947Feng Bao, Robert H. Deng, Jianying Zhou:
Public Key Cryptography - PKC 2004, 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004. Lecture Notes in Computer Science 2947, Springer 2004, ISBN 3-540-21018-0 [contents] - 2948Gary L. Mullen, Alain Poli, Henning Stichtenoth:
Finite Fields and Applications, 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers. Lecture Notes in Computer Science 2948, Springer 2004, ISBN 3-540-21324-4 [contents] - 2949Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith:
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings. Lecture Notes in Computer Science 2949, Springer 2004, ISBN 3-540-21044-X [contents] - 2950Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg:
Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 2950, Springer 2004, ISBN 3-540-20781-3 [contents] - 2951Moni Naor:
Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings. Lecture Notes in Computer Science 2951, Springer 2004, ISBN 3-540-21000-8 [contents] - 2952Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1 [contents] - 2953Karsten Konrad:
Model Generation for Natural Language Interpretation and Analysis. Lecture Notes in Computer Science 2953, Springer 2004, ISBN 3-540-21069-5 - 2954Fabio Crestani, Mark D. Dunlop, Stefano Mizzaro:
Mobile and Ubiquitous Information Access, Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2954, Springer 2004, ISBN 3-540-21003-2 [contents] - 2955Vito Di Gesù, Francesco Masulli, Alfredo Petrosino:
Fuzzy Logic and Applications, 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers. Lecture Notes in Computer Science 2955, Springer 2006, ISBN 3-540-31019-3 [contents] - 2956Andreas Dengel, Markus Junker, Anette Weisbecker:
Reading and Learning, Adaptive Content Recognition. Lecture Notes in Computer Science 2956, Springer 2004, ISBN 3-540-21904-8 [contents] - 2957Peter Langendörfer, Mingyan Liu, Ibrahim Matta, Vassilios Tsaoussidis:
Wired/Wireless Internet Communications, Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings. Lecture Notes in Computer Science 2957, Springer 2004, ISBN 3-540-20954-9 [contents] - 2958Lawrence Rauchwerger:
Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers. Lecture Notes in Computer Science 2958, Springer 2004, ISBN 3-540-21199-3 [contents] - 2959Rick Kazman, Daniel Port:
COTS-Based Software Systems, Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings. Lecture Notes in Computer Science 2959, Springer 2004, ISBN 3-540-21903-X [contents] - 2960Peter D. Mosses:
CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science 2960, Springer 2004, ISBN 3-540-21301-5 - 2961Peter W. Eklund:
Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings. Lecture Notes in Computer Science 2961, Springer 2004, ISBN 3-540-21043-1 [contents] - 2962Stefano Bistarelli:
Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science 2962, Springer 2004, ISBN 3-540-21181-0 - 2963Richard Sharp:
Higher-Level Hardware Synthesis. Lecture Notes in Computer Science 2963, Springer 2004, ISBN 3-540-21306-6 - 2964Tatsuaki Okamoto:
Topics in Cryptology - CT-RSA 2004, The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings. Lecture Notes in Computer Science 2964, Springer 2004, ISBN 3-540-20996-4 [contents] - 2965Mariacarla Calzarossa, Erol Gelenbe:
Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures [from MASCOTS 2003]. Lecture Notes in Computer Science 2965, Springer 2004, ISBN 3-540-21945-5 [contents] - 2966Frank B. Sachse:
Computational Cardiology: Modeling of Anatomy, Electrophysiology, and Mechanics. Lecture Notes in Computer Science 2966, Springer 2004, ISBN 3-540-21907-2 - 2967Sergey Melnik:
Generic Model Management: Concepts and Algorithms. Lecture Notes in Computer Science 2967, Springer 2004, ISBN 3-540-21980-3 - 2968Jing Chen, Seongsoo Hong:
Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers. Lecture Notes in Computer Science 2968, Springer 2004, ISBN 3-540-21974-9 [contents] - 2969Matthias Nickles, Michael Rovatsos, Gerhard Weiß:
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. Lecture Notes in Computer Science 2969, Springer 2004, ISBN 3-540-22477-7 [contents] - 2970Francisco Fernandez Rivera, Marian Bubak, Andrés Gómez-Tato, Ramon Doallo:
Grid Computing, First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers. Lecture Notes in Computer Science 2970, Springer 2004, ISBN 3-540-21048-2 [contents] - 2971Jong In Lim, Dong Hoon Lee:
Information Security and Cryptology - ICISC 2003, 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2971, Springer 2004, ISBN 3-540-21376-7 [contents] - 2972Raúl Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela:
MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings. Lecture Notes in Computer Science 2972, Springer 2004, ISBN 3-540-21459-3 [contents] - 2973Yoon-Joon Lee, Jianzhong Li, Kyu-Young Whang, Doheon Lee:
Database Systems for Advances Applications, 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2004, Proceedings. Lecture Notes in Computer Science 2973, Springer 2004, ISBN 3-540-21047-4 [contents] - 2974(was never published).
- 2975Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich:
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2975, Springer 2004, ISBN 3-540-21989-7 [contents] - 2976Martin Farach-Colton:
LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings. Lecture Notes in Computer Science 2976, Springer 2004, ISBN 3-540-21258-2 [contents] - 2977Giovanna Di Marzo Serugendo, Anthony Karageorgos, Omer F. Rana, Franco Zambonelli:
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]. Lecture Notes in Computer Science 2977, Springer 2004, ISBN 3-540-21201-9 [contents] - 2978Roland Groz, Robert M. Hierons:
Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings. Lecture Notes in Computer Science 2978, Springer 2004, ISBN 3-540-21219-1 [contents] - 2979Ion 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 2979, Springer 2004, ISBN 3-540-21960-9 - 2980Alan F. Blackwell, Kim Marriott, Atsushi Shimojima:
Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Lecture Notes in Computer Science 2980, Springer 2004, ISBN 3-540-21268-X [contents] - 2981Christian Müller-Schloer, Theo Ungerer, Bernhard Bauer:
Organic and Pervasive Computing - ARCS 2004, International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings. Lecture Notes in Computer Science 2981, Springer 2004, ISBN 3-540-21238-8 [contents] - 2982Naoki Wakamiya, Marcin Solarski, James P. G. Sterbenz:
Active Networks, IFIP TC6 5th International Workshop, IWAN 2003, Kyoto, Japan, December 10-12, 2003, Revised Papers. Lecture Notes in Computer Science 2982, Springer 2004, ISBN 3-540-21250-7 [contents] - 2983Sorin Istrail, Michael S. Waterman, Andrew G. Clark:
Computational Methods for SNPs and Haplotype Inference, DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers. Lecture Notes in Computer Science 2983, Springer 2004, ISBN 3-540-21249-3 [contents] - 2984Michel Wermelinger, Tiziana Margaria:
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. Lecture Notes in Computer Science 2984, Springer 2004, ISBN 3-540-21305-8 [contents] - 2985Evelyn Duesterwald:
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. Lecture Notes in Computer Science 2985, Springer 2004, ISBN 3-540-21297-3 [contents] - 2986David A. Schmidt:
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. Lecture Notes in Computer Science 2986, Springer 2004, ISBN 3-540-21313-9 [contents] - 2987Igor Walukiewicz:
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. Lecture Notes in Computer Science 2987, Springer 2004, ISBN 3-540-21298-1 [contents] - 2988Kurt Jensen, Andreas Podelski:
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. Lecture Notes in Computer Science 2988, Springer 2004, ISBN 3-540-21299-X [contents] - 2989Susanne Graf, Laurent Mounier:
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989, Springer 2004, ISBN 3-540-21314-7 [contents] - 2990João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni:
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7 [contents] - 2991René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther:
Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Lecture Notes in Computer Science 2991, Springer 2004, ISBN 3-540-21260-4 [contents] - 2992Elisa Bertino, Stavros Christodoulakis, Dimitris Plexousakis, Vassilis Christophides, Manolis Koubarakis, Klemens Böhm, Elena Ferrari:
Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004, Proceedings. Lecture Notes in Computer Science 2992, Springer 2004, ISBN 3-540-21200-0 [contents] - 2993Rajeev Alur, George J. Pappas:
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2993, Springer 2004, ISBN 3-540-21259-0 [contents] - 2994Erhard Rahm:
Data Integration in the Life Sciences, First International Workshop, DILS 2004, Leipzig, Germany, March 25-26, 2004, Proceedings. Lecture Notes in Computer Science 2994, Springer 2004, ISBN 3-540-21300-7 [contents] - 2995Christian Damsgaard Jensen, Stefan Poslad, Theodosis Dimitrakos:
Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings. Lecture Notes in Computer Science 2995, Springer 2004, ISBN 3-540-21312-0 [contents] - 2996Volker Diekert, Michel Habib:
STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2996, Springer 2004, ISBN 3-540-21236-1 [contents] - 2997Sharon McDonald, John Tait:
Advances in Information Retrieval, 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings. Lecture Notes in Computer Science 2997, Springer 2004, ISBN 3-540-21382-1 [contents] - 2998Yukiyoshi Kameyama, Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, ISBN 3-540-21402-X [contents] - 2999Eerke A. Boiten, John Derrick, Graeme Smith:
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, ISBN 3-540-21377-5 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-10 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
