Berlin, Heidelberg, Springer Berlin Heidelberg, 2003
Resource Information
The event Berlin, Heidelberg, Springer Berlin Heidelberg, 2003 represents a publication, printing, distribution, issue, release or production of resources found in Boston University Libraries.
The Resource
Berlin, Heidelberg, Springer Berlin Heidelberg, 2003
Resource Information
The event Berlin, Heidelberg, Springer Berlin Heidelberg, 2003 represents a publication, printing, distribution, issue, release or production of resources found in Boston University Libraries.
- Label
- Berlin, Heidelberg, Springer Berlin Heidelberg, 2003
- Provider date
- 2003
100+ Items that share the ProviderEvent Berlin, Heidelberg, Springer Berlin Heidelberg, 2003
Context
Context of Berlin, Heidelberg, Springer Berlin Heidelberg, 2003Publication of
- A Primer in Density Functional Theory, edited by Carlos Fiolhais, Fernando Nogueira, Miguel A. L. Marques, (electronic resource)
- AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003. Proceedings, edited by Tamás (Tom) Domonkos Gedeon, Lance Chun Che Fung, (electronic resource)
- AI*IA 2003: Advances in Artificial Intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings, edited by Amedeo Cappelli, Franco Turini, (electronic resource)
- Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings, edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene, (electronic resource)
- Active Fault Tolerant Control Systems : Stochastic Analysis and Synthesis, by Mufeed M. Mahmoud, Jin Jiang, Youmin Zhang, (electronic resource)
- Ad-Hoc, Mobile, and Wireless Networks : Second International Conference, ADHOC-NOW2003, Montreal, Canada, October 8-10, 2003. Proceedings, edited by Samuel Pierre, Michel Barbeau, Evangelos Kranakis, (electronic resource)
- Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning, edited by Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov, (electronic resource)
- Adiabatic Perturbation Theory in Quantum Dynamics, by Stefan Teufel, (electronic resource)
- Advanced Conceptual Modeling Techniques : ER 2002 Workshops, ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002. Revised Papers, edited by Antoni Olivé, Masatoshi Yoshikawa, Eric S. K. Yu, (electronic resource)
- Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures, edited by Johan Jeuring, Simon L. Peyton Jones, (electronic resource)
- Advanced Information Systems Engineering : 15th International Conference, CAiSE 2003 Klagenfurt/Velden, Austria, June 16–20, 2003 Proceedings, edited by Johann Eder, Michele Missikoff, (electronic resource)
- Advanced Lectures on Machine Learning : Machine Learning Summer School 2002 Canberra, Australia, February 11–22, 2002 Revised Lectures, edited by Shahar Mendelson, Alexander J. Smola, (electronic resource)
- Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings, edited by Xingming Zhou, Ming Xu, Stefan Jähnichen, Jiannong Cao, (electronic resource)
- Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization, edited by Thomas Fahringer, Bernhard Scholz, (electronic resource)
- Advances in Artificial Intelligence : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11–13, 2003, Proceedings, edited by Yang Xiang, Brahim Chaib-draa, (electronic resource)
- Advances in Artificial Life : 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003. Proceedings, edited by Wolfgang Banzhaf, Jens Ziegler, Thomas Christaller, Peter Dittrich, Jan T. Kim, (electronic resource)
- Advances in Computer Systems Architecture : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003. Proceedings, edited by Amos Omondi, Stanislav Sedukhin, (electronic resource)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings, edited by Vijay A. Saraswat, (electronic resource)
- Advances in Cross-Language Information Retrieval : Third Workshop of the Cross-Language Evaluation Forum, CLEF 2002, Rome, Italy, September 2002. Revised Papers, edited by Carol Peters, Martin Braschler, Julio Gonzalo, (electronic resource)
- 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, edited by Chi-Sung Laih, (electronic resource)
- Advances in Cryptology - CRYPTO 2003 : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings, edited by Dan Boneh, (electronic resource)
- Advances in Cryptology — EUROCRYPT 2003 : International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4–8, 2003 Proceedings, edited by Eli Biham, (electronic resource)
- Advances in Databases and Information Systems : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003. Proceedings, edited by Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka, (electronic resource)
- Advances in Informatics : 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8–10, 2001 Revised Selected Papers, edited by Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas, (electronic resource)
- Advances in Information Retrieval : 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14–16, 2003. Proceedings, edited by Fabrizio Sebastiani, (electronic resource)
- Advances in Intelligent Data Analysis V : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003. Proceedings, edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt, (electronic resource)
- Advances in Knowledge Discovery and Data Mining : 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 – May 2, 2003 Proceedings, edited by Kyu-Young Whang, Jongwoo Jeon, Kyuseok Shim, Jaideep Srivastava, (electronic resource)
- Advances in Learning Software Organizations : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002. Revised Papers, edited by Scott Henninger, Frank Maurer, (electronic resource)
- Advances in Solid State Physics, edited by Bernhard Kramer, (electronic resource)
- Advances in Spatial and Temporal Databases : 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 2003. Proceedings, edited by Thanasis Hadzilacos, Yannis Manolopoulos, John Roddick, Yannis Theodoridis, (electronic resource)
- Advances in Web Intelligence : First International AtlanticWeb Intelligence Conference, AWIC 2003, Madrid, Spain, May 5–6, 2003. Proceedings, edited by Ernestina Menasalvas, Javier Segovia, Piotr S. Szczepaniak, (electronic resource)
- Advances in Web-Age Information Management : 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003. Proceedings, edited by Guozhu Dong, Changjie Tang, Wei Wang, (electronic resource)
- Advances in Web-Based Learning - ICWL 2003 : Second International Conference, Melbourne, Australia, August 18-20, 2003. Proceedings, edited by Wanlei Zhou, Paul Nicholson, Brian Corbitt, Joseph Fong, (electronic resource)
- Agent Technologies, Infrastructures, Tools, and Applications for E-Services : NODe 2002 Agent-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers, edited by Jaime G. Carbonell, Jörg Siekmann, Ryszard Kowalczyk, Jörg P. Müller, Huaglory Tianfield, Rainer Unland, (electronic resource)
- Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions, edited by Fausto Giunchiglia, James Odell, Gerhard Weiß, (electronic resource)
- Agents and Peer-to-Peer Computing : First International Workshop, AP2PC 2002 Bologna, Italy, July 15, 2002 Revised and Invited Papers, edited by Gianluca Moro, Manolis Koubarakis, (electronic resource)
- Algorithmic Learning Theory : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. Proceedings, edited by Ricard Gavaldá, Klaus P. Jantke, Eiji Takimoto, (electronic resource)
- Algorithms - ESA 2003 : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings, edited by Giuseppe Battista, Uri Zwick, (electronic resource)
- Algorithms and Complexity : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28–30, 2003. Proceedings, edited by Rossella Petreschi, Giuseppe Persiano, Riccardo Silvestri, (electronic resource)
- Algorithms and Computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003. Proceedings, edited by Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono, (electronic resource)
- Algorithms and Data Structures : 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003. Proceedings, edited by Frank Dehne, Jörg-Rüdiger Sack, Michiel Smid, (electronic resource)
- Algorithms for Memory Hierarchies : Advanced Lectures, edited by Ulrich Meyer, Peter Sanders, Jop Sibeyn, (electronic resource)
- Algorithms in Bioinformatics : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003. Proceedings, edited by Gary Benson, Roderic D. M. Page, (electronic resource)
- Almost Ring Theory, (electronic resource)
- Ambient Intelligence : First European Symposium, EUSAI 2003, Veldhoven,The Netherlands,November 3-4, 2003. Proceedings, edited by Emile Aarts, René W. Collier, Evert Loenen, Boris Ruyter, (electronic resource)
- Anderson Localization and Its Ramifications : Disorder, Phase Coherence and Electron Correlations, edited by Tobias Brandes, S. Kettemann, (electronic resource)
- Anticipatory Behavior in Adaptive Learning Systems : Foundations, Theories, and Systems, edited by Martin V. Butz, Olivier Sigaud, Pierre Gérard, (electronic resource)
- Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings, edited by Wil M. P. Aalst, Eike Best, (electronic resource)
- Applications of Evolutionary Computing : EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM Essex, UK, April 14–16, 2003 Proceedings, edited by Stefano Cagnoni, Colin G. Johnson, Juan J. Romero Cardalda, Elena Marchiori, David W. Corne, Jean-Arcady Meyer, Jens Gottlieb, Martin Middendorf, Agnès Guillot, Günther R. Raidl, Emma Hart, (electronic resource)
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 15th International Symposium, AAECC-15, Toulouse, France, May 12–16, 2003 Proceedings, edited by Marc Fossorier, Tom Høholdt, Alain Poli, (electronic resource)
- Applied Cryptography and Network Security : First International Conference, ACNS 2003, Kunming, China, October 16-19, 2003. Proceedings, edited by Jianying Zhou, Moti Yung, Yongfei Han, (electronic resource)
- Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques : 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003. Proceedings, edited by Sanjeev Arora, Klaus Jansen, José D. P. Rolim, Amit Sahai, (electronic resource)
- Aqueous Polymer — Cosolute Systems : Special Issue in Honor of Dr. Shuji Saito, edited by Dan F. Anghel, (electronic resource)
- Architecting Dependable Systems, edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky, (electronic resource)
- Architectures for Quality of Service in the Internet : International Workshop, Art-QoS 2003 Warsaw, Poland, March 24–25, 2003 Revised Papers, edited by Wojciech Burakowski, Andrzej Bęben, Berthold Koch, (electronic resource)
- Artificial Immune Systems : Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003. Proceedings, edited by Jon Timmis, Peter J. Bentley, Emma Hart, (electronic resource)
- Artificial Intelligence in Medicine : 9th Conference on Artificial Intelligence, in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003. Proceedings, edited by Michel Dojat, Elpida T. Keravnou, Pedro Barahona, (electronic resource)
- Artificial Neural Nets Problem Solving Methods : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003 Maó, Menorca, Spain, June 3–6, 2003 Proceedings, Part II, edited by José Mira, José R. Álvarez, (electronic resource)
- Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP 2003 : Joint International Conference ICANN/ICONIP 2003 Istanbul, Turkey, June 26–29, 2003 Proceedings, edited by Okyay Kaynak, Ethem Alpaydin, Erkki Oja, Lei Xu, (electronic resource)
- Astromineralogy, edited by Thomas K. Henning, (electronic resource)
- Asymptotic Combinatorics with Applications to Mathematical Physics : A European Mathematical Summer School held at the Euler Institute, St. Petersburg, Russia July 9–20, 2001, edited by Anatoly M. Vershik, Yuri Yakubovich, (electronic resource)
- Audio- and Video-Based Biometric Person Authentication : 4th International Conference, AVBPA 2003 Guildford, UK, June 9–11, 2003 Proceedings, edited by Josef Kittler, Mark S. Nixon, (electronic resource)
- Automata, Languages and Programming : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings, edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger, (electronic resource)
- Automated Deduction – CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings, edited by Franz Baader, (electronic resource)
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings, edited by Marta Cialdea Mayer, Fiora Pirri, (electronic resource)
- Bifurcation Control : Theory and Applications, edited by Guanrong Chen, David J. Hill, Xinghuo Yu, (electronic resource)
- Bifurcations in Hamiltonian Systems : Computing Singularities by Gröbner Bases, by Henk Broer, Igor Hoveijn, Gerton Lunter, Gert Vegter, (electronic resource)
- Biomedical Image Registration : Second InternationalWorkshop, WBIR 2003, Philadelphia, PA, USA, June 23-24, 2003. Revised Papers, edited by James C. Gee, J. B. Antoine Maintz, Michael W. Vannier, (electronic resource)
- Biomethanation I, edited by Birgitte K. Ahring, I. Angelidaki, E. Conway Macario, H. N. Gavala, J. Hofman-Bang, A. J. L. Macario, S. J. W. H. Oude Elferink, L. Raskin, A. J. M. Stams, P. Westermann, D. Zheng, (electronic resource)
- Biomethanation II, edited by Birgitte K. Ahring, B. K. Ahring, I. Angelidaki, J. Dolfing, L. EUegaard, H. N. Gavala, F. Haagensen, A. S. Mogensen, G. Lyberatos, P. F. Pind, J. E. Schmidt, I. V. Skiadas, K. Stamatelatou, (electronic resource)
- Biotechnology in India I, edited by Tarun K. Ghose, Purnendu Ghosh, S. K. Basu, D. Bhardwaj, V. S. Chauhan, N. Dhar, B. N. Johri, J. P. Khurana, A. Mukhopadhyay, G. Padmanaban, A. Sharma, M. Sharma, R. Swarup, A. K. Tyagi, J. S. Virdi, (electronic resource)
- Biotechnology in India II, edited by Tarun K. Ghose, Purnendu Ghosh, S. Chand, S. K. Gupta, B. B. Lohray, K. Mazumdar-Shaw, P. Mishra, S. Nath, A. K. Panda, S. Suryanarayan, (electronic resource)
- Business Process Management : International Conference, BPM 2003 Eindhoven, The Netherlands, June 26–27, 2003 Proceedings, by Arthur Hofstede ; edited by Wil M. P. Aalst, Mathias Weske, (electronic resource)
- CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings, edited by Roberto Amadio, Denis Lugiez, (electronic resource)
- COTS-Based Software Systems : Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10–12, 2003 Proceedings, edited by Hakan Erdogmus, Tao Weng, (electronic resource)
- Case-Based Reasoning Research and Development : 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings, edited by Kevin D. Ashley, Derek G. Bridge, (electronic resource)
- Chaos Control : Theory and Applications, edited by Guanrong Chen, Xinghuo Yu, (electronic resource)
- Colloid Chemistry I, edited by Markus Antonietti, (electronic resource)
- Colloid Chemistry II, edited by Markus Antonietti, (electronic resource)
- Combinations of Complex Dynamical Systems, by Kevin M. Pilgrim, (electronic resource)
- Combinatorial Optimization — Eureka, You Shrink! : Papers Dedicated to Jack Edmonds 5th International Workshop Aussois, France, March 5–9, 2001 Revised Papers, edited by Michael Jünger, Gerhard Reinelt, Giovanni Rinaldi, (electronic resource)
- Combinatorial Pattern Matching : 14th Annual Symposium, CPM 2003 Morelia, Michoacán, Mexico, June 25–27, 2003 Proceedings, edited by Ricardo Baeza-Yates, Edgar Chávez, Maxime Crochemore, (electronic resource)
- Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies, edited by Marc-Philippe Huget, (electronic resource)
- Communications and Multimedia Security. Advanced Techniques for Network and Data Protection : 7th IFIP-TC6 TC11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003. Proceedings, edited by Antonio Lioy, Daniele Mazzocchi, (electronic resource)
- Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings, edited by Görel Hedin, (electronic resource)
- Component-Based Software Quality : Methods and Techniques, edited by Alejandra Cechich, Mario Piattini, Antonio Vallecillo, (electronic resource)
- Composition of Secure Multi-Party Protocols : A Comprehensive Study, by Yehuda Lindell, (electronic resource)
- Computational Linguistics and Intelligent Text Processing : 4th International Conference, CICLing 2003 Mexico City, Mexico, February 16–22, 2003 Proceedings, edited by Alexander Gelbukh, (electronic resource)
- Computational Methods in Neural Modeling : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003 Maó, Menorca, Spain, June 3–6, 2003 Proceedings, Part I, edited by José Mira, José R. Álvarez, (electronic resource)
- Computational Methods in Systems Biology : First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings, edited by Corrado Priami, (electronic resource)
- Computational Processing of the Portuguese Language : 6th International Workshop, PROPOR 2003 Faro, Portugal, June 26–27, 2003 Proceedings, edited by Nuno J. Mamede, Isabel Trancoso, Jorge Baptista, Maria Graças Volpe Nunes, (electronic resource)
- Computational Science and Its Applications — ICCSA 2003 : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I, edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer, (electronic resource)
- Computational Science and Its Applications — ICCSA 2003 : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part II, edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer, (electronic resource)
- Computational Science and Its Applications — ICCSA 2003 : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part III, edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer, (electronic resource)
- Computational Science — ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part II, edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Yuriy E. Gorbachev, Jack J. Dongarra, Albert Y. Zomaya, (electronic resource)
- Computational Science — ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part III, edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Yuriy E. Gorbachev, Jack J. Dongarra, Albert Y. Zomaya, (electronic resource)
- Computational Science — ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003 Proceedings, Part I, edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack J. Dongarra, Albert Y. Zomaya, Yuriy E. Gorbachev, (electronic resource)
- Computational Science — ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003 Proceedings, Part IV, edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Yuriy E. Gorbachev, Jack J. Dongarra, Albert Y. Zomaya, (electronic resource)
- 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, edited by Roberto Moreno-Díaz, Franz Pichler, (electronic resource)
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings, edited by Warren A. Hunt, Fabio Somenzi, (electronic resource)
- Computer Analysis of Images and Patterns : 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003. Proceedings, edited by Nicolai Petkov, Michel A. Westenberg, (electronic resource)
- Computer Network Security : Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003. Proceedings, edited by Vladimir Gorodetsky, Leonard Popyack, Victor Skormin, (electronic resource)
- Computer Performance Evaluation. Modelling Techniques and Tools : 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings, edited by Peter Kemper, William H. Sanders, (electronic resource)
- Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings, edited by Stuart Anderson, Massimo Felici, Bev Littlewood, (electronic resource)
- Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings, edited by Matthias Baaz, Johann A. Makowsky, (electronic resource)
- Computer Science in Perspective : Essays Dedicated to Thomas Ottmann, edited by Rolf Klein, Hans-Werner Six, Lutz Wegner, (electronic resource)
- Computer Security – ESORICS 2003 : 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings, edited by Einar Snekkenes, Dieter Gollmann, (electronic resource)
- Computer Vision Systems : Third International Conference, ICVS 2003, Graz, Austria, April 1–3, 2003. Proceedings, edited by James L. Crowley, Justus H. Piater, Markus Vincze, Lucas Paletta, (electronic resource)
- Computer and Information Sciences - ISCIS 2003 : 18th International Symposium, Antalya, Turkey, November 3-5, 2003. Proceedings, edited by Adnan Yazıcı, Cevat Şener, (electronic resource)
- Computers and Games : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002. Revised Papers, edited by Jonathan Schaeffer, Martin Müller, Yngvi Björnsson, (electronic resource)
- Computing and Combinatorics : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25–28, 2003 Proceedings, edited by Tandy Warnow, Binhai Zhu, (electronic resource)
- Conceptual Modeling - ER 2003 : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings, edited by Il-Yeol Song, Stephen W. Liddle, Tok-Wang Ling, Peter Scheuermann, (electronic resource)
- Conceptual Modeling for Novel Application Domains : ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003. Proceedings, edited by Manfred A. Jeusfeld, Óscar Pastor, (electronic resource)
- Conceptual Modeling — ER 2002 : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings, edited by Stefano Spaccapietra, Salvatore T. March, Yahiko Kambayashi, (electronic resource)
- Conceptual Structures for Knowledge Creation and Communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003. Proceedings, edited by Bernhard Ganter, Aldo Moor, Wilfried Lex, (electronic resource)
- Constrained Optimal Control of Linear and Hybrid Systems, by Francesco Borrelli, (electronic resource)
- Control Problems in Robotics, edited by Antonio Bicchi, Domenico Prattichizzo, Henrik Iskov Christensen, (electronic resource)
- Control of Sandwich Nonlinear Systems Authors, by Avinash Taware, Gang Tao, (electronic resource)
- Convex Variational Problems : Linear, Nearly Linear and Anisotropic Growth Conditions, by Michael Bildhauer, (electronic resource)
- Cooperative Information Agents VII : 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003. Proceedings, edited by Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen, (electronic resource)
- 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, edited by Daniel Geist, Enrico Tronci, (electronic resource)
- Coverings of Discrete Quasiperiodic Sets : Theory and Applications to Quasicrystals, edited by Peter Kramer, Zorka Papadopolos, (electronic resource)
- Cryptographic Hardware and Embedded Systems - CHES 2002 : 4th International Workshop Redwood Shores, CA, USA, August 13–15, 2002 Revised Papers, edited by Burton S. Kaliski, çetin K. Koç, Christof Paar, (electronic resource)
- Cryptographic Hardware and Embedded Systems - CHES 2003 : 5th International Workshop, Cologne, Germany, September 8–10, 2003. Proceedings, edited by Colin D. Walter, Çetin K. Koç, Christof Paar, (electronic resource)
- Cryptography and Coding : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003. Proceedings, edited by Kenneth G. Paterson, (electronic resource)
- Current Trends in Relativistic Astrophysics : Theoretical, Numerical, Observational, edited by Leonardo Fernández-Jambrina, Luis Manuel González-Romero, (electronic resource)
- C∞-Differentiable Spaces, by Juan A. Navarro González, Juan B. Sancho de Salas, (electronic resource)
- DNA Computing : 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers, edited by Masami Hagiya, Azuma Ohuchi, (electronic resource)
- Data Mining on Multimedia Data, edited by Petra Perner, (electronic resource)
- Data Warehousing and Knowledge Discovery : 5th International Conference, DaWak 2003, Prague, Czech Republic, September 3-5, 2003. Proceedings, edited by Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß, (electronic resource)
- Database Theory — ICDT 2003 : 9th International Conference Siena, Italy, January 8–10, 2003 Proceedings, edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani, (electronic resource)
- Database and Expert Systems Applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003. Proceedings, edited by Vladimír Mařík, Werner Retschitzegger, Olga Štěpánková, (electronic resource)
- Database and XML Technologies : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003, Proceedings, edited by Zohra Bellahsène, Akmal B. Chaudhri, Erhard Rahm, Michael Rys, Rainer Unland, (electronic resource)
- Databases in Networked Information Systems : Third InternationalWorkshop, DNIS 2003, Aizu, Japan, September 22-24, 2003. Proceedings 13, edited by Nadia Bianchi-Berthouze, (electronic resource)
- Decoupling Control, by Qing-Guo Wang, (electronic resource)
- Deformations of Singularities, by Jan Stevens, (electronic resource)
- Dendrimers V : Functional and Hyperbranched Building Blocks, Photophysical Properties, Applications in Materials and Life Sciences, edited by Christoph A. Schalley, Fritz Vögtle, (electronic resource)
- Dependable Computing : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings, edited by Rogério Lemos, Taisy Silva Weber, João Batista Camargo, (electronic resource)
- Derived Functors in Functional Analysis, by Jochen Wengenroth, (electronic resource)
- Design and Control of Workflow Processes : Business Process Management for the Service Industry, edited by Hajo A. Reijers, (electronic resource)
- Developing Industrial Case-Based Reasoning Applications : The INRECA Methodology, by Ralph Bergmann, Klaus-Dieter Althoff, Sean Breen, Mehmet Göker, Michel Manago, Ralph Traphöner, Stefan Wess, (electronic resource)
- Developments in Applied Artificial Intelligence : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings, edited by Paul W. H. Chung, Chris Hinde, Moonis Ali, (electronic resource)
- Developments in Language Theory : 6th International Conference, DLT 2002 Kyoto, Japan, September 18–21, 2002 Revised Papers, edited by Masami Ito, Masafumi Toyama, (electronic resource)
- Developments in Language Theory : 7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings, edited by Zoltán Ésik, Zoltán Fülöp, (electronic resource)
- 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, edited by Tengku Mohd Tengku Sembok, Halimah Badioze Zaman, Hsinchun Chen, Shalini R. Urs, Sung-Hyon Myaeng, (electronic resource)
- Digital Rights Management : ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002. Revised Papers, edited by Joan Feigenbaum, (electronic resource)
- Digital Rights Management : Technological, Economic, Legal and Political Aspects, edited by Eberhard Becker, Willms Buhse, Dirk Günnewig, Niels Rump, (electronic resource)
- Digital Watermarking : First International Workshop, IWDW 2002 Seoul, Korea, November 21–22, 2002 Revised Papers, edited by Hyoung Joong Kim, (electronic resource)
- Diophantine Approximation : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000, by David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt ; edited by Francesco Amoroso, Umberto Zannier, (electronic resource)
- Direct and Inverse Methods in Nonlinear Evolution Equations : Lectures Given at the C.I.M.E. Summer School Held in Cetraro, Italy, September 5-12, 1999, (electronic resource)
- Directions in Mathematical Systems Theory and Optimization, edited by Anders Rantzer, Christopher I. Byrnes, (electronic resource)
- Discovery Science : 6th International Conference, DS 2003, Sapporo, Japan, October 17-19, 2003. Proceedings, edited by Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto, (electronic resource)
- Discrete Geometry for Computer Imagery : 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003. Proceedings, edited by Ingela Nyström, Gabriella Sanniti di Baja, Stina Svensson, (electronic resource)
- Discrete Mathematics and Theoretical Computer Science : 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings, edited by Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki, (electronic resource)
- Discrete and Computational Geometry : Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002. Revised Papers, edited by Jin Akiyama, Mikio Kano, (electronic resource)
- Discrete-Event Control of Stochastic Networks: Multimodularity and Regularity, by Eitan Altman, Bruno Gaujal, Arie Hordijk, (electronic resource)
- Distributed Applications and Interoperable Systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003. Proceedings, edited by Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont, (electronic resource)
- Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings, edited by Samir R. Das, Sajal K. Das, (electronic resource)
- Distributed Computing : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003. Proceedings, edited by Faith Ellen Fich, (electronic resource)
- Dynamical Systems : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 19-26, 2000, (electronic resource)
- Dynamics of Multiscale Earth Systems, edited by Horst J. Neugebauer, Clemens Simmer, (electronic resource)
- E-Commerce and Web Technologies : 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003. Proceedings, edited by Kurt Bauknecht, A Min Tjoa, Gerald Quirchmayr, (electronic resource)
- ECOOP 2003 – Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings, edited by Luca Cardelli, (electronic resource)
- Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web : VLDB 2002 Workshop EEXTT and CAiSE 2002 Workshop DIWeb Revised Papers, edited by Stéphane Bressan, Mong Li Lee, Akmal B. Chaudhri, Jeffrey Xu Yu, Zoé Lacroix, (electronic resource)
- Electron-Beam Interactions with Solids : Application of the Monte Carlo Method to Electron Scattering Problems, edited by Maurizio Dapor, (electronic resource)
- Electronic Defect States in Alkali Halides : Effects of Interaction with Molecular Ions, by Volkmar Dierolf, (electronic resource)
- Electronic Government : Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003. Proceedings, edited by Roland Traunmüller, (electronic resource)
- Electronic Information and Communication in Mathematics : ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002. Revised Papers, edited by Fengshan Bai, Bernd Wegner, (electronic resource)
- Elemental Sulfur and Sulfur-Rich Compounds I, edited by Ralf Steudel, (electronic resource)
- Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings, edited by Rajeev Alur, Insup Lee, (electronic resource)
- Empirical Methods and Studies in Software Engineering : Experiences from ESERNET, edited by Reidar Conradi, Alf Inge Wang, (electronic resource)
- Energy Conversion and Particle Acceleration in the Solar Corona, edited by Karl-Ludwig Klein, (electronic resource)
- Energy Minimization Methods in Computer Vision and Pattern Recognition : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003. Proceedings, edited by Anand Rangarajan, Mário Figueiredo, Josiane Zerubia, (electronic resource)
- Engineering Societies in the Agents World III : Third International Workshop, ESAW 2002 Madrid, Spain, September 16–17, 2002 Revised Papers, edited by Paolo Petta, Robert Tolksdorf, Franco Zambonelli, (electronic resource)
- Euro-Par 2003 Parallel Processing : 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings, edited by Harald Kosch, László Böszörményi, Hermann Hellwagner, (electronic resource)
- Evolutionary Multi-Criterion Optimization : Second International Conference, EMO 2003, Faro, Portugal, April 8–11, 2003. Proceedings, edited by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Lothar Thiele, Kalyanmoy Deb, (electronic resource)
- Evolvable Systems: From Biology to Hardware : 5th International Conference, ICES 2003 Trondheim, Norway, March 17–20, 2003 Proceedings, edited by AAndy M. Tyrrell, Pauline C. Haddow, Jim Torresen, (electronic resource)
- Experimental Robotics VIII, edited by Bruno Siciliano, Paolo Dario, (electronic resource)
- Experimental and Efficient Algorithms : Second International Workshop, WEA 2003, Ascona, Switzerland, May 26–28, 2003 Proceedings, edited by Klaus Jansen, Marian Margraf, Monaldo Mastrolilli, José D. P. Rolim, (electronic resource)
- Exploring the Atmosphere by Remote Sensing Techniques, edited by Rodolfo Guzzi, (electronic resource)
- Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings, edited by Frank Maurer, Don Wells, (electronic resource)
- Extreme Programming and Agile Processes in Software Engineering : 4th International Conference, XP 2003 Genova, Italy, May 25–29, 2003 Proceedings, edited by Michele Marchesi, Giancarlo Succi, (electronic resource)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings, edited by Paritosh K. Pandya, Jaikumar Radhakrishnan, (electronic resource)
- Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers, edited by Thomas Johansson, (electronic resource)
- Fault Diagnosis and Fault Tolerance for Mechatronic Systems:Recent Advances, edited by Fabrizio Caccavale, Luigi Villani, (electronic resource)
- Field Programmable Logic and Application : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings, edited by Peter Cheung, George A. Constantinides, (electronic resource)
- Financial Cryptography : 6th International Conference, FC 2002 Southampton, Bermuda, March 2002 Revised Papers, edited by Matt Blaze, (electronic resource)
- Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers, edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears, (electronic resource)
- Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers, edited by Ali E. Abdallah, Peter Ryan, Steve Schneider, (electronic resource)
- Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings, edited by Jin Song Dong, Jim Woodcock, (electronic resource)
- Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers, edited by Bernhard K. Aichernig, Tom Maibaum, (electronic resource)
- Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever, (electronic resource)
- Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings, edited by Elie Najm, Uwe Nestmann, Perdita Stevens, (electronic resource)
- 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, edited by Marco Bernardo, Paola Inverardi, (electronic resource)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings, edited by Hartmut König, Monika Heiner, Adam Wolisz, (electronic resource)
- Foundations of Intelligent Systems : 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003. Proceedings, edited by Ning Zhong, Zbigniew W. Raś, Shusaku Tsumoto, Einoshin Suzuki, (electronic resource)
- Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings, edited by Andrew D. Gordon, (electronic resource)
- Functional Imaging and Modeling of the Heart : Second International Workshop, FIMH 2003, Lyon, France, June 5–6, 2003, Proceedings, edited by Isabelle E. Magnin, Johan Montagnat, Patrick Clarysse, Jukka Nenonen, Toivo Katila, (electronic resource)
- Fundamentals of Computation Theory : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003. Proceedings, edited by Andrzej Lingas, Bengt J. Nilsson, (electronic resource)
- Fuzzy Sets and Systems — IFSA 2003 : 10th International Fuzzy Systems Association World Congress Istanbul, Turkey, June 30 – July 2, 2003 Proceedings, edited by Taner Bilgiç, Bernard Baets, Okyay Kaynak, (electronic resource)
- Galaxies and Chaos, edited by George Contopoulos, Nikos Voglis, (electronic resource)
- Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings, edited by Frank Pfenning, Yannis Smaragdakis, (electronic resource)
- Generic Programming : Advanced Lectures, edited by Roland Backhouse, Jeremy Gibbons, (electronic resource)
- Genetic Programming : 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings, edited by Conor Ryan, Terence Soule, Maarten Keijzer, Edward Tsang, Riccardo Poli, Ernesto Costa, (electronic resource)
- Genetic and Evolutionary Computation — GECCO 2003 : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part I, edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller, (electronic resource)
- Genetic and Evolutionary Computation — GECCO 2003 : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II, edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller, (electronic resource)
- Geometric Aspects of Functional Analysis : Israel Seminar 2001-2002, edited by Vitali D. Milman, Gideon Schechtman, (electronic resource)
- Geometric Curve Evolution and Image Processing, by Frédéric Cao, (electronic resource)
- Geometry, Morphology, and Computational Imaging : 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7–12, 2002 Revised Papers, edited by Tetsuo Asano, Reinhard Klette, Chrisitan Ronse, (electronic resource)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers, edited by Corrado Priami, (electronic resource)
- Global Optimization and Constraint Satisfaction : First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers, edited by Christian Bliek, Christophe Jermann, Arnold Neumaier, (electronic resource)
- Granular Gas Dynamics, edited by Thorsten Pöschel, Nikolai Brilliantov, (electronic resource)
- Graph Based Representations in Pattern Recognition : 4th IAPR International Workshop, GbRPR 2003 York, UK, June 30 – July 2, 2003 Proceedings, edited by Edwin Hancock, Mario Vento, (electronic resource)
- Graph-Theoretic Concepts in Computer Science : 29th International Workshop, WG 2003. Elspeet, The Netherlands, June 19-21, 2003. Revised Papers, edited by Hans L. Bodlaender, (electronic resource)
- Group 13 Chemistry III : Industrial Applications, edited by Herbert W. Roesky, David A. Atwood, (electronic resource)
- Group Communications and Charges. Technology and Business Models : 5th COST 264 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, edited by Burkhard Stiller, Georg Carle, Martin Karsten, Peter Reichl, (electronic resource)
- Groupware: Design, Implementation, and Use : 9th InternationalWorkshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003. Proceedings, edited by Jesús Favela, Dominique Decouchant, (electronic resource)
- Gröbner Bases and the Computation of Group Cohomology, (electronic resource)
- Hierarchical Neural Networks for Image Interpretation, by Sven Behnke, (electronic resource)
- High Performance Computing - HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings, edited by Timothy Mark Pinkston, Viktor K. Prasanna, (electronic resource)
- High Performance Computing : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003. Proceedings 13, edited by Alex Veidenbaum, Kazuki Joe, Hideharu Amano, Hideo Aiso, (electronic resource)
- High Performance Computing for Computational Science — VECPAR 2002 : 5th International Conference Porto, Portugal, June 26–28, 2002 Selected Papers and Invited Talks, edited by José M. L. M. Palma, A. Augusto Sousa, Jack Dongarra, Vicente Hernández, (electronic resource)
- High-Field Transport in Semiconductor Superlattices, by Karl Leo, (electronic resource)
- High-Speed Networks and Multimedia Communications : 6th IEEE International Conference, HSNMC 2003, Estoril, Portugal, July 23-25, 2003. Proceedings, edited by Mário M. Freire, Pascal Lorenz, Mike Myung-Ok Lee, (electronic resource)
- Holonic and Multi-Agent Systems for Manufacturing : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003. Proceedings, edited by Vladimír Mařík, Duncan McFarlane, Paul Valckenaers, (electronic resource)
- Human-Computer Interaction with Mobile Devices and Services : 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 2003. Proceedings, edited by Luca Chittaro, (electronic resource)
- Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings, edited by Oded Maler, Amir Pnueli, (electronic resource)
- Hypervalent Iodine Chemistry : Modern Developments in Organic Synthesis, edited by Thomas Wirth, (electronic resource)
- Image Analysis : 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 – July 2, 2003 Proceedings, edited by Josef Bigun, Tomas Gustavsson, (electronic resource)
- Image and Video Retrieval : Second International Conference, CIVR 2003 Urbana-Champaign, IL, USA, July 24–25, 2003 Proceedings, edited by Erwin M. Bakker, Michael S. Lew, Thomas S. Huang, Nicu Sebe, Xiang Sean Zhou, (electronic resource)
- Implementation and Application of Automata : 7th International Conference, CIAA 2002 Tours, France, July 3–5, 2002 Revised Papers, edited by Jean-Marc Champarnaud, Denis Maurel, (electronic resource)
- Implementation and Application of Automata : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings, edited by Oscar H. Ibarra, Zhe Dang, (electronic resource)
- Implementation of Functional Languages : 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers, edited by Ricardo Peña, Thomas Arts, (electronic resource)
- Improved Bonferroni Inequalities via Abstract Tubes : Inequalities and Identities of Inclusion-Exclusion Type, (electronic resource)
- Inductive Logic Programming : 12th International Conference, ILP 2002 Sydney, Australia, July 9–11, 2002 Revised Papers, edited by Stan Matwin, Claude Sammut, (electronic resource)
- Inductive Logic Programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings, edited by Tamás Horváth, Akihiro Yamamoto, (electronic resource)
- Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning, by Ute Schmid, (electronic resource)
- Information Extraction in the Web Era : Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents, edited by Maria Teresa Pazienza, (electronic resource)
- Information Hiding : 5th International Workshop, IH 2002 Noordwijkerhout, The Netherlands, October 7-9, 2002 Revised Papers, edited by Fabien A. P. Petitcolas, (electronic resource)
- Information Networking : International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003.Revised Selected Papers, edited by Hyun-Kook Kahng, (electronic resource)
- Information Processing in Medical Imaging : 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003. Proceedings, edited by Chris Taylor, J. Alison Noble, (electronic resource)
- Information Processing in Sensor Networks : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings, edited by Feng Zhao, Leonidas Guibas, (electronic resource)
- Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings, edited by Colin Boyd, Wenbo Mao, (electronic resource)
- Information Security and Cryptology — ICISC 2002 : 5th International Conference Seoul, Korea, November 28–29, 2002 Revised Papers, edited by Pil Joong Lee, Chae Hoon Lim, (electronic resource)
- Information Security and Privacy : 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings, edited by Rei Safavi-Naini, Jennifer Seberry, (electronic resource)
- Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003. Proceedings, edited by Sihan Qing, Dieter Gollmann, Jianying Zhou, (electronic resource)
- Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers, edited by Walt Truszkowski, Mike Hinchey, Chris Rouff, (electronic resource)
- Innovative Internet Community Systems : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003. Revised Papers, edited by Thomas Böhme, Gerhard Heyer, Herwig Unger, (electronic resource)
- Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings, edited by Jorge Juan Chico, Enrico Macii, (electronic resource)
- Intelligence and Security Informatics : First NSF/NIJ Symposium, ISI 2003, Tucson, AZ, USA, June 2–3, 2003 Proceedings, edited by Hsinchun Chen, Richard Miranda, Daniel D. Zeng, Chris Demchak, Jenny Schroeder, Therani Madhusudan, (electronic resource)
- Intelligent Agents and Multi-Agent Systems : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003. Proceedings, edited by Jaeho Lee, Mike Barley, (electronic resource)
- Intelligent Data Engineering and Automated Learning : 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003. Revised Papers, edited by Jiming Liu, Yiu-ming Cheung, Hujun Yin, (electronic resource)
- Intelligent Information Agents : The AgentLink Perspective, edited by Matthias Klusch, Sonia Bergamaschi, Pete Edwards, Paolo Petta, (electronic resource)
- Intelligent Virtual Agents : 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003. Proceedings, edited by Thomas Rist, Ruth S. Aylett, Daniel Ballin, Jeff Rickel, (electronic resource)
- Interaction Control of Robot Manipulators : Six degrees-of-freedom tasks, by Ciro Natale, (electronic resource)
- Interactive Multimedia on Next Generation Networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003. Proceedings, edited by Giorgio Ventre, Roberto Canonico, (electronic resource)
- Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers, edited by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha, (electronic resource)
- Irreversible Quantum Dynamics, edited by Fabio Benatti, Roberto Floreanini, (electronic resource)
- Ising-type Antiferromagnets : Model Systems in Statistical Physics and in the Magnetism of Exchange Bias, by Christian Binek, (electronic resource)
- Job Scheduling Strategies for Parallel Processing : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003. Revised Paper, edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn, (electronic resource)
- Journal on Data Semantics I, edited by Stefano Spaccapietra, Sal March, Karl Aberer, (electronic resource)
- KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings, edited by Andreas Günter, Rudolf Kruse, Bernd Neumann, (electronic resource)
- 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, edited by Nada Lavrač, Dragan Gamberger, Ljupčo Todorovski, Hendrik Blockeel, (electronic resource)
- Knowledge Management in Electronic Government : 4th IFIP International Working Conference, KMGov 2003, Rhodes, Greece, May 26–28, 2003 Proceedings, edited by Maria A. Wimmer, (electronic resource)
- Knowledge-Based Intelligent Information and Engineering Systems : 7th International Conference, KES 2003, Oxford, UK, September 2003. Proceedings, Part II, edited by Vasile Palade, Robert J. Howlett, Lakhmi Jain, (electronic resource)
- Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers, edited by Henry G. Dietz, (electronic resource)
- Learning Classifier Systems : 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002. Revised Papers, edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson, (electronic resource)
- Learning Theory and Kernel Machines : 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003. Proceedings, edited by Bernhard Schölkopf, Manfred K. Warmuth, (electronic resource)
- Lectures on Probability Theory and Statistics : École d’Été de Probabilités de Saint-Flour XXX - 2000, edited by Sergio Albeverio, Walter Schachermayer, Michel Talagrand, Pierre Bernard
- Lectures on Solar Physics, edited by H. M. Antia, Arvind Bhatnagar, Peter Ulmschneider, (electronic resource)
- Light Emitting Silicon for Microphotonics, by Stefano Ossicini, Lorenzo Pavesi, Francesco Priolo, (electronic resource)
- Linear and Nonlinear Iterative Learning Control, by Jian-Xin Xu, Ying Tan, (electronic resource)
- Liquid Chromatography / FTIR Microspectroscopy / Microwave Assisted Synthesis, edited by A. Abe, A.-C. Albertsson, H.-J. Cantow, K. Dusek, S. Edwards, H. Höcker, J.F. Joanny, H.-H. Kausch, S. Kobayashi, K.-S. Lee, I. Manners, O. Nuyken, S.I. Stupp, U.W. Suter, G. Wegner, (electronic resource)
- Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers, edited by Michael Leuschel, (electronic resource)
- Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings, edited by Catuscia Palamidessi, (electronic resource)
- Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings, edited by Moshe Y. Vardi, Andrei Voronkov, (electronic resource)
- Long Term Hillslope and Fluvial System Modelling : Concepts and Case Studies from the Rhine River Catchment, edited by Andreas Lang, Richard Dikau, Kirsten Hennrich, (electronic resource)
- Machine Learning and Data Mining in Pattern Recognition : Third International Conference, MLDM 2003 Leipzig, Germany, July 5–7, 2003 Proceedings, edited by Petra Perner, Azriel Rosenfeld, (electronic resource)
- Machine Learning: ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings, edited by Nada Lavrač, Dragan Gamberger, Hendrik Blockeel, Ljupčo Todorovski, (electronic resource)
- Management of Multimedia Networks and Services : 6th IFIP/IEEE International Conference, MMNS 2003, Belfast, Northern Ireland, UK, September 7-10, 2003. Proceedings, edited by Alan Marshall, Nazim Agoulmine, (electronic resource)
- Matchmaking in Electronic Markets : An Agent-Based Approach towards Matchmaking in Electronic Negotiations, by Daniel J. Veit, (electronic resource)
- Mathematical Aspects of Evolving Interfaces : Lectures given at the C.I.M.-C.I.M.E. joint Euro-Summer School held in Madeira, Funchal, Portugal, July 3-9, 2000, by Luigi Ambrosio, Klaus Deckelnick, Gerhard Dziuk, Masayasu Mimura, Vsevolod A. Solonnikov, Halil Mete Soner, (electronic resource)
- Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings, edited by Branislav Rovan, Peter Vojtáš, (electronic resource)
- Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings, edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport, (electronic resource)
- Mathematical Methods for Protein Structure Analysis and Design : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000. Advanced Lectures, edited by Concettina Guerra, Sorin Istrail, (electronic resource)
- Mathematical Problems in Semiconductor Physics : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 15-22, 1998. With the collaboration of G. Mascali and V. Romano, (electronic resource)
- Mathematics of Surfaces : 10th IMA International Conference, Leeds, UK, September 15-17, 2003. Proceedings, edited by Michael J. Wilson, Ralph R. Martin, (electronic resource)
- Means of Hilbert Space Operators, by Fumio Hiai, Hideki Kosaki, (electronic resource)
- Measures with Symmetry Properties, by Werner Schindler, (electronic resource)
- Medical Data Analysis : 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003. Proceedings, edited by Petra Perner, Rüdiger Brause, Hermann-Georg Holzhütter, (electronic resource)
- Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 : 6th International Conference, Montréal, Canada, November 15-18, 2003. Proceedings, edited by Randy E. Ellis, Terry M. Peters, (electronic resource)
- Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 : 6th International Conference, Montréal, Canada, November 15-18, 2003. Proceedings, edited by Randy E. Ellis, Terry M. Peters, (electronic resource)
- Membrane Computing : International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers, edited by Gheorghe PĂun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron, (electronic resource)
- Metainformatics : International Symposium, MIS 2002, Esbjerg, Denmark, August 7–10, 2002. Revised Papers, edited by Peter J. Nürnberg, (electronic resource)
- Methods and Applications of Signal Processing in Seismic Network Operations, by Tetsuo Takanami, Genshiro Kitagawa, (electronic resource)
- Microbial Production of l-Amino Acids, edited by Robert Faurie, Jügen Thommel, B. Bathe, V. G. Debabov, S. Huebner, M. Ikeda, E. Kimura, A. Marx, B. Möckel, U. Mueller, W. Pfefferle, (electronic resource)
- Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003 Proceedings, edited by Markus Endler, Douglas Schmidt, (electronic resource)
- Mining Multimedia and Complex Data : KDD Workshop MDM/KDD 2002. PAKDD Workshop KDMCD 2002. Revised Papers, edited by Osmar R. Zaïane, Simeon J. Simoff, Chabane Djeraba, (electronic resource)
- Mobile Agents for Telecommunication Applications : 5th InternationalWorkshop, MATA 2003, Marrakech, Morocco, October 8-10, 2003. Proceedings, edited by Eric Horlait, Thomas Magedanz, Roch H. Glitho, (electronic resource)
- Mobile Communications : 7th CDMA International Conference, CIC 2002 Seoul, Korea, October 29 – November 1, 2002 Revised Papers, edited by Jaiyong Lee, Chul-Hee Kang, (electronic resource)
- Mobile Data Management : 4th International Conference, MDM 2003 Melbourne, Australia, January 21–24, 2003 Proceedings, edited by Ming-Syan Chen, Panos K. Chrysanthis, Morris Sloman, Arkady Zaslavsky, (electronic resource)
- Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings, edited by Thomas Ball, Sriram K. Rajamani, (electronic resource)
- Modeling and Using Context : 4th International and Interdisciplinary Conference CONTEXT 2003 Stanford, CA, USA, June 23–25, 2003 Proceedings, edited by Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia, (electronic resource)
- Modelling with Words : Learning, Fusion, and Reasoning within a Formal Linguistic Represntation Framework, edited by Jonathan Lawry, Jimi Shanahan, Anca Ralescu, (electronic resource)
- Modelling, State Observation and Diagnosis of Quantised Systems, by Jochen Schröder, (electronic resource)
- Modern Mass Spectrometry, edited by Christoph A. Schalley, (electronic resource)
- Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings, edited by László Böszörményi, Peter Schojer, (electronic resource)
- Multi-Agent Systems and Applications III : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Proceedings, edited by Vladimír Mařík, Michal Pěchouček, Jörg Müller, (electronic resource)
- Multi-Agent-Based Simulation II : Third International Workshop, MABS 2002 Bologna, Italy, July 15–16, 2002 Revised Papers, edited by Jaime Simão Sichman, Françcois Bousquet, Paul Davidsson, (electronic resource)
- Multi-Agent-Based Simulation III : 4th International Workshop, MABS 2003, Melbourne, Australia, July 14, 2003. Revised Papers, edited by David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier, (electronic resource)
- Multiagent System Technologies : First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings, edited by Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield, (electronic resource)
- Multidisciplinary Research in Control : The Mohammed Dahleh Symposium 2002, edited by Laura Giarré, Bassam Bamieh, (electronic resource)
- Multiple Classifier Systems : 4th International Workshop, MCS 2003 Guildford, UK, June 11–13, 2003 Proceedings, edited by Terry Windeatt, Fabio Roli, (electronic resource)
- Multiscale Problems and Methods in Numerical Simulations : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 9-15, 2001, by James H. Bramble, Albert Cohen, Wolfgang Dahmen ; edited by Claudio Canuto, (electronic resource)
- Neural Nets : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003. Revised Papers, edited by Bruno Apolloni, Maria Marinaro, Roberto Tagliaferri, (electronic resource)
- Neutrino Mass, edited by Klaus Winter, Guido Altarelli, (electronic resource)
- Neutron Spin Echo Spectroscopy : Basics, Trends and Applications, edited by Ferenc Mezei, Catherine Pappas, Thomas Gutberlet, (electronic resource)
- New Aspects in Phosphorus Chemistry II, edited by Jean-Pierre Majoral, (electronic resource)
- New Aspects in Phosphorus Chemistry III, edited by Jean-Pierre Majoral, (electronic resource)
- New Horizons in Information Management : 20th British National Conference on Databases, BNCOD 20 Coventry, UK, July 15–17, 2003 Proceedings, edited by Anne James, Muhammad Younas, Brian Lings, (electronic resource)
- New Paradigms in Subsurface Prediction : Characterization of the Shallow Subsurface Implications for Urban Infrastructure and Environmental Assessment, edited by Michael S. Rosenbaum, A. Keith Turner, (electronic resource)
- New Trends in Nonlinear Dynamics and Control and their Applications, edited by Wei Kang, Carlos Borges, Mingqing Xiao, (electronic resource)
- Nonlinear and Adaptive Control : NCN4 2001, edited by Alan Zinober, David Owens, (electronic resource)
- Numerical Methods and Applications : 5th International Conference, NMA 2002 Borovets, Bulgaria, August 20–24, 2002 Revised Papers, edited by Ivan Dimov, Ivan Lirkov, Svetozar Margenov, Zahari Zlatev, (electronic resource)
- Object-Oriented Information Systems : 9th INternational Conference, OOIS 2003, Geneva, Switzerland, September 2003. Proceedings, edited by Dimitri Konstantas, Michel Léonard, Yves Pigneur, Shusma Patel, (electronic resource)
- Objects, Components, Architectures, Services, and Applications for a Networked World : International Conference NetObjectDays, NODe 2002 Erfurt, Germany, October 7–10, 2002 Revised Papers, edited by Mehmet Aksit, Mira Mezini, Rainer Unland, (electronic resource)
- 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. Proceedings, edited by Robert Meersman, Zahir Tari, Douglas C. Schmidt, (electronic resource)
- 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, edited by Robert Meersman, Zahir Tari, (electronic resource)
- OpenMP Shared Memory Parallel Programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings, edited by Michael J. Voss, (electronic resource)
- Operator Functions and Localization of Spectra, by Michael I. Gil’, (electronic resource)
- Optical Solitons : Theoretical and Experimental Challenges, edited by K. Porsezian, V. C. Kuriakose, (electronic resource)
- Optimal Transportation and Applications : Lectures given at the C.I.M.E. Summer School, held in Martina Franca, Italy, September 2-8, 2001, by Luigi Ambrosio, Luis A. Caffarelli, Yann Brenier, Giuseppe Buttazzo, Cedric Villani, Sandro Salsa, (electronic resource)
- Organolithiums in Enantioselective Synthesis, edited by David M. Hodgson, (electronic resource)
- Orthogonal Polynomials and Special Functions : Leuven 2002, edited by Erik Koelink, Walter Assche, (electronic resource)
- Parallel and Distributed Processing and Applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings, edited by Minyi Guo, Laurence Tianruo Yang, (electronic resource)
- Paris-Princeton Lectures on Mathematical Finance 2002, (electronic resource)
- Particle Physics in the New Millennium : Proceedings of the 8th Adriatic Meeting, edited by Josip Trampetić, Julius Wess, (electronic resource)
- Particle Scattering, X-Ray Diffraction, and Microstructure of Solids and Liquids, edited by Manfred L. Ristig, Klaus A. Gernoth, (electronic resource)
- Pattern Recognition : 25th DAGM Symposium, Magdeburg, Germany, September 10-12, 2003. Proceedings, edited by Bernd Michaelis, Gerald Krell, (electronic resource)
- Pattern Recognition and Image Analysis : First Iberian Conference, IbPRIA 2003, Puerto de Andratx, Mallorca, Spain, JUne 4-6, 2003. Proceedings, edited by Francisco José Perales, Aurélio J. C. Campilho, Nicolás Pérez Blanca, Alberto Sanfeliu, (electronic resource)
- Peer-to-Peer Systems II : Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22, 2003. Revised Papers, edited by M. Frans Kaashoek, Ion Stoica, (electronic resource)
- Persistent Organic Pollutants, edited by H. Fiedler, (electronic resource)
- Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings, edited by Marco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu, (electronic resource)
- Perspectives of System Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers, edited by Manfred Broy, Alexandre V. Zamulin, (electronic resource)
- Petri Net Technology for Communication-Based Systems : Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, (electronic resource)
- Phytoremediation, edited by David T. Tsao, (electronic resource)
- Piecewise Linear Control Systems : A Computational Approach, by Mikael Johansson, (electronic resource)
- Polymer Crystallization : Observations, Concepts and Interpretations, edited by Günter Reiter, Jens-Uwe Sommer, (electronic resource)
- Polymers for Photonics Applications II : Nonlinear Optical, Photorefractive and Two-Photon Absorption Polymers, edited by Kwang-Sup Lee, (electronic resource)
- Positive Systems : Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28–30, 2003, edited by Luca Benvenuti, Alberto Santis, Lorenzo Farina, (electronic resource)
- Power-Aware Computer Systems : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002 Revised Papers, edited by Babak Falsafi, T. N. Vijaykumar, (electronic resource)
- Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings, edited by Veronica Dahl, Philip Wadler, (electronic resource)
- Practice and Theory of Automated Timetabling IV : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002. Selected Revised Papers, edited by Edmund Burke, Patrick Causmaecker, (electronic resource)
- Precision Physics of Simple Atomic Systems, edited by S. G. Karshenboim, Valery B. Smirnov, (electronic resource)
- Principles and Practice of Constraint Programming – CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings, edited by Francesca Rossi, (electronic resource)
- Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings, edited by François Bry, Nicola Henze, Jan Małuszyński, (electronic resource)
- Privacy Enhancing Technologies : Second International Workshop, PET 2002 San Francisco, CA, USA, April 14–15, 2002 Revised Papers, edited by Roger Dingledine, Paul Syverson, (electronic resource)
- Privacy Enhancing Technologies : Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003. Revised Papers, edited by Roger Dingledine, (electronic resource)
- Process Integration in Biochemical Engineering, edited by Urs. Stockar, L. A. M. Wielen, A. Bruggink, J. M. S. Cabral, S.-O. Enfors, P. Fernandes, M. Jenne, K. Mauch, D. M. F. Prazeres, M. Reuss, S. Schmalzriedt, D. Stark, U. Stockar, A. J. J. Straathof, L. A. M. Wielen, (electronic resource)
- Processes with Long-Range Correlations : Theory and Applications, edited by Govindan Rangarajan, Mingzhou Ding, (electronic resource)
- Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings, edited by Pierpaolo Degano, (electronic resource)
- Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings, edited by Atsushi Ohori, (electronic resource)
- Progress in Artificial Intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. Proceedings, edited by Fernando Moura Pires, Salvador Abreu, (electronic resource)
- Progress in Cryptology - INDOCRYPT 2003 : 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003. Proceedings, edited by Thomas Johansson, Subhamoy Maitra, (electronic resource)
- Progress in Pattern Recognition, Speech and Image Analysis : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003 Proceedings, edited by Alberto Sanfeliu, José Ruiz-Shulcloper, (electronic resource)
- Proteomics of Microorganisms : Fundamental Aspects and Application, edited by M. Hecker, Stefan Müllner, D. J. Cahill, P. Cash, S. J. Cordwell, M. Hecker, H. E. Meyer, M. Mreyen, E. Nordhoff, A. S. Nouwens, W. Schubert, A. Sickmann, R. A. VanBogelen, B. J. Walsh, (electronic resource)
- Quality for All : 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003. Proceedings, edited by Gunnar Karlsson, Michael I. Smirnov, (electronic resource)
- Quality of Future Internet Services : COST Action 263 Final Report, edited by Michael Smirnov, (electronic resource)
- Quality of Service in Multiservice IP Networks : Second International Workshop, QoS-IP 2003 Milano, Italy, February 24–26, 2003 Proceedings, edited by Marco Ajmone Marsan, Giorgio Corazza, Marco Listanti, Aldo Roveri, (electronic resource)
- Quality of Service — IWQoS 2003 : 11th International Workshop Berkeley, CA, USA, June 2–4, 2003 Proceedings, edited by Kevin Jeffay, Ion Stoica, Klaus Wehrle, (electronic resource)
- Quantum Gravity : From Theory to Experimental Search, edited by Domenico J. W. Giulini, Claus Kiefer, Claus Lämmerzahl, (electronic resource)
- Radiation Effects on Polymers for Biological Use, edited by Henning Kausch, N. Anjum, Y. Chevolot, B. Gupta, D. Léonard, H. J. Mathieu, L. A. Pruitt, L. Ruiz-Taylor, M. Scholz, (electronic resource)
- Realization Theory of Discrete-Time Dynamical Systems, edited by Tsuyoshi Matsuo, Yasumichi Hasegawa, (electronic resource)
- Recent Advances in Constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers, edited by Barry O’Sullivan, (electronic resource)
- Recent Advances in Intrusion Detection : 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003. Proceedings, edited by Giovanni Vigna, Christopher Kruegel, Erland Jonsson, (electronic resource)
- Recent Advances in Parallel Virtual Machine and Message Passing Interface : 10th European PVM/MPI User’s Group Meeting, Venice, Italy, September 29 - October 2, 2003. Proceedings, edited by Jack Dongarra, Domenico Laforenza, Salvatore Orlando, (electronic resource)
- Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker, (electronic resource)
- Reliable Software Technologies — Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings, edited by Jean-Pierre Rosen, Alfred Strohmeier, (electronic resource)
- Research and Advanced Technology for Digital Libraries : 7th European Conference, ECDL 2003 Trondheim, Norway, August 17-22, 2003 Proceedings, edited by Traugott Koch, Ingeborg Torvik Sølvberg, (electronic resource)
- Rewriting Techniques and Applications : 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings, edited by Robert Nieuwenhuis, (electronic resource)
- RoboCup 2002: Robot Soccer World Cup VI, edited by Gal A. Kaminka, Pedro U. Lima, Raúl Rojas, (electronic resource)
- Robotics Research : The Tenth International Symposium, edited by Raymond Austin Jarvis, Alexander Zelinsky, (electronic resource)
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings, edited by Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron, (electronic resource)
- Rules and Rule Markup Languages for the Semantic Web : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings, edited by Michael Schröder, Gerd Wagner, (electronic resource)
- SDL 2003: System Design : 11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings, edited by Rick Reed, Jeanne Reed, (electronic resource)
- STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings, edited by Helmut Alt, Michel Habib, (electronic resource)
- Scale Space Methods in Computer Vision : 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings, edited by Lewis D. Griffin, Martin Lillholm, (electronic resource)
- Scientific Engineering for Distributed Java Applications : International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers, edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, (electronic resource)
- Security Engineering with Patterns : Origins, Theoretical Model, and New Applications, by Markus Schumacher, (electronic resource)
- Security in Communication Networks : Third International Conference, SCN 2002 Amalfi, Italy, September 11–13, 2002 Revised Papers, edited by Stelvio Cimato, Giuseppe Persiano, Clemente Galdi, (electronic resource)
- Selected Areas in Cryptography : 9th Annual International Workshop, SAC 2002 St. John’s, Newfoundland, Canada, August 15–16, 2002 Revised Papers, edited by Kaisa Nyberg, Howard Heys, (electronic resource)
- Self-Adaptive Software: Applications : Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised Papers, edited by Robert Laddaga, Howie Shrobe, Paul Robertson, (electronic resource)
- Self-Managing Distributed Systems : 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, edited by Marcus Brunner, Alexander Keller, (electronic resource)
- Self-Stabilizing Systems : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 24–25, 2003 Proceedings, edited by Shing-Tsaan Huang, Ted Herman, (electronic resource)
- Semantics in Databases : Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers, edited by Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim, (electronic resource)
- Series Anthropogenic Compounds : Phtalate Esters, edited by Charles A. Staples, (electronic resource)
- Service-Oriented Computing - ICSOC 2003 : First International Conference, Trento, Italy, December 15-18, 2003. Proceedings, edited by Maria E. Orlowska, Sanjiva Weerawarana, Michael P. Papazoglou, Jian Yang, (electronic resource)
- Smart Graphics : Third International Symposium on Smart Graphics, SG 2003 Heidelberg, Germany, July 2–4, 2003 Proceedings, edited by Andreas Butz, Antonio Krüger, Patrick Olivier, (electronic resource)
- Software Configuration Management : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14–15, 2001 and Portland, OR, USA, May 9–10, 2003. Selected Papers, edited by Bernhard Westfechtel, André Hoek, (electronic resource)
- Software Engineering and Middleware : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers, edited by Alberto Coen-Porisini, André Hoek, (electronic resource)
- Software Engineering for Large-Scale Multi-Agent Systems : Research Issues and Practical Applications, edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro, (electronic resource)
- Software Process Technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003. Proceedings, edited by Flavio Oquendo, (electronic resource)
- Software Security — Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers, edited by Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa, (electronic resource)
- Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings, edited by Andreas Krall, (electronic resource)
- Space Plasma Simulation, edited by Jörg Büchner, Manfred Scholer, Christian T. Dum, (electronic resource)
- Spatial Cognition III : Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning, edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender, (electronic resource)
- Spatial Information Theory. Foundations of Geographic Information Science : International Conference, COSIT 2003, Kartause Ittingen, Switzerland, September 24-28, 2003. Proceedings, edited by Walter Kuhn, Michael F. Worboys, Sabine Timpf, (electronic resource)
- Spatio-Temporal Databases : The CHOROCHRONOS Approach, edited by Timos K. Sellis, Manolis Koubarakis, Andrew Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian Jensen, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Babis Theodoulidis, Nectaria Tryfona, Hans-Jörg Schek, Michel O. Scholl, (electronic resource)
- Spatio-Temporal Dynamics and Quantum Fluctuations in Semiconductor Lasers, by Edeltraud Gehrig, Ortwin Hess, (electronic resource)
- Spin--Orbit Coupling Effects in Two-Dimensional Electron and Hole Systems, by Roland Winkler, (electronic resource)
- Spinning Particles - Semiclassics and Spectral Statistics, by Stefan Keppeler, (electronic resource)
- Stability Estimates for Hybrid Coupled Domain Decomposition Methods, by Olaf Steinbach, (electronic resource)
- Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings, edited by Radhia Cousot, (electronic resource)
- Statistical Mechanics of Complex Networks, edited by Romualdo Pastor-Satorras, Miguel Rubi, Albert Diaz-Guilera, (electronic resource)
- Stellar Candles for the Extragalactic Distance Scale, edited by Danielle Alloin, Wolfgang Gieren, (electronic resource)
- Stochastic Algorithms: Foundations and Applications : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003. Proceedings, edited by Andreas Albrecht, Kathleen Steinhöfel, (electronic resource)
- String Processing and Information Retrieval : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003. Proceedings, edited by Mario A. Nascimento, Edleno S. Moura, Arlindo L. Oliveira, (electronic resource)
- Supernovae and Gamma-Ray Bursters, edited by Kurt W. Weiler, (electronic resource)
- Surgery Simulation and Soft Tissue Modeling : International Symposium, IS4TM 2003 Juan-Les-Pins, France, June 12–13, 2003, Proceedings, edited by Nicholas Ayache, Hervé Delingette, (electronic resource)
- Symbolic and Numerical Scientific Computation : Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers, edited by Franz Winkler, Ulrich Langer, (electronic resource)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings, edited by Thomas Dyhre Nielsen, Nevin Lianwen Zhang, (electronic resource)
- Séminaire de Probabilités XXXVI, edited by Jacques Azéma, Michel Émery, Michel Ledoux, Marc Yor, (electronic resource)
- Séminaire de Probabilités XXXVII, edited by Jacques Azéma, Michel Émery, Michel Ledoux, Marc Yor, (electronic resource)
- Technologies for E-Services : 4th International Workshop, TES 2003, Berlin, Germany, September 7-8, 2003. Proceedings, edited by Boualem Benatallah, Ming-Chien Shan, (electronic resource)
- Telecommunications and beyond: The BroaderApplicability of SDL and MSC : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers, edited by Edel Sherratt, (electronic resource)
- Testing of Communicating Systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings, edited by Dieter Hogrefe, Anthony Wiles, (electronic resource)
- Text, Speech and Dialogue : 6th International Conference, TSD 2003, České Budéjovice, Czech Republic, September 8-12, 2003. Proceedings, edited by Václav Matoušek, Pavel Mautner, (electronic resource)
- Text- and Speech-Triggered Information Access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30 2000. Revised Lectures, edited by Steve Renals, Gregory Grefenstette, (electronic resource)
- The Kolmogorov Legacy in Physics, edited by Roberto Livi, Angelo Vulpiani, (electronic resource)
- The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic, by Frithjof Dau, (electronic resource)
- The Mathematical Aspects of Quantum Maps, edited by Mirko Degli Esposti, Sandro Graffi, (electronic resource)
- The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003. Proceedings, edited by Dieter Fensel, Katia Sycara, John Mylopoulos, (electronic resource)
- The Sun’s Surface and Subsurface : Investigating Shape and Irradiance, edited by Jean Pierre Rozelot, (electronic resource)
- Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings, edited by David Basin, Burkhart Wolff, (electronic resource)
- Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings, edited by Carlo Blundo, Cosimo Laneve, (electronic resource)
- Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI. Revised Papers, edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens, (electronic resource)
- Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings, edited by Hubert Garavel, John Hatcliff, (electronic resource)
- Topics in Cryptology — CT-RSA 2003 : The Cryptographers’ Track at the RSA Conference 2003 San Francisco, CA, USA, April 13–17, 2003 Proceedings, edited by Marc Joye, (electronic resource)
- Topics in Spatial Stochastic Processes : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, July 1-8, 2001, by Vincenzo Capasso, Ely Merzbach, B. Gail Ivanoff, Marco Dozzi, Robert C. Dalang, Thomas S. Mountford, (electronic resource)
- Transmission Electron Microscopy of Semiconductor Nanostructures: Analysis of Composition and Strain State, by Andreas Rosenauer, (electronic resource)
- Transverse Patterns in Nonlinear Optical Resonators, by Kçstutis Staliūnas, Victor J. Sánchez-Morcillo, (electronic resource)
- Transverse-Pattern Formation in Photorefractive Optics, by Cornelia Denz, Michael Schwab, Carsten Weilnau, (electronic resource)
- Trust Management : First International Conference, iTrust 2003 Heraklion, Crete, Greece, May 28–30, 2003 Proceedings, edited by Paddy Nixon, Sotirios Terzis, (electronic resource)
- Trust, Reputation, and Security: Theories and Practice : AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002. Selected and Invited Papers, edited by Rino Falcone, Suzanne Barber, Larry Korba, Munindar Singh, (electronic resource)
- Turbulence and Magnetic Fields in Astrophysics, edited by Edith Falgarone, Thierry Passot, (electronic resource)
- Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings, edited by Martin Hofmann, (electronic resource)
- Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers, edited by Herman Geuvers, Freek Wiedijk, (electronic resource)
- UbiComp 2003: Ubiquitous Computing : 5th International Conference, Seattle, WA, USA, October 12-15, 2003. Proceedings, edited by Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy, (electronic resource)
- Uncovering CP Violation : Experimental Clarification in the Neutral K Meson and B Meson Systems, by Konrad Kleinknecht, (electronic resource)
- Understanding Calcium Dynamics : Experiments and Theory, edited by Martin Falcke, Dieter Malchow, (electronic resource)
- Universal Access Theoretical Perspectives, Practice, and Experience : 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers, edited by Noëlle Carbonell, Constantine Stephanidis, (electronic resource)
- User Modeling 2003 : 9th International Conference, UM 2003 Johnstown, PA, USA, June 22–26, 2003 Proceedings, edited by Peter Brusilovsky, Albert Corbett, Fiorella Rosis, (electronic resource)
- Utilizing Problem Structure in Planning : A Local Search Approach, by Jörg Hoffmann, (electronic resource)
- Variational Methods for Crystalline Microstructure - Analysis and Computation, by Georg Dolzmann, (electronic resource)
- Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings, edited by Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, (electronic resource)
- Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, edited by Nachum Dershowitz, (electronic resource)
- Virtual Storytelling. Using Virtual RealityTechnologies for Storytelling : Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003. Proceedings, edited by Olivier Balet, Gérard Subsol, Patrice Torguet, (electronic resource)
- Visual Content Processing and Representation : 8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003. Proceedings, edited by Narciso García, Luis Salgado, José M. Martínez, (electronic resource)
- WEBKDD 2002 - Mining Web Data for Discovering Usage Patterns and Profiles : 4th International Workshop, Edmonton, Canada, July 23, 2002. Revised Papers, edited by Osmar R. Zaïane, Jaideep Srivastava, Myra Spiliopoulou, Brij Masand, (electronic resource)
- Web Engineering : International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings, edited by Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Jose Emilio Labra Gayo, María Puerto Paule Ruiz, Luis Joyanes Aguilar, (electronic resource)
- Web Knowledge Management and Decision Support : 14th International Conference on Applications of Prolog, INAP 2001 Tokyo, Japan, October 20–22, 2001 Revised Papers, edited by Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, Osamu Yoshie, (electronic resource)
- Web Services - ICWS-Europe 2003, edited by Mario Jeckle, Liang-Jie Zhang, (electronic resource)
- Web Technologies and Applications : 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 23–25, 2003 Proceedings, edited by Xiaofang Zhou, Maria E. Orlowska, Yanchun Zhang, (electronic resource)
- Web and Communication Technologies and Internet-Related Social Issues — HSI 2003 : Second International Conference on Human.Society@Internet Seoul, Korea, June 18–20, 2003 Proceedings, edited by Chin-Wan Chung, Chong-Kwon Kim, Won Kim, Tok-Wang Ling, Kwan-Ho Song, (electronic resource)
- Web, Web-Services, and Database Systems : NODe 2002 Web- and Database-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers, edited by Akmal B. Chaudhri, Mario Jeckle, Erhard Rahm, Rainer Unland, (electronic resource)
- ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings, edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén, (electronic resource)
- «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings, edited by Perdita Stevens, Jon Whittle, Grady Booch, (electronic resource)
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/iRTF2f0f0ho/" typeof="PublicationEvent http://bibfra.me/vocab/lite/ProviderEvent"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/iRTF2f0f0ho/">Berlin, Heidelberg, Springer Berlin Heidelberg, 2003</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the ProviderEvent Berlin, Heidelberg, Springer Berlin Heidelberg, 2003
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/iRTF2f0f0ho/" typeof="PublicationEvent http://bibfra.me/vocab/lite/ProviderEvent"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/iRTF2f0f0ho/">Berlin, Heidelberg, Springer Berlin Heidelberg, 2003</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
