Springer Computer Science eBook Collection

Last updated September 2009

• (Re)Searching The Digital Bauhaus


• 25 Years of Model Checking


• 3D Computer Vision


• 3D Imaging for Safety and Security


• 3-D Shape Estimation and Image Restoration


• 50 Years of Artificial Intelligence


• A Brief History of Computing


• A Classical Introduction to Cryptography


• A Classical Introduction to Cryptography Exercise Book


• A Computational Approach to Digital Chinese Painting and Calligraphy


• A Computational Model of Natural Language Communication


• A Computer Scientist's Guide to Cell Biology


• A Concise and Practical Introduction to Programming Algorithms in Java


• A Concise Introduction to Data Compression


• A Concise Introduction to Languages and Machines


• A Concise Introduction to Software Engineering


• A Generative Theory of Relevance


• A Graph-Theoretic Approach to Enterprise Network Dynamics


• A Guide to Computer Network Security


• A Modern Approach to Intelligent Animation


• A Modular Calculus for the Average Cost of Data Structuring


• A Practical Programming Model for the Multi-Core Era


• A Practical Theory of Reactive Systems


• A Software Process Model Handbook for Incorporating People’s Capabilities


• A Theory of Distributed Objects


• Abstract Computing Machines


• Abstract State Machines, B and Z


• Abstraction, Refinement and Proof for Probabilistic Systems


• Abstraction, Reformulation and Approximation


• Abstraction, Reformulation, and Approximation


• Access Control Systems


• Access to Mobile Services


• Accessible Access 2003


• Accessing Multilingual Information Repositories


• Achievements in European Research on Grid Systems


• Active and Programmable Networks


• Active Conceptual Modeling of Learning


• Active Knowledge Modeling of Enterprises


• Active Mining


• Active Networks


• Ada 2005 Rationale


• Ada 2005 Reference Manual. Language and Standard Libraries


• Ada for Software Engineers (Second Edition with Ada 2005)


• Adapting Proofs-as-Programs


• Adaptive Agents and Multi-Agent Systems III


• Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning


• Adaptive and Natural Computing Algorithms


• Adaptive and Natural Computing Algorithms


• Adaptive and Natural Computing Algorithms


• Adaptive Bidding in Single-Sided Auctions Under Uncertainty


• Adaptive Business Intelligence


• Adaptive Hypermedia and Adaptive Web-Based Systems


• Adaptive Hypermedia and Adaptive Web-Based Systems


• Adaptive Learning of Polynomial Networks


• Adaptive Motion of Animals and Machines


• Adaptive Multimedia Retrieval: User, Context, and Feedback


• Adaptive Multimedia Retrieval: User, Context, and Feedback


• Adaptive Multimedial Retrieval: Retrieval, User, and Semantics


• Ad-Hoc Networking


• Ad-hoc Networks: Fundamental Properties and Network Topologies


• Ad-hoc, Mobile and Wireless Networks


• Ad-Hoc, Mobile and Wireless Networks


• Ad-Hoc, Mobile, and Wireless Networks


• Ad-Hoc, Mobile, and Wireless Networks


• Ad-Hoc, Mobile, and Wireless Networks


• Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction


• Adoption-centric Usability Engineering


• Advanced Agent-Based Environmental Management Systems


• Advanced Autonomic Networking and Communication


• Advanced Concepts for Intelligent Vision Systems


• Advanced Concepts for Intelligent Vision Systems


• Advanced Concepts for Intelligent Vision Systems


• Advanced Concepts for Intelligent Vision Systems


• Advanced Data Mining and Applications


• Advanced Data Mining and Applications


• Advanced Data Mining and Applications


• Advanced Data Mining and Applications


• Advanced Data Mining and Applications


• Advanced Data Warehouse Design


• Advanced Distributed Systems


• Advanced Encryption Standard – AES


• Advanced Functional Programming


• Advanced Information Systems Engineering


• Advanced Information Systems Engineering


• Advanced Information Systems Engineering


• Advanced Information Systems Engineering


• Advanced Information Systems Engineering


• Advanced Information Systems Engineering


• Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence


• Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence


• Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques


• Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques


• Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues


• Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues


• Advanced Internet Based Systems and Applications


• Advanced Methods for Inconsistent Knowledge Management


• Advanced Methods for Knowledge Discovery from Complex Data


• Advanced Parallel Processing Technologies


• Advanced Parallel Processing Technologies


• Advanced Parallel Processing Technologies


• Advanced Software Engineering: Expanding the Frontiers of Software Technology


• Advanced Studies in Biometrics


• Advanced Techniques in Knowledge Discovery and Data Mining


• Advanced Topics in Exception Handling Techniques


• Advanced Web and Network Technologies, and Applications


• Advanced Web and NetworkTechnologies, and Applications


• Advances in Ad Hoc Networking


• Advances in Applied Artificial Intelligence


• Advances in Applied Self-organizing Systems


• Advances in Artificial Economics


• Advances in Artificial Intelligence


• Advances in Artificial Intelligence


• Advances in Artificial Intelligence


• Advances in Artificial Intelligence


• Advances in Artificial Intelligence


• Advances in Artificial Intelligence


• Advances in Artificial Intelligence – IBERAMIA 2008


• Advances in Artificial Intelligence - IBERAMIA-SBIA 2006


• Advances in Artificial Intelligence - SBIA 2008


• Advances in Artificial Life


• Advances in Artificial Life


• Advances in Artificial Reality and Tele-Existence


• Advances in Bioinformatics and Computational Biology


• Advances in Bioinformatics and Computational Biology


• Advances in Bioinformatics and Computational Biology


• Advances in Bioinformatics and Computational Biology


• Advances in Biometric Person Authentication


• Advances in Biometric Person Authentication


• Advances in Biometrics


• Advances in Biometrics


• Advances in Biometrics


• Advances in Biometrics


• Advances in Blended Learning


• Advances in Brain, Vision, and Artificial Intelligence


• Advances in Case-Based Reasoning


• Advances in Case-Based Reasoning


• Advances in Computation and Intelligence


• Advances in Computation and Intelligence


• Advances in Computational Algorithms and Data Analysis


• Advances in Computational Vision and Medical Image Processing


• Advances in Computer and Information Sciences and Engineering


• Advances in Computer Games


• Advances in Computer Graphics


• Advances in Computer Graphics and Computer Vision


• Advances in Computer Science - ASIAN 2004


• Advances in Computer Science – ASIAN 2005


• Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues


• Advances in Computer Science – ASIAN 2007. Computer and Network Security


• Advances in Computer Science and Engineering


• Advances in Computer Systems Architecture


• Advances in Computer Systems Architecture


• Advances in Computer Systems Architecture


• Advances in Conceptual Modeling


• Advances in Conceptual Modeling – Challenges and Opportunities


• Advances in Conceptual Modeling – Foundations and Applications


• Advances in Conceptual Modeling - Theory and Practice


• Advances in Cryptology - ASIACRYPT 2005


• Advances in Cryptology – ASIACRYPT 2006


• Advances in Cryptology – ASIACRYPT 2007


• Advances in Cryptology - ASIACRYPT 2008


• Advances in Cryptology – CRYPTO 2005


• Advances in Cryptology - CRYPTO 2006


• Advances in Cryptology - CRYPTO 2007


• Advances in Cryptology – CRYPTO 2008


• Advances in Cryptology - CRYPTO 2009


• Advances in Cryptology – EUROCRYPT 2005


• Advances in Cryptology - EUROCRYPT 2006


• Advances in Cryptology - EUROCRYPT 2007


• Advances in Cryptology – EUROCRYPT 2008


• Advances in Cryptology - EUROCRYPT 2009


• Advances in Data and Web Management


• Advances in Data and Web Management


• Advances in Data Mining


• Advances in Data Mining


• Advances in Data Mining. Applications and Theoretical Aspects


• Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects


• Advances in Data Mining. Theoretical Aspects and Applications


• Advances in Database Technology - EDBT 2006


• Advances in Databases and Information Systems


• Advances in Databases and Information Systems


• Advances in Databases and Information Systems


• Advances in Databases and Information Systems


• Advances in Databases and Information Systems


• Advances in Databases and Information Systems


• Advances in Databases: Concepts, Systems and Applications


• Advances in Digital Forensics


• Advances in Digital Forensics III


• Advances in Digital Forensics IV


• Advances in Geometric Modeling and Processing


• Advances in Grid and Pervasive Computing


• Advances in Grid and Pervasive Computing


• Advances in Grid and Pervasive Computing


• Advances in Grid and Pervasive Computing


• Advances in Grid Computing - EGC 2005


• Advances in Hybrid Information Technology


• Advances in Image and Video Technology


• Advances in Image and Video Technology


• Advances in Image and Video Technology


• Advances in Informatics


• Advances in Information and Computer Security


• Advances in Information and Computer Security


• Advances in Information and Computer Security


• Advances in Information Processing and Protection


• Advances in Information Retrieval


• Advances in Information Retrieval


• Advances in Information Retrieval


• Advances in Information Retrieval


• Advances in Information Retrieval


• Advances in Information Security and Assurance


• Advances in Information Security and Its Application


• Advances in Information Systems


• Advances in Information Systems


• Advances in Information Systems Development


• Advances in Information Systems Development


• Advances in Information Systems Research, Education and Practice


• Advances in Intelligent Computing


• Advances in Intelligent Computing


• Advances in Intelligent Data Analysis VI


• Advances in Intelligent Data Analysis VII


• Advances in Intelligent Data Analysis VIII


• Advances in Knowledge Acquisition and Management


• Advances in Knowledge Discovery and Data Mining


• Advances in Knowledge Discovery and Data Mining


• Advances in Knowledge Discovery and Data Mining


• Advances in Knowledge Discovery and Data Mining


• Advances in Knowledge Discovery and Data Mining


• Advances in Machine Learning and Cybernetics


• Advances in Machine Vision, Image Processing, and Pattern Analysis


• Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry


• Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry


• Advances in Metaheuristics for Hard Optimization


• Advances in Mulitmedia Information Processing - PCM 2005


• Advances in Mulitmedia Information Processing - PCM 2005


• Advances in Multilingual and Multimodal Information Retrieval


• Advances in Multimedia Information Processing - PCM 2004


• Advances in Multimedia Information Processing - PCM 2004


• Advances in Multimedia Information Processing - PCM 2004


• Advances in Multimedia Information Processing - PCM 2006


• Advances in Multimedia Information Processing – PCM 2007


• Advances in Multimedia Information Processing - PCM 2008


• Advances in Multimedia Information Systems


• Advances in Multimedia Modeling


• Advances in Multimedia Modeling


• Advances in Multimedia Modeling


• Advances in Multimedia Modeling


• Advances in Natural Computation


• Advances in Natural Computation


• Advances in Natural Computation


• Advances in Natural Computation


• Advances in Natural Computation


• Advances in Natural Language Processing


• Advances in Natural Language Processing


• Advances in Neural Networks – ISNN 2005


• Advances in Neural Networks – ISNN 2005


• Advances in Neural Networks – ISNN 2005


• Advances in Neural Networks - ISNN 2006


• Advances in Neural Networks - ISNN 2006


• Advances in Neural Networks - ISNN 2006


• Advances in Neural Networks – ISNN 2007


• Advances in Neural Networks – ISNN 2007


• Advances in Neural Networks – ISNN 2007


• Advances in Neural Networks - ISNN 2008


• Advances in Neural Networks - ISNN 2008


• Advances in Neural Networks – ISNN 2009


• Advances in Neural Networks – ISNN 2009


• Advances in Neural Networks – ISNN 2009


• Advances in Neuro-Information Processing


• Advances in Neuro-Information Processing


• Advances in Nonlinear Speech Processing


• Advances in Pervasive Computing and Networking


• Advances in Production Management Systems


• Advances in Robotics


• Advances in Rule Interchange and Applications


• Advances in Self-Organizing Maps


• Advances in Smalltalk


• Advances in Software Engineering


• Advances in Spatial and Temporal Databases


• Advances in Spatial and Temporal Databases


• Advances in Spatial and Temporal Databases


• Advances in Visual Computing


• Advances in Visual Computing


• Advances in Visual Computing


• Advances in Visual Computing


• Advances in Visual Computing


• Advances in Visual Computing


• Advances in Visual Computing


• Advances in Visual Information Systems


• Advances in Web and Network Technologies, and Information Management


• Advances in Web and Network Technologies, and Information Management


• Advances in Web Based Learning – ICWL 2006


• Advances in Web Based Learning – ICWL 2007


• Advances in Web Based Learning - ICWL 2008


• Advances in Web Based Learning – ICWL 2009


• Advances in Web Intelligence


• Advances in Web Mining and Web Usage Analysis


• Advances in Web Mining and Web Usage Analysis


• Advances in Web Mining and Web Usage Analysis


• Advances in Web Mining and Web Usage Analysis


• Advances in Web Semantics I


• Advances in Web-Age Information Management


• Advances in Web-Age Information Management


• Advances in Web-Based Learning – ICWL 2005


• Advances in Wireless Ad Hoc and Sensor Networks


• Advances in XML Information Retrieval


• Advances in XML Information Retrieval and Evaluation


• Advancing Social Simulation: The First World Congress


• Affect and Emotion in Human-Computer Interaction


• Affective Computing and Intelligent Interaction


• Affective Computing and Intelligent Interaction


• Affective Information Processing


• Agent and Multi-Agent Systems: Technologies and Applications


• Agent and Multi-Agent Systems: Technologies and Applications


• Agent and Multi-Agent Systems: Technologies and Applications


• Agent Communication


• Agent Communication II


• Agent Computing and Multi-Agent Systems


• Agent Computing and Multi-Agent Systems


• Agent Intelligence Through Data Mining


• Agent Technologies, Infrastructures, Tools, and Applications for E-Services


• Agent Technology and e-Health


• Agent Technology from a Formal Perspective


• Agent-Based Approaches in Economic and Social Complex Systems IV


• Agent-Based Simulation: From Modeling Methodologies to Real-World Applications


• Agent-based Supply Network Event Management


• Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis


• Agent-Mediated Electronic Commerce VI


• Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets


• Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms


• Agent-Oriented Information Systems II


• Agent-Oriented Information Systems III


• Agent-Oriented Information Systems IV


• Agent-Oriented Software Engineering IX


• Agent-Oriented Software Engineering V


• Agent-Oriented Software Engineering VI


• Agent-Oriented Software Engineering VII


• Agent-Oriented Software Engineering VIII


• Agents and Data Mining Interaction


• Agents and Peer-to-Peer Computing


• Agents and Peer-to-Peer Computing


• Agents and Peer-to-Peer Computing


• Agents and Peer-to-Peer Computing


• Agile Processes in Software Engineering and Extreme Programming


• Agile Processes in Software Engineering and Extreme Programming


• Agile Processes in Software Engineering and Extreme Programming


• Agile Software Construction


• Agile Software Engineering


• AI 2004: Advances in Artificial Intelligence


• AI 2005: Advances in Artificial Intelligence


• AI 2006: Advances in Artificial Intelligence


• AI 2007: Advances in Artificial Intelligence


• AI 2008: Advances in Artificial Intelligence


• AI*IA 2005: Advances in Artificial Intelligence


• AI*IA 2007: Artificial Intelligence and Human-Oriented Computing


• Ajax in Oracle JDeveloper


• Algebra and Coalgebra in Computer Science


• Algebra and Coalgebra in Computer Science


• Algebra, Meaning and Computation


• Algebraic and Proof-theoretic Aspects of Non-classical Logics


• Algebraic Aspects of the Advanced Encryption Standard


• Algebraic Biology


• Algebraic Biology


• Algebraic Cryptanalysis


• Algebraic Informatics


• Algebraic Informatics


• Algebraic Methodology and Software Technology


• Algebraic Methodology and Software Technology


• Algebraic Methodology and Software Technology


• Algorithm Theory – SWAT 2006


• Algorithm Theory – SWAT 2008


• Algorithmes d’approximation


• Algorithmic Adventures


• Algorithmic Applications in Management


• Algorithmic Aspects in Information and Management


• Algorithmic Aspects in Information and Management


• Algorithmic Aspects in Information and Management


• Algorithmic Aspects in Information and Management


• Algorithmic Aspects of Bioinformatics


• Algorithmic Aspects of Wireless Sensor Networks


• Algorithmic Aspects of Wireless Sensor Networks


• Algorithmic Aspects of Wireless Sensor Networks


• Algorithmic Bioprocesses


• Algorithmic Game Theory


• Algorithmic Learning in a Random World


• Algorithmic Learning Theory


• Algorithmic Learning Theory


• Algorithmic Learning Theory


• Algorithmic Learning Theory


• Algorithmic Learning Theory


• Algorithmic Learning Theory


• Algorithmic Learning Theory


• Algorithmic Methods for Railway Optimization


• Algorithmic Number Theory


• Algorithmic Number Theory


• Algorithmics of Large and Complex Networks


• Algorithms – ESA 2005


• Algorithms – ESA 2006


• Algorithms – ESA 2007


• Algorithms - ESA 2008


• Algorithms and Architectures for Parallel Processing


• Algorithms and Architectures for Parallel Processing


• Algorithms and Architectures for Parallel Processing


• Algorithms and Complexity


• Algorithms and Computation


• Algorithms and Computation


• Algorithms and Computation


• Algorithms and Computation


• Algorithms and Computation


• Algorithms and Data Structures


• Algorithms and Data Structures


• Algorithms and Data Structures


• Algorithms and Data Structures


• Algorithms and Models for the Web-Graph


• Algorithms and Models for the Web-Graph


• Algorithms and Models for the Web-Graph


• Algorithms for Sensor and Ad Hoc Networks


• Algorithms in Bioinformatics


• Algorithms in Bioinformatics


• Algorithms in Bioinformatics


• Algorithms in Bioinformatics


• Algorithms in Invariant Theory


• All About Maude - A High-Performance Logical Framework


• Alternative Breast Imaging


• Ambient Assistive Health and Wellness Management in the Heart of the City


• Ambient Intelligence


• Ambient Intelligence


• Ambient Intelligence


• Ambient Intelligence for Scientific Discovery


• Ambient Intelligence in Everyday Life


• Ambient Networks


• Ambulation Analysis in Wearable ECG


• AmIware Hardware Technology Drivers of Ambient Intelligence


• An Approach to Modelling Software Evolution Processes


• An Integrated Approach to Software Engineering


• An Introduction to HTML and JavaScript


• An Introduction to Knowledge Engineering


• An Introduction to Kolmogorov Complexity and Its Applications


• An Introduction to Language Processing with Perl and Prolog


• An Introduction to Network Programming with Java


• An Introduction to PHP for Scientists and Engineers


• Analysis and Design of Information Systems


• Analysis and Modeling of Faces and Gestures


• Analysis and Modelling of Faces and Gestures


• Analytical and Stochastic Modeling Techniques and Applications


• Analytical and Stochastic Modeling Techniques and Applications


• Analyzing Computer System Performance with Perl::PDQ


• Anaphora: Analysis, Algorithms and Applications


• Anatomy Ontologies for Bioinformatics


• Annotating, Extracting and Reasoning about Time and Events


• Ant Colony Optimization and Swarm Intelligence


• Ant Colony Optimization and Swarm Intelligence


• Anticipatory Behavior in Adaptive Learning Systems


• Anticipatory Behavior in Adaptive Learning Systems


• Anti-Spam Measures


• Applications and Innovations in Intelligent Systems XII


• Applications and Innovations in Intelligent Systems XIII


• Applications and Innovations in Intelligent Systems XV


• Applications and Theory of Petri Nets


• Applications and Theory of Petri Nets


• Applications and Theory of Petri Nets 2005


• Applications of Agent Technology in Traffic and Transportation


• Applications of Declarative Programming and Knowledge Management


• Applications of Declarative Programming and Knowledge Management


• Applications of Evolutionary Computing


• Applications of Evolutionary Computing


• Applications of Evolutionary Computing


• Applications of Evolutionary Computing


• Applications of Fuzzy Sets Theory


• Applications of Graph Transformations with Industrial Relevance


• Applications of Membrane Computing


• Applications on Evolutionary Computing


• Applied Algebra, Algebraic Algorithms and Error-Correcting Codes


• Applied Algebra, Algebraic Algorithms and Error-Correcting Codes


• Applied Algebra, Algebraic Algorithms and Error-Correcting Codes


• Applied Computing, Computer Science, and Advanced Communication


• Applied Cryptography and Network Security


• Applied Cryptography and Network Security


• Applied Cryptography and Network Security


• Applied Cryptography and Network Security


• Applied Cryptography and Network Security


• Applied Parallel Computing


• Applied Parallel Computing. State of the Art in Scientific Computing


• Approximation and Online Algorithms


• Approximation and Online Algorithms


• Approximation and Online Algorithms


• Approximation and Online Algorithms


• Approximation and Online Algorithms


• Approximation, Randomization and Combinatorial Optimization


• Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques


• Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques


• Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques


• Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques


• Arabic and Chinese Handwriting Recognition


• Architecting Dependable Systems III


• Architecting Dependable Systems IV


• Architecting Dependable Systems V


• Architecting Systems with Trustworthy Components


• Architecture Description Languages


• Architecture of Computing Systems - ARCS 2006


• Architecture of Computing Systems - ARCS 2007


• Architecture of Computing Systems – ARCS 2008


• Architecture of Computing Systems – ARCS 2009


• Architectures for Adaptive Software Systems


• Argumentation in Artificial Intelligence


• Argumentation in Multi-Agent Systems


• Argumentation in Multi-Agent Systems


• Argumentation in Multi-Agent Systems


• Argumentation in Multi-Agent Systems


• Argumentation in Multi-Agent Systems


• Arithmetic of Finite Fields


• Arithmetic of Finite Fields


• Articulated Motion and Deformable Objects


• Articulated Motion and Deformable Objects


• Artifical Intelligence for Human Computing


• Artificial Evolution


• Artificial Evolution


• Artificial General Intelligence


• Artificial Immune Systems


• Artificial Immune Systems


• Artificial Immune Systems


• Artificial Immune Systems


• Artificial Immune Systems


• Artificial Intelligence and Innovations 2007: from Theory to Applications


• Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach


• Artificial Intelligence and Neural Networks


• Artificial Intelligence and Simulation


• Artificial Intelligence and Soft Computing – ICAISC 2006


• Artificial Intelligence and Soft Computing – ICAISC 2008


• Artificial Intelligence and Symbolic Computation


• Artificial Intelligence Applications and Innovations


• Artificial Intelligence Applications and Innovations


• Artificial Intelligence Applications and Innovations III


• Artificial Intelligence in Medicine


• Artificial Intelligence in Medicine


• Artificial Intelligence in Medicine


• Artificial Intelligence in Theory and Practice


• Artificial Intelligence in Theory and Practice II


• Artificial Intelligence: Methodology, Systems, and Applications


• Artificial Intelligence: Methodology, Systems, and Applications


• Artificial Intelligence: Theories, Models and Applications


• Artificial Life Models in Hardware


• Artificial Life Models in Software


• Artificial Life Models in Software


• Artificial Neural Networks – ICANN 2006


• Artificial Neural Networks – ICANN 2006


• Artificial Neural Networks – ICANN 2007


• Artificial Neural Networks – ICANN 2007


• Artificial Neural Networks - ICANN 2008


• Artificial Neural Networks - ICANN 2008


• Artificial Neural Networks in Pattern Recognition


• Artificial Neural Networks in Pattern Recognition


• Artificial Neural Networks: Biological Inspirations – ICANN 2005


• Artificial Neural Networks: Biological Inspirations – ICANN 2005


• Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005


• Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers


• AsiaSim 2007


• Asymmetry: The Foundation of Information


• Attention and Performance in Computational Vision


• Attention in Cognitive Systems


• Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint


• Auctions, Market Mechanisms and Their Applications


• Audio- and Video-Based Biometric Person Authentication


• Augmented Vision Perception in Infrared


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automata, Languages and Programming


• Automated Deduction – CADE-20


• Automated Deduction – CADE-21


• Automated Deduction – CADE-22


• Automated Deduction in Geometry


• Automated Deduction in Geometry


• Automated Multi-Camera Surveillance: Algorithms and Practice


• Automated Reasoning


• Automated Reasoning


• Automated Reasoning with Analytic Tableaux and Related Methods


• Automated Reasoning with Analytic Tableaux and Related Methods


• Automated Technology for Verification and Analysis


• Automated Technology for Verification and Analysis


• Automated Technology for Verification and Analysis


• Automated Technology for Verification and Analysis


• Automatic Program Development


• Automatic Quantum Computer Programming


• Automatic Speech Recognition on Mobile Devices and over Communication Networks


• Automating Business Modelling


• Automotive Software – Connected Services in Mobile Networks


• Autonomic and Trusted Computing


• Autonomic and Trusted Computing


• Autonomic and Trusted Computing


• Autonomic and Trusted Computing


• Autonomic Communication


• Autonomic Communication


• Autonomic Management of Mobile Multimedia Services


• Autonomic Networking


• Autonomic Principles of IP Operations and Management


• Autonomous Intelligent Systems: Agents and Data Mining


• Autonomous Intelligent Systems: Multi-Agents and Data Mining


• Autonomy Oriented Computing


• Avatars at Work and Play


• Awareness Systems


• B 2007: Formal Specification and Development in B


• Balanced Website Design


• Balancing Agility and Formalism in Software Engineering


• Bayesian Networks and Decision Graphs


• Bee-Inspired Protocol Engineering


• Best Practices in Software Measurement


• Bézier and Splines in Image Processing and Machine Vision


• Bidding Strategies in Agent-Based Continuous Double Auctions


• Bioinformatics


• Bioinformatics


• Bioinformatics


• Bioinformatics and Computational Biology


• Bioinformatics and Computational Biology Solutions Using R and Bioconductor


• Bioinformatics Research and Applications


• Bioinformatics Research and Applications


• Bioinformatics Research and Applications


• Bioinformatics Research and Development


• Bioinformatics Research and Development


• Bioinformatics Technologies


• Bioinspired Applications in Artificial and Natural Computation


• Bio-Inspired Computational Intelligence and Applications


• Bio-Inspired Computing and Communication


• Bio-inspired Modeling of Cognitive Tasks


• Bio-Inspired Systems: Computational and Ambient Intelligence


• Biological and Artificial Intelligence Environments


• Biological and Medical Data Analysis


• Biological and Medical Data Analysis


• Biologically Inspired Algorithms for Financial Modelling


• Biologically Inspired Approaches to Advanced Information Technology


• Biologically Inspired Cooperative Computing


• Biologically Motivated Computer Vision


• Biologically-Inspired Collaborative Computing


• Biomedical Engineering Systems and Technologies


• Biomedical Image Registration


• Biomedical Simulation


• Biomedical Simulation


• Biometric System and Data Analysis


• Biometric Systems


• Biometric User Authentication for it Security


• Biometrics and Identity Management


• Biometrics, Computer Security Systems and Artificial Intelligence Applications


• Biomimetic Neural Learning for Intelligent Robots


• Biosurveillance and Biosecurity


• Body Sensor Networks


• Botnet Detection


• Boundary Representation Modelling Techniques


• Brain, Vision, and Artificial Intelligence


• Broadband Satellite Comunication Systems and the Challenges of Mobility


• Building an Enterprise Architecture Practice


• Business Agility and Information Technology Diffusion


• Business Information Systems


• Business Intelligence for the Real-Time Enterprises


• Business Process Management


• Business Process Management


• Business Process Management


• Business Process Management


• Business Process Management


• Business Process Management


• Business Process Management Workshops


• Business Process Management Workshops


• Business Process Management Workshops


• Canadian Semantic Web


• CASCOM: Intelligent Service Coordination in the Semantic Web


• Case-Based Approximate Reasoning


• Case-Based Reasoning Research and Development


• Case-Based Reasoning Research and Development


• Case-Based Reasoning Research and Development


• Categories for Software Engineering


• Cellular Automata


• Cellular Automata


• Central European Functional Programming School


• Central European Functional Programming School


• Certification and Security in Inter-Organizational E-Service


• Challenges for Next Generation Network Operations and Service Management


• Challenges in Ad Hoc Networking


• Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government


• Changing Television Environments


• Charting a New Course: Natural Language Processing and Information Retrieval


• Charting the Topic Maps Research and Applications Landscape


• Chinese Spoken Language Processing


• Citation Analysis in Research Evaluation


• Classification — the Ubiquitous Challenge


• Classification and Learning Using Genetic Algorithms


• Classification and Modeling with Linguistic Information Granules


• Codes et turbocodes


• Coding and Cryptography


• Coding and Cryptology


• Coding for Data and Computer Communications


• Coding Theory and Applications


• Cognition, Communication and Interaction


• Cognitive Engineering


• Cognitive Systems


• Cognitive Vision


• Cognitive Vision Systems


• Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support


• Collaborative Computing: Networking, Applications and Worksharing


• Collaborative Networks and Their Breeding Environments


• Collaborative Networks: Reference Modeling


• Coloured Petri Nets


• Combinatorial and Algorithmic Aspects of Networking


• Combinatorial and Algorithmic Aspects of Networking


• Combinatorial and Algorithmic Aspects of Networking


• Combinatorial Geometry and Graph Theory


• Combinatorial Image Analysis


• Combinatorial Image Analysis


• Combinatorial Image Analysis


• Combinatorial Optimization and Applications


• Combinatorial Optimization and Applications


• Combinatorial Optimization and Applications


• Combinatorial Optimization in Communication Networks


• Combinatorial Pattern Matching


• Combinatorial Pattern Matching


• Combinatorial Pattern Matching


• Combinatorial Pattern Matching


• Combinatorial Pattern Matching


• Combinatorics, Algorithms, Probabilistic and Experimental Methodologies


• Communicating Sequential Processes


• Communications and Multimedia Security


• Communications and Multimedia Security


• Communications and Multimedia Security


• Communications and Networking


• Communications and Networking in China


• Communities and Technologies 2005


• Communities of Practice


• Comparative Evaluation of XML Information Retrieval Systems


• Comparative Genomics


• Comparative Genomics


• Comparative Genomics


• Comparative Genomics


• Comparative Genomics


• Compilation Techniques for Reconfigurable Architectures


• Compiler Construction


• Compiler Construction


• Compiler Construction


• Compiler Construction


• Compiler Construction


• Complex Motion


• Complex Sciences


• Complex Sciences


• Complexity of Constraints


• Complexity Theory


• Complexity Theory and Cryptology


• Component Deployment


• Component Models and Systems for Grid Applications


• Component-Based Software Development for Embedded Systems


• Component-Based Software Engineering


• Component-Based Software Engineering


• Component-Based Software Engineering


• Component-Based Software Engineering


• Component-Based Software Engineering


• Component-Based Software Testing with UML


• Composition of Embedded Systems. Scientific and Industrial Issues


• Comprehensive Mathematics for Computer Scientists 1


• Comprehensive Mathematics for Computer Scientists 2


• Computable Models


• Computable Models of the Law


• Computation and Logic in the Real World


• Computation Engineering


• Computational and Ambient Intelligence


• Computational and Information Science


• Computational Color Imaging


• Computational Discovery of Scientific Knowledge


• Computational Forensics


• Computational Forensics


• Computational Geometry


• Computational Geometry and Graph Theory


• Computational Intelligence


• Computational Intelligence and Bioinformatics


• Computational Intelligence and Bioinspired Systems


• Computational Intelligence and Security


• Computational Intelligence and Security


• Computational Intelligence and Security


• Computational Intelligence in Economics and Finance


• Computational Intelligence in Fault Diagnosis


• Computational Intelligence Methods for Bioinformatics and Biostatistics


• Computational Intelligence: Research Frontiers


• Computational Life Sciences


• Computational Life Sciences II


• Computational Linguistics and Intelligent Text Processing


• Computational Linguistics and Intelligent Text Processing


• Computational Linguistics and Intelligent Text Processing


• Computational Linguistics and Intelligent Text Processing


• Computational Linguistics and Intelligent Text Processing


• Computational Linguistics and Intelligent Text Processing


• Computational Linguistics and Intelligent Text Processing


• Computational Logic in Multi-Agent Systems


• Computational Logic in Multi-Agent Systems


• Computational Logic in Multi-Agent Systems


• Computational Logic in Multi-Agent Systems


• Computational Logic in Multi-Agent Systems


• Computational Logic in Multi-Agent Systems


• Computational Methods for Counterterrorism


• Computational Methods in Systems Biology


• Computational Methods in Systems Biology


• Computational Methods in Systems Biology


• Computational Methods in Systems Biology


• Computational Methods in Systems Biology


• Computational Processing of the Portuguese Language


• Computational Processing of the Portuguese Language


• Computational Science — ICCS 2002


• Computational Science – ICCS 2005


• Computational Science – ICCS 2005


• Computational Science – ICCS 2005


• Computational Science – ICCS 2006


• Computational Science – ICCS 2006


• Computational Science – ICCS 2006


• Computational Science – ICCS 2006


• Computational Science – ICCS 2007


• Computational Science – ICCS 2007


• Computational Science – ICCS 2007


• Computational Science – ICCS 2007


• Computational Science – ICCS 2008


• Computational Science – ICCS 2008


• Computational Science – ICCS 2008


• Computational Science – ICCS 2009


• Computational Science – ICCS 2009


• Computational Science and Its Applications – ICCSA 2005


• Computational Science and Its Applications – ICCSA 2005


• Computational Science and Its Applications – ICCSA 2005


• Computational Science and Its Applications – ICCSA 2005


• Computational Science and Its Applications - ICCSA 2006


• Computational Science and Its Applications - ICCSA 2006


• Computational Science and Its Applications - ICCSA 2006


• Computational Science and Its Applications - ICCSA 2006


• Computational Science and Its Applications - ICCSA 2006


• Computational Science and Its Applications – ICCSA 2007


• Computational Science and Its Applications – ICCSA 2007


• Computational Science and Its Applications – ICCSA 2007


• Computational Science and Its Applications – ICCSA 2008


• Computational Science and Its Applications – ICCSA 2008


• Computational Science and Its Applications – ICCSA 2009


• Computational Science and Its Applications – ICCSA 2009


• Computer Aided Systems Theory – EUROCAST 2005


• Computer Aided Systems Theory – EUROCAST 2007


• Computer Aided Verification


• Computer Aided Verification


• Computer Aided Verification


• Computer Aided Verification


• Computer Aided Verification


• Computer Algebra and Geometric Algebra with Applications


• Computer Algebra in Scientific Computing


• Computer Algebra in Scientific Computing


• Computer Algebra in Scientific Computing


• Computer Analysis of Images and Patterns


• Computer Analysis of Images and Patterns


• Computer Analysis of Images and Patterns


• Computer and Computing Technologies in Agriculture II, Volume 1


• Computer and Computing Technologies in Agriculture II, Volume 2


• Computer and Computing Technologies in Agriculture II, Volume 3


• Computer And Computing Technologies In Agriculture, Volume I


• Computer And Computing Technologies In Agriculture, Volume II


• Computer and Information Sciences - ISCIS 2005


• Computer and Information Sciences – ISCIS 2006


• Computer Graphics and Geometric Modeling


• Computer Graphics and Geometric Modeling


• Computer Graphics for Artists II


• Computer Graphics for Artists: An Introduction


• Computer Insecurity


• Computer Mathematics


• Computer Music Modeling and Retrieval


• Computer Music Modeling and Retrieval


• Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music


• Computer Music Modeling and Retrieval. Sense of Sounds


• Computer Network Security


• Computer Network Security


• Computer Network Security


• Computer Network Security


• Computer Networks


• Computer Performance Engineering


• Computer Performance Engineering


• Computer Performance Evaluation and Benchmarking


• Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead


• Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy


• Computer Safety, Reliability, and Security


• Computer Safety, Reliability, and Security


• Computer Safety, Reliability, and Security


• Computer Safety, Reliability, and Security


• Computer Science - Theory and Applications


• Computer Science – Theory and Applications


• Computer Science – Theory and Applications


• Computer Science – Theory and Applications


• Computer Science Logic


• Computer Science Logic


• Computer Science Logic


• Computer Science Logic


• Computer Science Logic


• Computer Security – ESORICS 2005


• Computer Security – ESORICS 2006


• Computer Security – ESORICS 2007


• Computer Security - ESORICS 2008


• Computer Security in the 21st Century


• Computer Supported Cooperative Work in Design


• Computer Supported Cooperative Work in Design II


• Computer Supported Cooperative Work in Design III


• Computer Supported Cooperative Work in Design IV


• Computer Viruses and Malware


• Computer viruses: from theory to applications


• Computer Vision – ACCV 2006


• Computer Vision – ACCV 2006


• Computer Vision – ACCV 2007


• Computer Vision – ACCV 2007


• Computer Vision – ECCV 2006


• Computer Vision – ECCV 2006


• Computer Vision – ECCV 2006


• Computer Vision – ECCV 2006


• Computer Vision – ECCV 2008


• Computer Vision – ECCV 2008


• Computer Vision – ECCV 2008


• Computer Vision – ECCV 2008


• Computer Vision and Computer Graphics. Theory and Applications


• Computer Vision and Graphics


• Computer Vision and Graphics


• Computer Vision Approaches to Medical Image Analysis


• Computer Vision Beyond the Visible Spectrum


• Computer Vision for Biomedical Image Applications


• Computer Vision in Human-Computer Interaction


• Computer Vision in Human-Computer Interaction


• Computer Vision Systems


• Computer Vision, Graphics and Image Processing


• Computer Vision/Computer Graphics Collaboration Techniques


• Computer Vision/Computer Graphics CollaborationTechniques


• Computer-Aided Design of User Interfaces IV


• Computer-Aided Design Of User Interfaces V


• Computer-Aided Innovation (CAI)


• Computer-Human Interaction


• Computers and Education


• Computers and Games


• Computers and Games


• Computers and Games


• Computers Helping People with Special Needs


• Computers Helping People with Special Needs


• Computers in the Human Interaction Loop


• Computing and Combinatorics


• Computing and Combinatorics


• Computing and Combinatorics


• Computing and Combinatorics


• Computing and Combinatorics


• Computing Attitude and Affect in Text: Theory and Applications


• Computing for Comparative Microbial Genomics


• Computing with Social Trust


• Concept Lattices and Their Applications


• Conceptual Modeling – ER 2005


• Conceptual Modeling - ER 2006


• Conceptual Modeling - ER 2007


• Conceptual Modeling - ER 2008


• Conceptual Modeling for Traditional and Spatio-Temporal Applications


• Conceptual Modeling of Information Systems


• Conceptual Modeling: Foundations and Applications


• Conceptual Modelling in Information Systems Engineering


• Conceptual Structures: Common Semantics for Sharing Knowledge


• Conceptual Structures: Inspiration and Application


• Conceptual Structures: Knowledge Architectures for Smart Applications


• Conceptual Structures: Knowledge Visualization and Reasoning


• Conceptual Structures: Leveraging Semantic Technologies


• CONCUR 2005 – Concurrency Theory


• CONCUR 2006 – Concurrency Theory


• CONCUR 2007 – Concurrency Theory


• CONCUR 2008 - Concurrency Theory


• CONCUR 2009 - Concurrency Theory


• Concurrency Theory


• Concurrency, Graphs and Models


• Concurrent Zero-Knowledge


• Conditionals, Information, and Inference


• Confabulation Theory


• Configuring User-Designer Relations


• Constituents of Modern System-safety Thinking


• Constraint Handling Rules


• Constraint Satisfaction Techniques for Agent-Based Reasoning


• Constraint Solving and Language Processing


• Constraint-Based Mining and Inductive Databases


• Constructing Ambient Intelligence


• Constructing Correct Software


• Construction and Analysis of Safe, Secure, and Interoperable Smart Devices


• Construction and Analysis of Safe, Secure, and Interoperable Smart Devices


• Consuming Music Together


• Contemporary Computing


• Contemporary Cryptology


• Continuous System Simulation


• Contributions to Simulation Speed-Up


• Convergence and Knowledge Processing in Multi-Agent Systems


• Cooperative Bug Isolation


• Cooperative Design, Visualization, and Engineering


• Cooperative Design, Visualization, and Engineering


• Cooperative Design, Visualization, and Engineering


• Cooperative Design, Visualization, and Engineering


• Cooperative Information Agents X


• Cooperative Information Agents XI


• Cooperative Information Agents XII


• Coordination Models and Languages


• Coordination Models and Languages


• Coordination Models and Languages


• Coordination Models and Languages


• Coordination Models and Languages


• Coordination of Large-Scale Multiagent Systems


• Coordination, Organizations, Institutions and Norms in Agent Systems IV


• Coordination, Organizations, Institutions, and Norms in Agent Systems II


• Coordination, Organizations, Institutions, and Norms in Agent Systems III


• Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems


• Correct Hardware Design and Verification Methods


• COTS-Based Software Systems


• Countering Counterfeit Trade


• Creating Brain-Like Intelligence


• Creating New Learning Experiences on a Global Scale


• Creating Web-based Laboratories


• Creativity and HCI: From Experience to Design in Education


• Critical Information Infrastructure Security


• Critical Information Infrastructures


• Critical Information Infrastructures Security


• Critical Infrastructure Protection


• Critical Infrastructure Protection II


• Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions


• Crowd Simulation


• Cryptanalytic Attacks on RSA


• Cryptographic Hardware and Embedded Systems – CHES 2005


• Cryptographic Hardware and Embedded Systems - CHES 2006


• Cryptographic Hardware and Embedded Systems - CHES 2007


• Cryptographic Hardware and Embedded Systems – CHES 2008


• Cryptographic Hardware and Embedded Systems - CHES 2009


• CryptoGraphics


• Cryptography and Coding


• Cryptography and Coding


• Cryptology and Network Security


• Cryptology and Network Security


• Cryptology and Network Security


• Cryptology and Network Security


• Current Topics in Artificial Intelligence


• Current Topics in Artificial Intelligence


• Current Trends in Database Technology - EDBT 2004 Workshops


• Current Trends in Database Technology – EDBT 2006


• Curves and Surfaces for Computer Graphics


• Cutting-Edge Research Topics on Multiple Criteria Decision Making


• Cyberspace Security and Defense: Research Issues


• Data Analysis, Machine Learning and Applications


• Data and Applications Security XIX


• Data and Applications Security XX


• Data and Applications Security XXI


• Data and Applications Security XXII


• Data and Applications Security XXIII


• Data Complexity in Pattern Recognition


• Data Compression


• Data Engineering Issues in E-Commerce and Services


• Data Integration in the Life Sciences


• Data Integration in the Life Sciences


• Data Integration in the Life Sciences


• Data Integration in the Life Sciences


• Data Integration in the Life Sciences


• Data Management in a Connected World


• Data Management in Grid and Peer-to-Peer Systems


• Data Management in Grid and Peer-to-Peer Systems


• Data Management in Grids


• Data Management. Data, Data Everywhere


• Data Mining


• Data mining


• Data Mining


• Data Mining and Applications in Genomics


• Data Mining and Bioinformatics


• Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques


• Data Mining and Knowledge Discovery Handbook


• Data Mining and Knowledge Management


• Data Mining and Multi-agent Integration


• Data Mining for Biomedical Applications


• Data Mining for Business Applications


• Data Mining in Bioinformatics


• Data Mining with Computational Intelligence


• Data Quality


• Data Quality and Record Linkage Techniques


• Data Streams


• Data Warehousing and Data Mining Techniques for Cyber Security


• Data Warehousing and Knowledge Discovery


• Data Warehousing and Knowledge Discovery


• Data Warehousing and Knowledge Discovery


• Data Warehousing and Knowledge Discovery


• Data Warehousing and Knowledge Discovery


• Database and Expert Systems Applications


• Database and Expert Systems Applications


• Database and Expert Systems Applications


• Database and Expert Systems Applications


• Database and Expert Systems Applications


• Database and XML Technologies


• Database and XML Technologies


• Database and XML Technologies


• Database and XMLTechnologies


• Database Programming Languages


• Database Programming Languages


• Database Programming Languages


• Database Systems for Advanced Applications


• Database Systems for Advanced Applications


• Database Systems for Advanced Applications


• Database Systems for Advanced Applications


• Database Systems for Advanced Applications


• Database Theory - ICDT 2005


• Database Theory – ICDT 2007


• Database: Enterprise, Skills and Innovation


• Databases in Networked Information Systems


• Databases in Networked Information Systems


• Databases, Information Systems, and Peer-to-Peer Computing


• Databases, Information Systems, and Peer-to-Peer Computing


• Data-Driven 3D Facial Animation


• Dataspace: The Final Frontier


• Datatype-Generic Programming


• Deadlock Resolution in Automated Manufacturing Systems


• Debian GNU/Linux


• Decision Procedures


• Decision Support for Global Enterprises


• Declarative Agent Languages and Technologies II


• Declarative Agent Languages and Technologies III


• Declarative Agent Languages and Technologies IV


• Declarative Agent Languages and Technologies V


• Declarative Agent Languages and Technologies VI


• Declarative Programming for Knowledge Management


• Decrypted Secrets


• Deep Structure, Singularities, and Computer Vision


• Defence Applications of Multi-Agent Systems


• Defence Industry Applications of Autonomous Agents and Multi-Agent Systems


• Deontic Logic and Artificial Normative Systems


• Deontic Logic in Computer Science


• Dependability Metrics


• Dependable and Adaptable Networks and Services


• Dependable Computing


• Dependable Computing


• Dependable Computing - EDCC 2005


• Dependable Systems: Software, Computing, Networks


• Design and Analysis of Randomized Algorithms


• Design by Evolution


• Design Computing and Cognition '08


• Design Requirements Engineering: A Ten-Year Perspective


• Designing and Evaluating E-Management Decision Tools


• Designing E-Business Systems. Markets, Services, and Networks


• Designing Human Interface in Speech Technology


• Designing Smart Homes


• Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges


• Designing Virtual Reality Systems The Structured Approach


• Detection of Intrusions and Malware & Vulnerability Assessment


• Detection of Intrusions and Malware, and Vulnerability Assessment


• Detection of Intrusions and Malware, and Vulnerability Assessment


• Detection of Intrusions and Malware, and Vulnerability Assessment


• Deterministic and Statistical Methods in Machine Learning


• Developing Ambient Intelligence


• Developing Ambient Intelligence


• Developing Services for the Wireless Internet


• Developments in Language Theory


• Developments in Language Theory


• Developments in Language Theory


• Developments in Language Theory


• Developments in Language Theory


• Developments in Language Theory


• Developments in Risk-based Approaches to Safety


• Developments in Telecommunications


• Diagrammatic Representation and Inference


• Diagrammatic Representation and Inference


• Differential Evolution


• Digital Cities III


• Digital Color Management


• Digital Convergence – Libraries of the Future


• Digital Decision Making


• Digital Design of Nature


• Digital Document Processing


• Digital Enterprise Technology


• Digital Human Modeling


• Digital Human Modeling


• Digital Human Modeling


• Digital Libraries: Achievements, Challenges and Opportunities


• Digital Libraries: Implementing Strategies and Sharing Experiences


• Digital Libraries: International Collaboration and Cross-Fertilization


• Digital Libraries: People, Knowledge, and Technology


• Digital Libraries: Research and Development


• Digital Libraries: Universal and Ubiquitous Access to Information


• Digital Mammography


• Digital Mammography


• Digital Rights Management. Technologies, Issues, Challenges and Systems


• Digital Watermarking


• Digital Watermarking


• Digital Watermarking


• Digital Watermarking


• Digital Watermarking


• Digitally Archiving Cultural Objects


• Discovery Science


• Discovery Science


• Discovery Science


• Discovery Science


• Discovery Science


• Discrete and Computational Geometry


• Discrete Geometry for Computer Imagery


• Discrete Geometry for Computer Imagery


• Discrete Geometry for Computer Imagery


• Discrete Geometry, Combinatorics and Graph Theory


• Discrete Mathematics Using a Computer


• Dissemination of Information in Communication Networks


• Dissemination of Information in Optical Networks


• Distributed and Parallel Computing


• Distributed and Parallel Systems


• Distributed and Parallel Systems


• Distributed Applications and Interoperable Systems


• Distributed Applications and Interoperable Systems


• Distributed Applications and Interoperable Systems


• Distributed Applications and Interoperable Systems


• Distributed Applications and Interoperable Systems


• Distributed Computing


• Distributed Computing


• Distributed Computing


• Distributed Computing


• Distributed Computing - IWDC 2004


• Distributed Computing – IWDC 2005


• Distributed Computing and Internet Technology


• Distributed Computing and Internet Technology


• Distributed Computing and Internet Technology


• Distributed Computing and Internet Technology


• Distributed Computing and Internet Technology


• Distributed Computing and Internet Technology


• Distributed Computing and Internet Technology


• Distributed Computing and Networking


• Distributed Computing and Networking


• Distributed Computing and Networking


• Distributed Computing in Sensor Systems


• Distributed Computing in Sensor Systems


• Distributed Computing in Sensor Systems


• Distributed Computing in Sensor Systems


• Distributed Computing in Sensor Systems


• Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living


• Distributed Embedded Systems: Design, Middleware and Resources


• Distributed Event-Based Systems


• Distributed Intelligent Systems


• Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems


• Distributed Network Systems


• Distributed Search by Constrained Agents


• Distributed Services with OpenAFS


• Distributed, High-Performance and Grid Computing in Computational Biology


• DNA Computing


• DNA Computing


• DNA Computing


• DNA Computing


• DNA Computing Models


• Do-All Computing in Distributed Systems


• Document Analysis Systems VII


• Domain Modeling and the Duration Calculus


• Domain-Specific Languages


• Dynamic Brain - from Neural Spikes to Behaviors


• Dynamic Learning Networks


• Dynamic Taxonomies and Faceted Search


• Dynamical Vision


• Dynamics On and Of Complex Networks


• Early Aspects: Current Challenges and Future Directions


• E-Business @ Print


• E-Business and Telecommunication Networks


• E-business and Telecommunication Networks


• e-Business and Telecommunication Networks


• E-business and Telecommunications


• EC2ND 2005


• E-Commerce and Web Technologies


• E-Commerce and Web Technologies


• E-Commerce and Web Technologies


• E-Commerce and Web Technologies


• Economic Analysis of Information System Investment in Banking Industry


• Economics of Identity Theft: Avoidance, Causes and Possible Cures


• ECOOP 2005 - Object-Oriented Programming


• ECOOP 2006 – Object-Oriented Programming


• ECOOP 2007 – Object-Oriented Programming


• ECOOP 2008 – Object-Oriented Programming


• ECOOP 2009 – Object-Oriented Programming


• ECSCW 2005


• ECSCW 2007


• ECSCW 2009


• Education and Technology for a Better World


• Education and the Knowledge Society


• Education for the 21st Century — Impact of ICT and Digital Resources


• Effective IT Service Management


• Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web


• Efficient Algorithms


• Efficient Approximation and Online Algorithms


• E-government and Public Sector Process Rebuilding


• E-Government Ict Professionalism and Competences Service Science


• E-Government: Towards Electronic Democracy


• eLearning and Digital Publishing


• Electronic Government


• Electronic Government


• Electronic Government


• Electronic Government


• Electronic Government


• Electronic Healthcare


• Electronic Participation


• Electronic Postage Systems


• Elementary Functions


• Elementary Logic


• Elements of Computation Theory


• Embedded and Ubiquitous Computing


• Embedded and Ubiquitous Computing


• Embedded and Ubiquitous Computing


• Embedded and Ubiquitous Computing


• Embedded Computer Systems: Architectures, Modeling, and Simulation


• Embedded Computer Systems: Architectures, Modeling, and Simulation


• Embedded Computer Systems: Architectures, Modeling, and Simulation


• Embedded Computer Systems: Architectures, Modeling, and Simulation


• Embedded Computer Systems: Architectures, Modeling, and Simulation


• Embedded Computer Vision


• Embedded Java Security


• Embedded Robotics


• Embedded Robotics


• Embedded Security in Cars


• Embedded Software and Systems


• Embedded Software and Systems


• Embedded Software and Systems


• Embedded Software Development with C


• Embedded System Design: Topics, Techniques and Trends


• Embedded Systems Design


• Emerging Challenges for Security, Privacy and Trust


• Emerging Directions in Embedded and Ubiquitous Computing


• Emerging Directions in Embedded and Ubiquitous Computing


• Emerging Solutions for Future Manufacturing Systems


• Emerging Technologies and Information Systems for the Knowledge Society


• Emerging Technologies in Knowledge Discovery and Data Mining


• Emerging Trends in Information and Communication Security


• Emerging Trends in Visual Computing


• Emerging Web Services Technology


• Emerging Web Services Technology, Volume II


• Empirical Software Engineering Issues. Critical Assessment and Future Directions


• Enabling Optical Internet with Advanced Network Technologies


• Enabling Semantic Web Services


• Enabling Technologies for Wireless E-Business


• Encyclopedia of Algorithms


• Encyclopedia of Biometrics


• Encyclopedia of Cryptography and Security


• Encyclopedia of GIS


• Encyclopedia of Multimedia


• Encyclopedia of Multimedia


• End User Development


• End-to-End Quality of Service Over Heterogeneous Networks


• End-User Development


• Energy Minimization Methods in Computer Vision and Pattern Recognition


• Energy Minimization Methods in Computer Vision and Pattern Recognition


• Energy Minimization Methods in Computer Vision and Pattern Recognition


• Engineering and Managing Software Requirements


• Engineering Applications of Neural Networks


• Engineering Environment-Mediated Multi-Agent Systems


• Engineering Human Computer Interaction and Interactive Systems


• Engineering Interactive Systems


• Engineering Interactive Systems


• Engineering Psychology and Cognitive Ergonomics


• Engineering Psychology and Cognitive Ergonomics


• Engineering Secure Software and Systems


• Engineering Self-Organising Systems


• Engineering Self-Organising Systems


• Engineering Self-Organising Systems


• Engineering Societies in the Agents World IX


• Engineering Societies in the Agents World V


• Engineering Societies in the Agents World VI


• Engineering Societies in the Agents World VII


• Engineering Societies in the Agents World VIII


• Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics


• Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics


• Engineering the User Interface


• Engineering Theories of Software Intensive Systems


• Engineering Web Applications


• Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems


• Enterprise Information Systems V


• Enterprise Information Systems VI


• Enterprise Information Systems VII


• Enterprise Ontology


• Enterprise Service Oriented Architectures


• Entertainment Computing - ICEC 2005


• Entertainment Computing - ICEC 2006


• Entertainment Computing – ICEC 2007


• Entertainment Computing - ICEC 2008


• Entertainment Computing – ICEC 2009


• Environments for Multi-Agent Systems


• Environments for Multi-Agent Systems II


• Environments for Multi-Agent Systems III


• Epistemological Aspects of Computer Simulation in the Social Sciences


• Ergonomics and Health Aspects of Work with Computers


• Ergonomics and Health Aspects of Work with Computers


• Essential RenderMan ®


• Essential Software Architecture


• Establishing The Foundation Of Collaborative Networks


• E-Technologies: Innovation in an Open World


• Ethical and Social Issues in the Information Age


• Ethics in Cyberspace


• E-Training Practices for Professional Organizations


• EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World


• Euro-Par 2005 Parallel Processing


• Euro-Par 2006 Parallel Processing


• Euro-Par 2006: Parallel Processing


• Euro-Par 2007 Parallel Processing


• Euro-Par 2007 Workshops: Parallel Processing


• Euro-Par 2008 – Parallel Processing


• Euro-Par 2008 Workshops - Parallel Processing


• Euro-Par 2009 Parallel Processing


• Evaluation of Electronic Voting


• Evaluation of Multilingual and Multi-modal Information Retrieval


• Event-Triggered and Time-Triggered Control Paradigms


• Everyday Innovators


• Evolution of Information Technology in Educational Management


• Evolutionary Algorithms for Solving Multi-Objective Problems


• Evolutionary Computation in Combinatorial Optimization


• Evolutionary Computation in Combinatorial Optimization


• Evolutionary Computation in Combinatorial Optimization


• Evolutionary Computation in Combinatorial Optimization


• Evolutionary Computation in Combinatorial Optimization


• Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics


• Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics


• Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics


• Evolutionary Computer Music


• Evolutionary Multi-Criterion Optimization


• Evolutionary Multi-Criterion Optimization


• Evolutionary Multi-Criterion Optimization


• Evolutionary Multiobjective Optimization


• Evolutionary Synthesis of Pattern Recognition Systems


• Evolvable Hardware


• Evolvable Systems: From Biology to Hardware


• Evolvable Systems: From Biology to Hardware


• Evolvable Systems: From Biology to Hardware


• Evolving Connectionist Systems


• Evolving OpenMP in an Age of Extreme Parallelism


• E-Voting and Identity


• Experience and Knowledge Management in Software Engineering


• Experimental Algorithms


• Experimental Algorithms


• Experimental Algorithms


• Experimental Algorithms


• Experimental and Efficient Algorithms


• Experimental Research in Evolutionary Computation


• Exploratory Analysis of Spatial and Temporal Data


• Extreme Programming and Agile Processes in Software Engineering


• Extreme Programming and Agile Processes in Software Engineering


• Eye Tracking Methodology


• Face Biometrics for Personal Identification


• Farming Human Pathogens


• Fast Software Encryption


• Fast Software Encryption


• Fast Software Encryption


• Fast Software Encryption


• Fast Software Encryption


• Fast Track to MDX


• Fault Diagnosis and Tolerance in Cryptography


• Federation over the Web


• Field-Based Coordination for Pervasive Multiagent Systems


• Fieldwork for Design


• Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008


• Fifth World Conference on Information Security Education


• Financial Cryptography and Data Security


• Financial Cryptography and Data Security


• Financial Cryptography and Data Security


• Financial Cryptography and Data Security


• Financial Cryptography and Data Security


• Finite Automata and Application to Cryptography


• Finite Model Theory and Its Applications


• Finite-State Methods and Natural Language Processing


• Flexible and Efficient Information Handling


• Flexible Query Answering Systems


• Flow, Gesture, and Spaces in Free Jazz


• FM 2005: Formal Methods


• FM 2006: Formal Methods


• FM 2008: Formal Methods


• Focused Access to XML Documents


• Forensic Computing


• Forensics in Telecommunications, Information and Multimedia


• Formal Approaches to Agent-Based Systems


• Formal Approaches to Software Testing


• Formal Approaches to Software Testing


• Formal Approaches to Software Testing and Runtime Verification


• Formal Aspects in Security and Trust


• Formal Aspects in Security and Trust


• Formal Aspects in Security and Trust


• Formal Aspects in Security and Trust


• Formal Concept Analysis


• Formal Concept Analysis


• Formal Concept Analysis


• Formal Concept Analysis


• Formal Concept Analysis


• Formal Concept Analysis


• Formal Correctness of Security Protocols


• Formal Languages and Compilation


• Formal Methods and Hybrid Real-Time Systems


• Formal Methods and Software Engineering


• Formal Methods and Software Engineering


• Formal Methods and Software Engineering


• Formal Methods and Software Engineering


• Formal Methods and Stochastic Models for Performance Evaluation


• Formal Methods and Stochastic Models for Performance Evaluation


• Formal Methods and Testing


• Formal Methods for Components and Objects


• Formal Methods for Components and Objects


• Formal Methods for Components and Objects


• Formal Methods for Components and Objects


• Formal Methods for Components and Objects


• Formal Methods for Computational Systems Biology


• Formal Methods for Hardware Verification


• Formal Methods for Industrial Critical Systems


• Formal Methods for Industrial Critical Systems


• Formal Methods for Mobile Computing


• Formal Methods for Open Object-Based Distributed Systems


• Formal Methods for Open Object-Based Distributed Systems


• Formal Methods for Open Object-Based Distributed Systems


• Formal Methods for Open Object-Based Distributed Systems


• Formal Methods for Performance Evaluation


• Formal Methods for Web Services


• Formal Methods in Software and Systems Modeling


• Formal Methods in Systems Biology


• Formal Methods: Applications and Technology


• Formal Modeling and Analysis of Timed Systems


• Formal Modeling and Analysis of Timed Systems


• Formal Modeling and Analysis of Timed Systems


• Formal Modeling and Analysis of Timed Systems


• Formal Models of Communicating Systems


• Formal Models of Operating System Kernels


• Formal Refinement for Operating System Kernels


• Formal Techniques for Computer Systems and Business Processes


• Formal Techniques for Distributed Systems


• Formal Techniques for Networked and Distributed Systems - FORTE 2005


• Formal Techniques for Networked and Distributed Systems - FORTE 2006


• Formal Techniques for Networked and Distributed Systems – FORTE 2007


• Formal Techniques for Networked and Distributed Systems – FORTE 2008


• Formal Theories of Information


• Formal to Practical Security


• Form-Oriented Analysis


• Foundations and Applications of Security Analysis


• Foundations of 3D Graphics Programming


• Foundations of 3D Graphics Programming


• Foundations of Augmented Cognition


• Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience


• Foundations of Computer Security


• Foundations of Fuzzy Logic and Soft Computing


• Foundations of Generic Optimization


• Foundations of Genetic Algorithms


• Foundations of Genetic Algorithms


• Foundations of Information and Knowledge Systems


• Foundations of Information and Knowledge Systems


• Foundations of Intelligent Systems


• Foundations of Intelligent Systems


• Foundations of Intelligent Systems


• Foundations of Intelligent Systems


• Foundations of Intelligent Systems


• Foundations of Security Analysis and Design III


• Foundations of Security Analysis and Design IV


• Foundations of Security Analysis and Design V


• Foundations of Software Science and Computation Structures


• Foundations of Software Science and Computational Structures


• Foundations of Software Science and Computational Structures


• Foundations of Software Science and Computational Structures


• Foundations of Software Science and Computational Structures


• Foundations of Systems Biology


• Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006


• Free Convection Film Flows and Heat Transfer


• From Animals to Animats 10


• From Animals to Animats 9


• From Brows to Trust


• From Combinatorics to Philosophy


• From Computer Literacy to Informatics Fundamentals


• From Grids to Service and Pervasive Computing


• From Integrated Publication and Information Systems to Information and Knowledge Environments


• From Model-Driven Design to Resource Management for Distributed Embedded Systems


• From P2P and Grids to Services on the Web


• From P2P to Web Services and Grids


• From QoS Provisioning to QoS Charging


• From Specification to Embedded Systems Application


• From Web to Social Web: Discovering and Deploying User and Content Profiles


• Frontiers in Algorithmics


• Frontiers in Algorithmics


• Frontiers in Algorithmics


• Frontiers of Combining Systems


• Frontiers of Combining Systems


• Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops


• Frontiers of High Performance Computing and Networking ISPA 2007 Workshops


• Frontiers of WWW Research and Development - APWeb 2006


• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science


• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science


• FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science


• FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science


• Fun and Games


• Fun with Algorithms


• Functional and Logic Programming


• Functional and Logic Programming


• Functional Imaging and Modeling of the Heart


• Functional Imaging and Modeling of the Heart


• Functional Imaging and Modeling of the Heart


• Fundamental Approaches to Software Engineering


• Fundamental Approaches to Software Engineering


• Fundamental Approaches to Software Engineering


• Fundamental Approaches to Software Engineering


• Fundamental Approaches to Software Engineering


• Fundamental Networking in Java


• Fundamental Problems in Computing


• Fundamentals of Algebraic Graph Transformation


• Fundamentals of Computation Theory


• Fundamentals of Computation Theory


• Fundamentals of Computerized Tomography


• Fundamentals of the New Artificial Intelligence


• Fundamentals of Three-Dimensional Digital Image Processing


• Funology


• Future Generation Grids


• Future Interaction Design


• Future Interaction Design II


• Future Internet – FIS 2008


• Future Multimedia Networking


• Future of Trust in Computing


• Fuzzy Database Modeling with XML


• Fuzzy Logic and Applications


• Fuzzy Logic and Applications


• Fuzzy Logic and Applications


• Fuzzy Models and Algorithms for Pattern Recognition and Image Processing


• Fuzzy Systems and Knowledge Discovery


• Fuzzy Systems and Knowledge Discovery


• Fuzzy Systems and Knowledge Discovery


• Fuzzy-Neuro Approach to Agent Applications


• General Theory of Information Transfer and Combinatorics


• Generative and Transformational Techniques in Software Engineering


• Generative and Transformational Techniques in Software Engineering II


• Generative Programming and Component Engineering


• Genetic Programming


• Genetic Programming


• Genetic Programming


• Genetic Programming


• Genetic Programming


• Genetic Programming IV


• Genetic Programming Theory and Practice II


• Genetic Programming Theory and Practice III


• Genetic Programming Theory and Practice IV


• Genetic Programming Theory and Practice V


• Genetic Programming Theory and Practice VI


• Geographic Information Science


• Geographic, Information Science


• Geometric Algebra for Computer Graphics


• Geometric Algebra with Applications in Engineering


• Geometric Algebra: An Algebraic System for Computer Games and Animation


• Geometric Fundamentals of Robotics


• Geometric Modeling and Processing - GMP 2006


• Geometric Properties for Incomplete data


• Geometry for Computer Graphics


• GeoSensor Networks


• GeoSensor Networks


• GeoSpatial Semantics


• GeoSpatial Semantics


• Gesture in Human-Computer Interaction and Simulation


• Gesture-Based Human-Computer Interaction and Simulation


• Global Computing


• Global E-Security


• Global Initiatives to Secure Cyberspace


• Global Optimization and Constraint Satisfaction


• Global Security, Safety, and Sustainability


• Grammatical Inference: Algorithms and Applications


• Grammatical Inference: Algorithms and Applications


• Grammatical Picture Generation


• Graph Drawing


• Graph Drawing


• Graph Drawing


• Graph Drawing


• Graph Drawing


• Graph Theory, Computational Intelligence and Thought


• Graph Transformations


• Graph Transformations


• Graph-based Knowledge Representation


• Graph-Based Representations in Pattern Recognition


• Graph-Based Representations in Pattern Recognition


• Graph-Based Representations in Pattern Recognition


• Graphics Recognition. Recent Advances and New Opportunities


• Graphics Recognition. Ten Years Review and Future Perspectives


• Graph-Theoretic Concepts in Computer Science


• Graph-Theoretic Concepts in Computer Science


• Graph-Theoretic Concepts in Computer Science


• Graph-Theoretic Concepts in Computer Science


• Graph-Theoretic Concepts in Computer Science


• Grey Information


• Grid and Cooperative Computing - GCC 2005


• Grid and Services Evolution


• Grid Computing


• Grid Computing


• Grid Computing


• Grid Computing in Life Science


• Grid Computing Security


• Grid Computing: Software Environments and Tools


• Grid Economics and Business Models


• Grid Economics and Business Models


• Grid Economics and Business Models


• Grid Middleware and Services


• Grid-Based Problem Solving Environments


• Grouping Multidimensional Data


• Groupware: Design, Implementation, and Use


• Groupware: Design, Implementation, and Use


• Groupware: Design, Implementation, and Use


• Groupware: Design, Implementation, and Use


• Growth and Development of Computer-Aided Innovation


• Guerrilla Capacity Planning


• Guide to Advanced Empirical Software Engineering


• Guide to Assembly Language Programming in Linux


• Guide to Biometric Reference Systems and Performance Evaluation


• Guide to Fortran 2003 Programming


• Guide to Graphics Software Tools


• Guide to RISC Processors


• Guide to Wireless Ad Hoc Networks


• Guide to Wireless Mesh Networks


• Guide to Wireless Network Security


• Guide to Wireless Sensor Networks


• Hagenberg Research


• Handbook of Biometrics


• Handbook of Database Security


• Handbook of Face Recognition


• Handbook of Fingerprint Recognition


• Handbook of Geometric Computing


• Handbook of Mathematical Models in Computer Vision


• Handbook of Multibiometrics


• Handbook of Nature-Inspired and Innovative Computing


• Handbook of Remote Biometrics


• Haptic and Audio Interaction Design


• Haptic and Audio Interaction Design


• Haptic and Audio Interaction Design


• Haptics: Perception, Devices and Scenarios


• Harbour Protection Through Data Fusion Technologies


• Hardware and Software, Verification and Testing


• Hardware and Software, Verification and Testing


• Hardware and Software: Verification and Testing


• Hardware and Software: Verification and Testing


• HCI and Usability for Education and Work


• HCI and Usability for Medicine and Health Care


• HCI related papers of Interacción 2004


• Hebbian Learning and Negative Feedback Networks


• Heterogeneous Objects Modelling and Applications


• Hexagonal Image Processing


• High Assurance Services Computing


• High Availability and Disaster Recovery


• High Confidence Software Reuse in Large Systems


• High Performance Computational Science and Engineering


• High Performance Computing - HiPC 2004


• High Performance Computing – HiPC 2005


• High Performance Computing - HiPC 2006


• High Performance Computing – HiPC 2007


• High Performance Computing - HiPC 2008


• High Performance Computing and Communcations


• High Performance Computing and Communications


• High Performance Computing and Communications


• High Performance Computing and Networking


• High Performance Computing for Computational Science - VECPAR 2004


• High Performance Computing for Computational Science - VECPAR 2006


• High Performance Computing for Computational Science - VECPAR 2008


• High Performance Embedded Architectures and Compilers


• High Performance Embedded Architectures and Compilers


• High Performance Embedded Architectures and Compilers


• High Performance Embedded Architectures and Compilers


• Higher-Order Components for Grid Programming


• High-Performance Computing


• High-Performance Computing and Networking


• History of Computing and Education 2 (HCE2)


• History of Computing and Education 3 (Hce3)


• History of Nordic Computing


• Holonic and Multi-Agent Systems for Manufacturing


• Holonic and Multi-Agent Systems for Manufacturing


• Holonic and Multi-Agent Systems for Manufacturing


• Home Informatics and Telematics: ICT for The Next Billion


• Home Networking


• Home-Oriented Informatics and Telematics


• Hop Integrity in the Internet


• Human Centered Design


• Human Interactive Proofs


• Human Interface and the Management of Information. Designing Information Environments


• Human Interface and the Management of Information. Information and Interaction


• Human Interface and the Management of Information. Interacting in Information Environments


• Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design


• Human Language Technology. Challenges of the Information Society


• Human Machine Interaction


• Human Motion


• Human Motion – Understanding, Modeling, Capture and Animation


• Human Work Interaction Design: Designing for Human Work


• Human-Centered Software Engineering


• Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle


• Human-Centered Visualization Environments


• Human–Computer Interaction


• Human-Computer Interaction - INTERACT 2005


• Human-Computer Interaction – INTERACT 2007


• Human-Computer Interaction – INTERACT 2007


• Human-Computer Interaction – INTERACT 2009


• Human-Computer Interaction – INTERACT 2009


• Human-Computer Interaction Symposium


• Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction


• Human-Computer Interaction. HCI Applications and Services


• Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments


• Human-Computer Interaction. Interacting in Various Application Domains


• Human-Computer Interaction. Interaction Design and Usability


• Human-Computer Interaction. Interaction Platforms and Techniques


• Human-Computer Interaction. New Trends


• Human-Computer Interaction. Novel Interaction Methods and Techniques


• Hybrid Artificial Intelligence Systems


• Hybrid Artificial Intelligence Systems


• Hybrid Learning and Education


• Hybrid Metaheuristics


• Hybrid Metaheuristics


• Hybrid Metaheuristics


• Hybrid Metaheuristics


• Hybrid Systems: Computation and Control


• Hybrid Systems: Computation and Control


• Hybrid Systems: Computation and Control


• Hybrid Systems: Computation and Control


• Hybrid Systems: Computation and Control


• Hypercomputation


• Hyperspectral Data Compression


• Identifying Malicious Code Through Reverse Engineering


• Image Analysis


• Image Analysis


• Image Analysis


• Image Analysis and Processing – ICIAP 2005


• Image Analysis and Processing – ICIAP 2009


• Image Analysis and Recognition


• Image Analysis and Recognition


• Image Analysis and Recognition


• Image Analysis and Recognition


• Image Analysis and Recognition


• Image Analysis and Recognition


• Image and Signal Processing


• Image and Video Encryption


• Image and Video Retrieval


• Image and Video Retrieval


• Image and Video Retrieval


• Image Processing Based on Partial Differential Equations


• Image Processing for Computer Graphics and Vision


• Image-Based Rendering


• Imaging Beyond the Pinhole Camera


• Impacts and Risk Assessment of Technology for Internet Security


• Implementation and Application of Automata


• Implementation and Application of Automata


• Implementation and Application of Automata


• Implementation and Application of Automata


• Implementation and Application of Automata


• Implementation and Application of Functional Languages


• Implementation and Application of Functional Languages


• Implementation and Application of Functional Languages


• Implementation and Application of Functional Languages


• Implementation and Applications of Automata


• Implementation of Functional Languages


• Implementing Distributed Systems with Java and CORBA


• Implementing Semantic Web Services


• Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms


• Improvements in System Safety


• Inconsistency Tolerance


• Independent Component Analysis and Blind Signal Separation


• Independent Component Analysis and Signal Separation


• Independent Component Analysis and Signal Separation


• Inductive Logic Programming


• Inductive Logic Programming


• Inductive Logic Programming


• Inductive Logic Programming


• Industrial Applications of Semantic Web


• Informatics Education - Supporting Computational Thinking


• Informatics Education – The Bridge between Using and Understanding Computers


• INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I


• Informatics in Control, Automation and Robotics II


• Information Access through Search Engines and Digital Libraries


• Information and Communication Technologies and Real-Life Learning


• Information and Communications Security


• Information and Communications Security


• Information and Communications Security


• Information and Communications Security


• Information and Complexity in Statistical Modeling


• Information Assurance


• Information Context: Nature, Impact, and Role


• Information Extraction: Algorithms and Prospects in a Retrieval Context


• Information Hiding


• Information Hiding


• Information Hiding


• Information Hiding


• Information Hiding


• Information Networking


• Information Networking. Advances in Data Communications and Wireless Networks


• Information Networking. Towards Ubiquitous Networking and Services


• Information Processing and Security Systems


• Information Processing in Medical Imaging


• Information Processing in Medical Imaging


• Information Processing in Medical Imaging


• Information Processing with Evolutionary Algorithms


• Information Retrieval for Music and Motion


• Information Retrieval Technology


• Information Retrieval Technology


• Information Retrieval Technology


• Information Retrieval Technology


• Information Retrieval Technology


• Information Security


• Information Security


• Information Security


• Information Security


• Information Security and Cryptology


• Information Security and Cryptology


• Information Security and Cryptology


• Information Security and Cryptology


• Information Security and Cryptology – ICISC 2004


• Information Security and Cryptology - ICISC 2005


• Information Security and Cryptology – ICISC 2006


• Information Security and Cryptology - ICISC 2007


• Information Security and Cryptology – ICISC 2008


• Information Security and Privacy


• Information Security and Privacy


• Information Security and Privacy


• Information Security and Privacy


• Information Security and Privacy


• Information Security Applications


• Information Security Applications


• Information Security Applications


• Information Security Applications


• Information Security Applications


• Information Security Governance


• Information Security Practice and Experience


• Information Security Practice and Experience


• Information Security Practice and Experience


• Information Security Practice and Experience


• Information Security Practice and Experience


• Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks


• Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems


• Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks


• Information Sharing on the Semantic Web


• Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises


• Information Systems and e-Business Technologies


• Information Systems Development


• Information Systems Development


• Information Systems Development


• Information Systems Reengineering and Integration


• Information Systems Security


• Information Systems Security


• Information Systems Security


• Information Systems Security


• Information Systems, Technology and Management


• Information Systems: Modeling, Development, and Integration


• Information Technology and Educational Management in the Knowledge Society


• Information Technology and Lawyers


• Information Technology For Balanced Manufacturing Systems


• Information Technology in the Service Economy: Challenges and Possibilities for the 21st Century


• Information Theoretic Security


• Information Theory and Statistical Learning


• Information Theory in Computer Vision and Pattern Recognition


• Information Visualization


• Information Visualization


• Informing Digital Futures


• Innovation in Manufacturing Networks


• Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering


• Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs


• Innovations in Applied Artificial Intelligence


• Innovative Approaches for Learning and Knowledge Sharing


• Innovative Concepts for Autonomic and Agent-Based Systems


• Innovative Internet Community Systems


• Innovative Internet Community Systems


• Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education


• Inside Relational Databases with Examples in Access


• Insider Attack and Cyber Security


• Integer Programming and Combinatorial Optimization


• Integer Programming and Combinatorial Optimization


• Integer Programming and Combinatorial Optimization


• Integrated Circuit and System Design


• Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation


• Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation


• Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation


• Integrated Formal Methods


• Integrated Formal Methods


• Integrated Formal Methods


• Integrated Graphic and Computer Modelling


• Integrated Research in GRID Computing


• Integrating Human Aspects in Production Management


• Integration and Innovation Orient to E-Society Volume 1


• Integration and Innovation Orient to E-Society Volume 2


• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems


• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems


• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems


• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems


• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics


• Intelligence and Security Informatics for International Security


• Intelligence and Security Informatics: Biosurveillance


• Intelligence in Communication Systems


• Intelligent Agents and Multi-Agent Systems


• Intelligent Agents and Multi-Agent Systems


• Intelligent Computer Mathematics


• Intelligent Computer Mathematics


• Intelligent Computing


• Intelligent Computing Everywhere


• Intelligent Computing in Engineering and Architecture


• Intelligent Data Engineering and Automated Learning — IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents


• Intelligent Data Engineering and Automated Learning - IDEAL 2005


• Intelligent Data Engineering and Automated Learning – IDEAL 2006


• Intelligent Data Engineering and Automated Learning - IDEAL 2007


• Intelligent Data Engineering and Automated Learning – IDEAL 2008


• Intelligent Document Retrieval


• Intelligent Engineering Systems and Computational Cybernetics


• Intelligent Environments


• Intelligent Information Processing II


• Intelligent Information Processing III


• Intelligent Information Processing IV


• Intelligent Information Technology


• Intelligent Media Technology for Communicative Intelligence


• Intelligent Robotics and Applications


• Intelligent Robotics and Applications


• Intelligent Techniques for Web Personalization


• Intelligent Technologies for Interactive Entertainment


• Intelligent Technologies for Interactive Entertainment


• Intelligent Tutoring Systems


• Intelligent Tutoring Systems


• Intelligent Virtual Agents


• Intelligent Virtual Agents


• Intelligent Virtual Agents


• Intelligent Virtual Agents


• Interactive Computation


• Interactive Curve Modeling


• Interactive Media: The Semiotics of Embodied Interaction


• Interactive Storytelling


• Interactive Systems


• Interactive Systems. Design, Specification, and Verification


• Interactive Systems. Design, Specification, and Verification


• Interactive Technologies and Sociotechnical Systems


• Interactive TV: a Shared Experience


• Intercultural Collaboration


• Inter-Domain Management


• International Symposium on Fundamentals of Software Engineering


• Internationalization, Design and Global Development


• Internet and Network Economics


• Internet and Network Economics


• Internet and Network Economics


• Internet and Network Economics


• Internet Policy and Economics


• Introduction à la commande des robots humanoïdes


• Introduction à Scilab


• Introduction pratique aux bases de données relationnelles


• Introduction to Assembly Language Programming


• Introduction to C++ Programming and Graphics


• Introduction to Computer Graphics


• Introduction to Cryptography


• Introduction to Geometric Computing


• Introduction to Information Visualization


• Introduction to Operating System Design and Implementation


• Introduction to Programming with Fortran


• Introduction to Reliable Distributed Programming


• Introduction to Scientific Visualization


• Introduction to Video Search Engines


• Intrusion and Malware Detection and Vulnerability Assessment


• Intrusion Detection and Correlation


• Intrusion Detection Systems


• Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets


• IP Networking over Next-Generation Satellite Systems


• IP Operations and Management


• IP Operations and Management


• IPv6 in Practice


• ISSE 2006 — Securing Electronic Busines Processes


• ISSE 2008 Securing Electronic Business Processes


• ISSE/SECURE 2007 Securing Electronic Business Processes


• Issues in Multi-Agent Systems


• IT Revolutions


• Iterated Function Systems for Real-Time Image Synthesis


• ITIL® Version 3 at a Glance


• Java Methods for Financial Engineering


• JDF


• Job Scheduling Strategies for Parallel Processing


• Job Scheduling Strategies for Parallel Processing


• Job Scheduling Strategies for Parallel Processing


• Job Scheduling Strategies for Parallel Processing


• Journal on Data Semantics II


• Journal on Data Semantics III


• Journal on Data Semantics III


• Journal on Data Semantics IV


• Journal on Data Semantics IX


• Journal on Data Semantics V


• Journal on Data Semantics VI


• Journal on Data Semantics VII


• Journal on Data Semantics VIII


• Journal on Data Semantics X


• Journal on Data Semantics XI


• Journal on Data Semantics XII


• KI 2005: Advances in Artificial Intelligence


• KI 2006: Advances in Artificial Intelligence


• KI 2007: Advances in Artificial Intelligence


• KI 2008: Advances in Artificial Intelligence


• Knowledge Acquisition: Approaches, Algorithms and Applications


• Knowledge and Data Management in GRIDs


• Knowledge and Information Visualization


• Knowledge and Skill Chains in Engineering and Manufacturing


• Knowledge and Skill Chains in Engineering and Manufacturing Information infrastructure in the Era of Global Communications


• Knowledge Cartography


• Knowledge Discovery and Emergent Complexity in Bioinformatics


• Knowledge Discovery from XML Documents


• Knowledge Discovery in Databases: PKDD 2005


• Knowledge Discovery in Databases: PKDD 2006


• Knowledge Discovery in Databases: PKDD 2007


• Knowledge Discovery in Inductive Databases


• Knowledge Discovery in Inductive Databases


• Knowledge Discovery in Inductive Databases


• Knowledge Discovery in Life Science Literature


• Knowledge Engineering: Practice and Patterns


• Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management


• Knowledge Management for Educational Innovation


• Knowledge Management for Health Care Procedures


• Knowledge Management for Health Care Procedures


• Knowledge Management In Action


• Knowledge Processing with Interval and Soft Computing


• Knowledge Representation and the Semantics of Natural Language


• Knowledge Science, Engineering and Management


• Knowledge Science, Engineering and Management


• Knowledge Sharing in the Integrated Enterprise


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Knowledge-Based Intelligent Information and Engineering Systems


• Language and Automata Theory and Applications


• Language and Automata Theory and Applications


• Language Engineering and Rigorous Software Development


• Languages and Compilers for High Performance Computing


• Languages and Compilers for Parallel Computing


• Languages and Compilers for Parallel Computing


• Languages and Compilers for Parallel Computing


• Languages and Compilers for Parallel Computing


• Languages and Compilers for Parallel Computing


• Languages, Methodologies and Development Tools for Multi-Agent Systems


• Languages: From Formal to Natural


• Large Scale Management of Distributed Systems


• Large-Scale Knowledge Resources. Construction and Application


• Large-Scale Scientific Computing


• Large-Scale Scientific Computing


• LATIN 2006: Theoretical Informatics


• LATIN 2008: Theoretical Informatics


• Law and the Semantic Web


• Lean Business Systems and Beyond


• Learning and Adaption in Multi-Agent Systems


• Learning and Intelligent Optimization


• Learning by Playing. Game-based Education System Design and Development


• Learning Classifier Systems


• Learning Classifier Systems


• Learning Design


• Learning from Data Streams


• Learning in Communities


• Learning Network Services for Professional Development


• Learning Theory


• Learning Theory


• Learning Theory


• Learning to Live in the Knowledge Society


• Legal Programming


• Les virus informatiques: théorie, pratique et applications


• Leveraging Applications of Formal Methods


• Leveraging Applications of Formal Methods, Verification and Validation


• Leveraging the Semantics of Topic Maps


• Life System Modeling and Simulation


• Linear Genetic Programming


• List Decoding of Error-Correcting Codes


• Literature-based Discovery


• Local Pattern Detection


• Location and Context Awareness


• Location- and Context-Awareness


• Location- and Context-Awareness


• Location- and Context-Awareness


• Logic and Its Applications


• Logic and Theory of Algorithms


• Logic Based Program Synthesis and Transformation


• Logic Based Program Synthesis and Transformation


• Logic for Programming, Artificial Intelligence, and Reasoning


• Logic for Programming, Artificial Intelligence, and Reasoning


• Logic for Programming, Artificial Intelligence, and Reasoning


• Logic for Programming, Artificial Intelligence, and Reasoning


• Logic for Programming, Artificial Intelligence, and Reasoning


• Logic Functions and Equations


• Logic Programming


• Logic Programming


• Logic Programming


• Logic Programming


• Logic Programming


• Logic Programming and Nonmonotonic Reasoning


• Logic Programming and Nonmonotonic Reasoning


• Logic Programming and Nonmonotonic Reasoning


• Logic Programming with Prolog


• Logic, Language, and Computation


• Logic, Language, and Computation


• Logic, Language, Information and Computation


• Logic, Language, Information and Computation


• Logic, Language, Information and Computation


• Logical and Relational Learning


• Logical Approaches to Computational Barriers


• Logical Aspects of Computational Linguistics


• Logical Data Modeling


• Logical Foundations of Computer Science


• Logical Foundations of Computer Science


• Logic-Based Program Synthesis and Transformation


• Logic-Based Program Synthesis and Transformation


• Logic-Based Program Synthesis and Transformation


• Logics in Artificial Intelligence


• Logics in Artificial Intelligence


• Logics in Artificial Intelligence


• Logics of Specification Languages


• Long-Term Preservation of Digital Documents


• Machine Learning


• Machine Learning and Data Mining for Computer Security


• Machine Learning and Data Mining in Pattern Recognition


• Machine Learning and Data Mining in Pattern Recognition


• Machine Learning and Data Mining in Pattern Recognition


• Machine Learning and Knowledge Discovery in Databases


• Machine Learning and Knowledge Discovery in Databases


• Machine Learning and Knowledge Discovery in Databases


• Machine Learning and Knowledge Discovery in Databases


• Machine Learning Challenges


• Machine Learning for Audio, Image and Video Analysis


• Machine Learning for Multimedia Content Analysis


• Machine Learning for Multimodal Interaction


• Machine Learning for Multimodal Interaction


• Machine Learning for Multimodal Interaction


• Machine Learning for Multimodal Interaction


• Machine Learning for Multimodal Interaction


• Machine Learning in Computer Vision


• Machine Learning in Cyber Trust


• Machine Learning Techniques for Multimedia


• Machine Learning: ECML 2005


• Machine Learning: ECML 2006


• Machine Learning: ECML 2007


• Machine Translation


• Machines, Computations, and Universality


• Machines, Computations, and Universality


• Making Globally Distributed Software Development a Success Story


• Making Grids Work


• Malware Detection


• Manage IT!


• Management of Converged Multimedia Networks and Services


• Management of Convergence Networks and Services


• Management of Multimedia Networks and Services


• Managing Cyber Threats


• Managing Information Risk and the Economics of Security


• Managing Knowledge in a World of Networks


• Managing Large-Scale Service Deployment


• Managing Next Generation Networks and Services


• Managing Traffic Performance in Converged Networks


• Managing Virtualization of Networks and Services


• Maple


• Markov Models for Pattern Recognition


• Markov Random Field Modeling in Image Analysis


• Massively Multi-Agent Systems I


• Massively Multi-Agent Technology


• Mathematical Approaches to Software Quality


• Mathematical Foundations of Computer Science 2005


• Mathematical Foundations of Computer Science 2006


• Mathematical Foundations of Computer Science 2007


• Mathematical Foundations of Computer Science 2008


• Mathematical Foundations of Computer Science 2009


• Mathematical Knowledge Management


• Mathematical Knowledge Management


• Mathematical Linguistics


• Mathematical Methods in Computer Science


• Mathematical Methods in Counterterrorism


• Mathematical Morphology and Its Application to Signal and Image Processing


• Mathematical Morphology: 40 Years On


• Mathematical Software - ICMS 2006


• Mathematical Theory and Computational Practice


• Mathematical Tools for Data Mining


• Mathematics and Computation in Music


• Mathematics for Computer Graphics


• Mathematics of Program Construction


• Mathematics of Program Construction


• Mathematics of Surfaces XI


• Mathematics of Surfaces XII


• Mathematics of Surfaces XIII


• Maturing Usability


• Max-Plus Linear Stochastic Systems and Perturbation Analysis


• Mechanisms, Symbols, and Models Underlying Cognition


• Mechanizing Mathematical Reasoning


• Media Space 20 + Years of Mediated Life


• Medical Biometrics


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2001


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008


• Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008


• Medical Imaging and Augmented Reality


• Medical Imaging and Augmented Reality


• Medical Imaging and Informatics


• Membrane Computing


• Membrane Computing


• Membrane Computing


• Membrane Computing


• Membrane Computing


• Membrane Computing


• Metadata and Semantics


• Metainformatics


• Metalearning


• Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy


• Methods and Procedures for the Verification and Validation of Artificial Neural Networks


• Methods and Tools for Collaborative Networked Organizations


• Methods, Models and Tools for Fault Tolerance


• Metrics for Process Models


• MICAI 2005: Advances in Artificial Intelligence


• MICAI 2006: Advances in Artificial Intelligence


• MICAI 2007: Advances in Artificial Intelligence


• MICAI 2008: Advances in Artificial Intelligence


• Micro-Assembly Technologies and Applications


• Microsoft Dynamics NAV


• Middleware 2005


• Middleware 2006


• Middleware 2007


• Middleware 2008


• Middleware for Network Eccentric and Mobile Applications


• Minimalism


• Mining Complex Data


• Mining Sequential Patterns from Large Data Sets


• Mixed Reality In Architecture, Design And Construction


• Mobile 3D Graphics


• Mobile Ad-hoc and Sensor Networks


• Mobile Ad-hoc and Sensor Networks


• Mobile Ad-Hoc and Sensor Networks


• Mobile and Wireless Communication Networks


• Mobile and Wireless Communication Networks


• Mobile Communications


• Mobile Information Systems


• Mobile Information Systems


• Mobile Information Systems II


• Mobile Lightweight Wireless Systems


• Mobile Response


• Mobile Response


• Mobile Wireless Middleware, Operating Systems, and Applications - Workshops


• Mobile World


• MobileWireless Middleware, Operating Systems, and Applications


• Mobility Aware Technologies and Applications


• Mobility, Data Mining and Privacy


• Model Checking and Artificial Intelligence


• Model Checking and Artificial Intelligence


• Model Checking Software


• Model Checking Software


• Model Checking Software


• Model Checking Software


• Model Checking Software


• Model Driven Architecture


• Model Driven Architecture - Foundations and Applications


• Model Driven Architecture – Foundations and Applications


• Model Driven Architecture – Foundations and Applications


• Model Driven Architecture – Foundations and Applications


• Model Driven Architecture and Ontology Development


• Model Driven Architecture- Foundations and Applications


• Model Driven Engineering and Ontology Development


• Model Driven Engineering Languages and Systems


• Model Driven Engineering Languages and Systems


• Model Driven Engineering Languages and Systems


• Model Driven Engineering Languages and Systems


• Model-Based Software and Data Integration


• Model-Based Testing of Reactive Systems


• Model-Driven Architecture in Practice


• Model-Driven Design Using Business Patterns


• Model-Driven Development of Reliable Automotive Services


• Model-Driven Software Development


• Model-Driven Testing


• Modeling and Retrieval of Context


• Modeling and Simulation Tools for Emerging Telecommunication Networks


• Modeling and Using Context


• Modeling and Using Context


• Modeling Communication with Robots and Virtual Humans


• Modeling Decisions


• Modeling Decisions for Artificial Intelligence


• Modeling Decisions for Artificial Intelligence


• Modeling Decisions for Artificial Intelligence


• Modeling Decisions for Artificial Intelligence


• Modeling Semantic Web Services


• Modelling and Simulation


• Modelling Autonomic Communications Environments


• Modelling Distributed Systems


• Modelling, Computation and Optimization in Information Systems and Management Sciences


• Models in Software Engineering


• Models in Software Engineering


• Models in Software Engineering


• Models of Computation


• Modular Algorithms in Symbolic Summation and Symbolic Integration


• Modular Ontologies


• Modular Programming Languages


• More Math Into Latex


• Motion in Games


• Motion-Free Super-Resolution


• Motivated Reinforcement Learning


• Moving Wearables into the Mainstream


• Multiaccess, Reservations & Queues


• Multi-Agent and Multi-Agent-Based Simulation


• Multiagent Engineering


• Multi-Agent Programming


• Multi-Agent Programming:


• Multiagent System Technologies


• Multiagent System Technologies


• Multiagent System Technologies


• Multiagent System Technologies


• Multi-Agent Systems and Applications IV


• Multi-Agent Systems and Applications V


• Multi-Agent Systems for Society


• Multi-Agent-Based Simulation IX


• Multi-Agent-Based Simulation VI


• Multi-Agent-Based Simulation VII


• Multi-Agent-Based Simulation VIII


• Multicore Processors and Systems


• Multilingual Information Access for Text, Speech and Images


• Multimedia and E-Content Trends


• Multimedia Content Analysis and Mining


• Multimedia Content Representation, Classification and Security


• Multimedia Data Mining and Knowledge Discovery


• Multimedia Database Retrieval: A Human-Centered Approach


• Multimedia Encryption and Watermarking


• Multimedia Introduction to Programming Using Java


• Multimedia Retrieval


• Multimedia Techniques for Device and Ambient Intelligence


• Multimodal Processing and Interaction


• Multimodal Signals: Cognitive and Algorithmic Issues


• Multimodal Technologies for Perception of Humans


• Multimodal Technologies for Perception of Humans


• Multimodal Video Characterization and Summarization


• Multiobjective Evolutionary Algorithms and Applications


• Multiobjective Optimization


• Multiobjective Problem Solving from Nature


• Multiparadigm Programming in Mozart/OZ


• Multiple Classifier Systems


• Multiple Classifier Systems


• Multiple Classifier Systems


• Multivariate Public Key Cryptosystems


• Nano-Net


• Nanotechnology: Science and Computation


• National Systems of Innovation in Comparison


• Natural Computing


• Natural Image Statistics


• Natural Language and Information Systems


• Natural Language Processing – IJCNLP 2004


• Natural Language Processing – IJCNLP 2005


• Natural Language Processing and Information Systems


• Natural Language Processing and Information Systems


• Natural Language Processing and Information Systems


• Natural Language Processing and Text Mining


• Nature Inspired Problem-Solving Methods in Knowledge Engineering


• Nearest Neighbor Search


• Negotiation, Auctions, and Market Engineering


• Net-Centric Approaches to Intelligence and National Security


• Network Analysis


• Network and Parallel Computing


• Network and Parallel Computing


• Network and Parallel Computing


• Network Control and Engineering for QoS, Security and Mobility, III


• Network Control and Engineering for QoS, Security and Mobility, IV


• Network Control and Engineering for Qos, Security and Mobility, V


• Network Control and Optimization


• Network Control and Optimization


• Network Economics for Next Generation Networks


• Network Infrastructure Security


• Network Performance Analysis


• Network Security Policies and Procedures


• Network-Based Information Systems


• Network-Based Information Systems


• Network-Centric Collaboration and Supporting Frameworks


• Network-Centric Service-Oriented Enterprise


• Networked Neighbourhoods


• Networked RFID


• Networked RFID Systems and Lightweight Cryptography


• Networking - ICN 2005


• Networking - ICN 2005


• NETWORKING 2005


• Networking 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems


• NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet


• NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet


• NETWORKING 2009


• Networking and Mobile Computing


• Networks for Grid Applications


• Networks: From Biology to Theory


• Neural Information Processing


• Neural Information Processing


• Neural Information Processing


• Neural Information Processing


• Neural Information Processing


• Neural Nets


• Neural Preprocessing and Control of Reactive Walking Machines


• Neural-Symbolic Cognitive Reasoning


• New Algorithms for Macromolecular Simulation


• New Approaches for Security, Privacy and Trust in Complex Environments


• New Computational Paradigms


• New Computational Paradigms


• New Directions in Cognitive Information Retrieval


• New Directions in Human Information Behavior


• New Frontiers for Entertainment Computing


• New Frontiers in Applied Artificial Intelligence


• New Frontiers in Applied Data Mining


• New Frontiers in Artificial Intelligence


• New Frontiers in Artificial Intelligence


• New Frontiers in Artificial Intelligence


• New Frontiers in Artificial Intelligence


• New Frontiers in Artificial Intelligence


• New Horizons of Parallel and Distributed Computing


• New Stream Cipher Designs


• New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design


• New Trends in Applied Artificial Intelligence


• New Trends on Human-Computer Interaction


• Next Generation Information Technologies and Systems


• Next Generation Teletraffic and Wired/Wireless Advanced Networking


• Next Generation Teletraffic and Wired/Wireless Advanced Networking


• Next Generation Teletraffic and Wired/Wireless Advanced Networking


• Next-Generation Applied Intelligence


• Nonlinear Analyses and Algorithms for Speech Processing


• Nonlinear Dimensionality Reduction


• Nonlinear Speech Modeling and Applications


• Numerical Analysis and Its Applications


• Numerical Analysis and Its Applications


• Numerical Geometry of Non-Rigid Shapes


• Numerical Methods and Applications


• Numerical Validation in Current Hardware Architectures


• Object Oriented Simulation


• Object Relationship Notation (ORN) for Database Applications


• Object-Oriented Metrics in Practice


• Object-Oriented Programming and Java


• Object-Oriented Programming Languages: Interpretation


• Object-Oriented Technology. ECOOP 2004 Workshop Reader


• Object-Oriented Technology. ECOOP 2006 Workshop Reader


• Object-Oriented Technology. ECOOP 2007 Workshop Reader


• Object-Oriented Technology. ECOOP 2008 Workshop Reader


• Objects, Components, Architectures, Services, and Applications for a Networked World


• Objects, Components, Models and Patterns


• Objects, Components, Models and Patterns


• OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]


• On Probabilistic Conditional Independence Structures


• On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE


• On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE


• On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE


• On the Move to Meaningful Internet Systems 2005: OTM Workshops


• On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE


• On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE


• On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops


• On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops


• On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS


• On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS


• On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops


• On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops


• On the Move to Meaningful Internet Systems: OTM 2008


• On the Move to Meaningful Internet Systems: OTM 2008


• On the Move to Meaningful Internet Systems: OTM 2008 Workshops


• One Jump Ahead


• Online Business Security Systems


• Online Communities and Social Computing


• Online Communities and Social Computing


• Ontologies for Agents: Theory and Experiences


• Ontologies for Software Engineering and Software Technology


• Ontologies-Based Databases and Information Systems


• Ontology Alignment


• Ontology Learning and Population from Text


• Ontology Management


• Ontology Matching


• OPC Unified Architecture


• Open IT-Based Innovation: Moving Towards Cooperative IT Transfer and Knowledge Diffusion


• Open Source Development, Adoption and Innovation


• Open Source Development, Communities and Quality


• Open Source Ecosystems: Diverse Communities Interacting


• Open Source Systems


• Open Source Systems Security Certification


• OpenGL Graphics Through Applications


• OpenMP in a New Era of Parallelism


• OpenMP Shared Memory Parallel Programming


• Operational Semantics for Timed Systems


• Operations and Management in IP-Based Networks


• Operations Research and Cyber-Infrastructure


• Optical Burst Switched Networks


• Optical Communication Theory and Techniques


• Optical Network Design and Modeling


• Optical Networks and Technologies


• Optical SuperComputing


• Optical WDM Networks


• Optimized Bayesian Dynamic Advising


• Ordinal Optimization


• Organizational Dynamics of Technology-Based Innovation: Diversifying the Research Agenda


• Organizational Principles for Multi-Agent Architectures


• Organized Adaption in Multi-Agent Systems


• OSS Design Patterns


• Pairing-Based Cryptography – Pairing 2007


• Pairing-Based Cryptography – Pairing 2008


• Pairing-Based Cryptography – Pairing 2009


• Parallel and Distributed Computing: Applications and Technologies


• Parallel and Distributed Processing and Applications


• Parallel and Distributed Processing and Applications


• Parallel and Distributed Processing and Applications


• Parallel and Distributed Processing and Applications


• Parallel and Distributed Processing and Applications - ISPA 2005 Workshops


• Parallel Computing


• Parallel Computing Technologies


• Parallel Computing Technologies


• Parallel Problem Solving from Nature - PPSN IX


• Parallel Problem Solving from Nature – PPSN X


• Parallel Processing and Applied Mathematics


• Parallel Processing and Applied Mathematics


• Parameterized and Exact Computation


• Parameterized and Exact Computation


• Parameterized Complexity Theory


• Parsing Techniques


• Parsing the Turing Test


• Passive and Active Network Measurement


• Passive and Active Network Measurement


• Passive and Active Network Measurement


• Passive and Active Network Measurement


• Past, Present and Future of Research in the Information Society


• Pattern Calculus


• Pattern Recognition


• Pattern Recognition


• Pattern Recognition


• Pattern Recognition


• Pattern Recognition and Data Mining


• Pattern Recognition and Image Analysis


• Pattern Recognition and Image Analysis


• Pattern Recognition and Image Analysis


• Pattern Recognition and Image Analysis


• Pattern Recognition and Image Analysis


• Pattern Recognition and Image Analysis


• Pattern Recognition and Machine Intelligence


• Pattern Recognition and Machine Intelligence


• Pattern Recognition in Bioinformatics


• Pattern Recognition in Bioinformatics


• Pattern Recognition in Bioinformatics


• Pattern Recognition in Bioinformatics


• PEACH - Intelligent Interfaces for Museum Visits


• Pedagogically Founded Courseware Generation for Web-Based Learning


• Peer-to-Peer Computing


• Peer-to-Peer Computing for Mobile Networks


• Peer-to-Peer Systems and Applications


• Peer-to-Peer Systems III


• Peer-to-Peer Systems IV


• Peer-to-Peer Video Streaming


• Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures


• People and Computers XIX — The Bigger Picture


• People and Computers XVIII — Design for Life


• People and Computers XX — Engage


• Perception and Interactive Technologies


• Perception in Multimodal Dialogue Systems


• Percutaneous Tumor Ablation in Medical Radiology


• Performability Has its Price


• Performance Analysis of Network Architectures


• Performance Evaluation: Metrics, Models and Benchmarks


• Performance Modeling and Engineering


• Personal Satellite Services


• Personal Wireless Communications


• Personal Wireless Communications


• Perspectives and Policies on ICT in Society


• Perspectives in Conceptual Modeling


• Perspectives of Systems Informatics


• Persuasive Technology


• Persuasive Technology


• Persuasive Technology


• Pervasive Collaborative Networks


• Pervasive Computing


• Pervasive Computing


• Pervasive Computing


• Pervasive Computing


• Pervasive Computing


• Pervasive Computing for Quality of Life Enhancement


• Pervasive Healthcare Computing


• Petri Nets and Other Models of Concurrency - ICATPN 2006


• Petri Nets and Other Models of Concurrency – ICATPN 2007


• Pillars of Computer Science


• Pixelization Paradigm


• Policies and Research in Identity Management


• Positive Operators


• Post-Quantum Cryptography


• Power - Aware Computer Systems


• Power Analysis Attacks


• Power-Aware Computer Systems


• Practical Aspects of Declarative Languages


• Practical Aspects of Declarative Languages


• Practical Aspects of Declarative Languages


• Practical Aspects of Declarative Languages


• Practical Aspects of Declarative Languages


• Practical Aspects of Knowledge Management


• Practical Aspects of Knowledge Management


• Practical Computing on the Cell Broadband Engine


• Practical Distributed Processing


• Practical Internet Security


• Practical Introduction to Computer Architecture


• Practice and Theory of Automated Timetabling V


• Practice and Theory of Automated Timetabling VI


• Precision Assembly Technologies for Mini and Micro Products


• Precision Landmark Location for Machine Vision and Photogrammetry


• Preferences and Similarities


• Preserving Digital Information


• Preserving Privacy in On-Line Analytical Processing (OLAP)


• PRICAI 2006: Trends in Artificial Intelligence


• PRICAI 2006: Trends in Artificial Intelligence


• PRICAI 2008: Trends in Artificial Intelligence


• Primality Testing and Integer Factorization in Public-Key Cryptography


• Principles and Practice of Constraint Programming


• Principles and Practice of Constraint Programming - CP 2005


• Principles and Practice of Constraint Programming - CP 2006


• Principles and Practice of Constraint Programming – CP 2007


• Principles and Practice of Semantic Web Reasoning


• Principles and Practice of Semantic Web Reasoning


• Principles of Computer Graphics


• Principles of Data Mining


• Principles of Distributed Systems


• Principles of Distributed Systems


• Principles of Distributed Systems


• Principles of Distributed Systems


• Principles of Distributed Systems


• Principles of Programming Languages


• Principles of Protocol Design


• Principles of the Spin Model Checker


• Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks


• Privacy and Technologies of Identity


• Privacy Enhancing Technologies


• Privacy Enhancing Technologies


• Privacy Enhancing Technologies


• Privacy Enhancing Technologies


• Privacy Enhancing Technologies


• Privacy Enhancing Technologies


• Privacy in Location-Based Applications


• Privacy in Statistical Databases


• Privacy in Statistical Databases


• Privacy Preserving Data Mining


• Privacy, Security and Trust within the Context of Pervasive Computing


• Privacy, Security, and Trust in KDD


• Privacy, Security, and Trust in KDD


• Privacy-Preserving Data Mining


• Privacy-Respecting Intrusion Detection


• Probabilistic Inductive Logic Programming


• Probabilistic Logic Networks


• Probabilistic Modeling in Bioinformatics and Medical Informatics


• Probing Experience


• Problem Solving for Wireless Sensor Networks


• Proceedings of The Ifip Tc 11 23rd International Information Security Conference


• Processes, Terms and Cycles: Steps on the Road to Infinity


• Product Focused Software Process Improvement


• Product-Focused Software Process Improvement


• Product-Focused Software Process Improvement


• Product-Focused Software Process Improvement


• Product-Focused Software Process Improvement


• Production Rendering


• Professional Knowledge Management


• Professional Practice in Artificial Intelligence


• Program Analysis and Compilation, Theory and Practice


• Programming Languages


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Languages and Systems


• Programming Multi-Agent Systems


• Programming Multi-Agent Systems


• Programming Multi-Agent Systems


• Programming Multi-Agent Systems


• Programming Multi-Agent Systems


• Progress in Artificial Intelligence


• Progress in Artificial Intelligence


• Progress in Artificial Life


• Progress in Cryptology – AFRICACRYPT 2008


• Progress in Cryptology – AFRICACRYPT 2009


• Progress in Cryptology - INDOCRYPT 2004


• Progress in Cryptology - INDOCRYPT 2005


• Progress in Cryptology - INDOCRYPT 2006


• Progress in Cryptology – INDOCRYPT 2007


• Progress in Cryptology - INDOCRYPT 2008


• Progress in Cryptology – Mycrypt 2005


• Progress in Cryptology - VIETCRYPT 2006


• Progress in Nonlinear Speech Processing


• Progress in Pattern Recognition, Image Analysis and Applications


• Progress in Pattern Recognition, Image Analysis and Applications


• Progress in Pattern Recognition, Image Analysis and Applications


• Progress in Pattern Recognition, Image Analysis and Applications


• Progress in Robotics


• Progress in WWW Research and Development


• Project E-Society: Building Bricks


• Project Management and Risk Management in Complex Projects


• Protecting Privacy in Video Surveillance


• Provable Security


• Provable Security


• Provenance and Annotation of Data


• Provenance and Annotation of Data and Processes


• Public Key Cryptography - PKC 2005


• Public Key Cryptography - PKC 2006


• Public Key Cryptography – PKC 2007


• Public Key Cryptography – PKC 2008


• Public Key Cryptography – PKC 2009


• Public Key Infrastructure


• Public Key Infrastructure


• Public Key Infrastructure


• Public Key Infrastructure


• QoS in Packet Networks


• Qualità dei Dati


• Quality of Protection


• Quality of Service – IWQoS 2005


• Quality of Service – IWQoS 2005


• Quality of Service in Multiservice IP Networks


• Quality of Software Architectures


• Quality of Software Architectures and Software Quality


• Quality of Software Architectures. Models and Architectures


• Quantifiers in Action


• Quantitative Measure for Discrete Event Supervisory Control


• Quantum Interaction


• Rapid Integration of Software Engineering Techniques


• Rapid Integration of Software Engineering Techniques


• Rapid Integration of Software Engineering Techniques


• Rationale Management in Software Engineering


• Rationale-Based Software Engineering


• Reachability Problems


• Real-Time Mobile Multimedia Services


• Real-Time Vision for Human-Computer Interaction


• Reasoning Web


• Reasoning Web


• Reasoning Web


• Reasoning Web


• Reasoning Web. Semantic Technologies for Information Systems


• Reasoning, Action and Interaction in AI Theories and Systems


• Recent Advances in Constraints


• Recent Advances in Constraints


• Recent Advances in Constraints


• Recent Advances in Constraints


• Recent Advances in Constraints


• Recent Advances in Intrusion Detection


• Recent Advances in Intrusion Detection


• Recent Advances in Intrusion Detection


• Recent Advances in Intrusion Detection


• Recent Advances in Modeling and Simulation Tools for Communication Networks and Services


• Recent Advances in Parallel Virtual Machine and Message Passing Interface


• Recent Advances in Parallel Virtual Machine and Message Passing Interface


• Recent Advances in Parallel Virtual Machine and Message Passing Interface


• Recent Advances in Parallel Virtual Machine and Message Passing Interface


• Recent Advances in Reinforcement Learning


• Recent Trends in Algebraic Development Techniques


• Recent Trends in Algebraic Development Techniques


• Recent Trends in Algebraic Development Techniques


• Reconfigurable Computing: Architectures and Applications


• Reconfigurable Computing: Architectures, Tools and Applications


• Reconfigurable Computing: Architectures, Tools and Applications


• Reconfigurable Computing: Architectures, Tools and Applications


• Refinement Techniques in Software Engineering


• Reflections on the Teaching of Programming


• Regulatory Genomics


• Relational Methods in Computer Science


• Relational Methods in Computer Science


• Relations and Kleene Algebra in Computer Science


• Relations and Kleene Algebra in Computer Science


• Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming


• Reliable Distributed Systems


• Reliable Face Recognition Methods


• Reliable Implementation of Real Number Algorithms: Theory and Practice


• Reliable Software Technologies – Ada Europe 2007


• Reliable Software Technologies – Ada-Europe 2006


• Reliable Software Technologies – Ada-Europe 2008


• Reliable Software Technologies – Ada-Europe 2009


• Reliable Software Technology – Ada-Europe 2005


• Reliable Systems on Unreliable Networked Platforms


• Representation and Management of Narrative Information


• Requirements Engineering


• Requirements Engineering: Foundation for Software Quality


• Requirements Engineering: Foundation for Software Quality


• Requirements Engineering: Foundation for Software Quality


• Requirements Management


• Research and Advanced Technology for Digital Libraries


• Research and Advanced Technology for Digital Libraries


• Research and Advanced Technology for Digital Libraries


• Research and Advanced Technology for Digital Libraries


• Research and Advanced Technology for Digital Libraries


• Research and Advanced Technology for Digital Libraries


• Research and Development in Intelligent Systems XXI


• Research and Development in Intelligent Systems XXIV


• Research and Practical Issues of Enterprise Information Systems


• Research and Practical Issues of Enterprise Information Systems II


• Research and Practical Issues of Enterprise Information Systems II Volume 1


• Research in Computational Molecular Biology


• Research in Computational Molecular Biology


• Research in Computational Molecular Biology


• Research in Computational Molecular Biology


• Research in Computational Molecular Biology


• Research in Cryptology


• Resilient Networks and Services


• Resource Allocation in Wireless Networks


• Resources, Co-Evolution and Artifacts


• Responsibility and Dependable Systems


• Reuse of Off-the-Shelf Components


• Reverse Engineering of Object Oriented Code


• Rewriting Techniques and Applications


• Rewriting Techniques and Applications


• Rewriting, Computation and Proof


• Rightshore!


• Rigid Body Dynamics Algorithms


• Rigid Flexibility


• Rigorous Development of Complex Fault-Tolerant Systems


• RoboCup 2004: Robot Soccer World Cup VIII


• RoboCup 2005: Robot Soccer World Cup IX


• RoboCup 2006: Robot Soccer World Cup X


• RoboCup 2007: Robot Soccer World Cup XI


• RoboCup 2008: Robot Soccer World Cup XII


• RoboCup-98: Robot Soccer World Cup II


• Robot Behaviour


• Robot Cognition and Navigation


• Robot Vision


• Robotica mobile


• Robots, Reasoning, and Reification


• Robust Intelligent Systems


• Rough Sets and Current Trends in Computing


• Rough Sets and Current Trends in Computing


• Rough Sets and Current Trends in Computing


• Rough Sets and Intelligent Systems Paradigms


• Rough Sets and Knowledge Technology


• Rough Sets and Knowledge Technology


• Rough Sets and Knowledge Technology


• Rough Sets and Knowledge Technology


• Rough Sets, Fuzzy Sets, Data Mining and Granular Computing


• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing


• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing


• Ruby on Rails for PHP and Java Developers


• Rule Representation, Interchange and Reasoning on the Web


• Rules and Rule Markup Languages for the Semantic Web


• Runtime Verification


• Runtime Verification


• Safeguards in a World of Ambient Intelligence


• Safety-Critical Systems: Problems, Process and Practice


• Sanskrit Computational Linguistics


• Sanskrit Computational Linguistics


• SAT 2005


• SAT-Based Scalable Formal Verification Solutions


• Satellite Events at the MoDELS 2005 Conference


• Scalability of Networks and Services


• Scalable Uncertainty Management


• Scalable Uncertainty Management


• Scalable Uncertainty Management


• Scale Space and PDE Methods in Computer Vision


• Scale Space and Variational Methods in Computer Vision


• Scale Space and Variational Methods in Computer Vision


• Scaling Topic Maps


• Scenarios: Models, Transformations and Tools


• Scheduling in Distributed Computing Systems


• Scientific and Statistical Database Management


• Scientific and Statistical Database Management


• Scientific Applications of Grid Computing


• Scientific Engineering of Distributed Java Applications


• Scientific Engineering of Distributed Java Applications


• SDL 2005: Model Driven Systems Design


• SDL 2007: Design for Dependable Systems


• Secure Data Management


• Secure Data Management


• Secure Data Management


• Secure Data Management


• Secure Data Management


• Secure Data Management in Decentralized Systems


• Secure Group Communications over Data Networks


• Secure Key Establishment


• Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks


• Secure Mobile Ad-hoc Networks and Sensors


• Secure Multi-Party Non-Repudiation Protocols and Applications


• Secure Systems Development with UML


• Secure Transaction Protocol Analysis


• Securing Biometrics Applications


• Security and Cryptography for Networks


• Security and Cryptography for Networks


• Security and Dependability for Ambient Intelligence


• Security and Privacy in Ad-hoc and Sensor Networks


• Security and Privacy in Ad-Hoc and Sensor Networks


• Security and Privacy in Ad-hoc and Sensor Networks


• Security and Privacy in Dynamic Environments


• Security and Privacy in the Age of Ubiquitous Computing


• Security Engineering for Service-Oriented Architectures


• Security Engineering for Vehicular IT Systems


• Security for Telecommunications Networks


• Security for Wireless Sensor Networks


• Security in Ad-hoc and Sensor Networks


• Security in Communication Networks


• Security in Computing Systems


• Security in E-Learning


• Security in Pervasive Computing


• Security in Pervasive Computing


• Security Management, Integrity, and Internal Control in Information Systems


• Security Protocols


• Security Protocols


• Security Protocols


• Security with Noisy Data


• Security, Privacy, and Trust in Modern Data Management


• Selected Areas in Cryptography


• Selected Areas in Cryptography


• Selected Areas in Cryptography


• Selected Areas in Cryptography


• Selected Areas in Cryptography


• Self-Managed Networks, Systems, and Services


• Self-Organizing Systems


• Self-Organizing Systems


• Self-Organizing Systems


• Self-Service in the Internet Age


• Self-Stabilizing Systems


• Self-star Properties in Complex Information Systems


• Self-Sustaining Systems


• Semantic Digital Libraries


• Semantic Grid: Model, Methodology, and Applications


• Semantic Knowledge Management


• Semantic Management of Middleware


• Semantic Multimedia


• Semantic Multimedia


• Semantic Multimedia


• Semantic Multimedia and Ontologies


• Semantic Service Provisioning


• Semantic Web and Databases


• Semantic Web and Education


• Semantic Web and Peer-to-Peer


• Semantic Web Services


• Semantic Web Services and Web Process Composition


• Semantic Web Services Challenge


• Semantic Web Services, Processes and Applications


• Semantic Web, Ontologies and Databases


• Semantic Web: Concepts, Technologies and Applications


• Semantics in Data and Knowledge Bases


• Semantics with Applications: An Appetizer


• Semantics, Web and Mining


• Semistructured Database Design


• Sequence Comparison


• Sequence Data Mining


• Sequences and Their Applications - SETA 2004


• Sequences and Their Applications – SETA 2006


• Sequences and Their Applications - SETA 2008


• Sequences, Subsequences, and Consequences


• Service Availability


• Service Availability


• Service Availability


• Service Availability


• Service Availability


• Service-Oriented Computing - ICSOC 2005


• Service-Oriented Computing – ICSOC 2006


• Service-Oriented Computing – ICSOC 2007


• Service-Oriented Computing - ICSOC 2007 Workshops


• Service-Oriented Computing – ICSOC 2008


• Service-Oriented Computing – ICSOC 2008 Workshops


• Service-Oriented Computing ICSOC 2006


• Service-Oriented Computing: Agents, Semantics, and Engineering


• Service-Oriented Computing: Agents, Semantics, and Engineering


• Services Computing


• Sets, Logic and Maths for Computing


• Shape from Positional-Contrast


• Shared Memory Parallel Programming with Open MP


• Sharing Data, Information and Knowledge


• Signal Processing for Image Enhancement and Multimedia Processing


• Similarity Search The Metric Space Approach


• Similarity-Based Clustering


• Simulated Evolution and Learning


• Simulated Evolution and Learning


• Simulation, Modeling, and Programming for Autonomous Robots


• Situational Method Engineering: Fundamentals and Experiences


• Smart Card Research and Advanced Applications


• Smart Card Research and Advanced Applications


• Smart Cards, Tokens, Security and Applications


• Smart Graphics


• Smart Graphics


• Smart Graphics


• Smart Graphics


• Smart Graphics


• Smart Homes and Health Telematics


• Smart Sensing and Context


• Smart Sensing and Context


• Smart Sensing and Context


• SmartKom: Foundations of Multimodal Dialogue Systems


• Social Computing and Behavioral Modeling


• Social Computing, Behavioral Modeling, and Prediction


• Social Dimensions Of Information And Communication Technology Policy


• Social Inclusion: Societal and Organizational Implications for Information Systems


• Social Informatics: An Information Society for all? In Remembrance of Rob Kling


• Social Networks and the Semantic Web


• Socionics


• SOFSEM 2005: Theory and Practice of Computer Science


• SOFSEM 2006: Theory and Practice of Computer Science


• SOFSEM 2007: Theory and Practice of Computer Science


• SOFSEM 2008: Theory and Practice of Computer Science


• SOFSEM 2009: Theory and Practice of Computer Science


• SOFSEM’99: Theory and Practice of Informatics


• Soft Computing for Knowledge Discovery and Data Mining


• Soft Real-Time Systems


• Software Agent-Based Applications, Platforms and Development Kits


• Software and Data Technologies


• Software and Data Technologies


• Software Architecture


• Software Architecture


• Software Architecture


• Software Architecture


• Software Architecture


• Software Architecture Knowledge Management


• Software Architectures, Components, and Applications


• Software Composition


• Software Composition


• Software Composition


• Software Composition


• Software Composition


• Software Engineering


• Software Engineering 1


• Software Engineering 2


• Software Engineering 3


• Software Engineering and Middleware


• Software Engineering Approaches for Offshore and Outsourced Development


• Software Engineering Approaches for Offshore and Outsourced Development


• Software Engineering Approaches for Offshore and Outsourced Development


• Software Engineering Education in the Modern Age


• Software Engineering for Multi-Agent Systems III


• Software Engineering for Multi-Agent Systems IV


• Software Engineering for Multi-Agent Systems V


• Software Engineering for Self-Adaptive Systems


• Software Engineering Research and Applications


• Software Engineering Techniques Applied to Agricultural Systems


• Software Engineering Techniques: Design for Quality


• Software Evolution


• Software Language Engineering


• Software Measurement


• Software Process and Product Measurement


• Software Process and Product Measurement


• Software Process Change


• Software Process Dynamics and Agility


• Software Process Improvement


• Software Process Improvement


• Software Process Improvement


• Software Process Improvement


• Software Process Improvement


• Software Process Modeling


• Software Product Line Engineering


• Software Product Lines


• Software Product Lines


• Software Product Lines in Action


• Software Product Management and Pricing


• Software Technologies for Embedded and Ubiquitous Systems


• Software Technologies for Embedded and Ubiquitous Systems


• Software Verification and Analysis


• Software Verification and Validation


• Software Visualization


• Software-Intensive Systems and New Computing Paradigms


• Spaces, Spatiality and Technology


• Spatial Awareness of Autonomous Embedded Systems


• Spatial Cognition IV. Reasoning, Action, and Interaction


• Spatial Cognition V Reasoning, Action, Interaction


• Spatial Cognition VI. Learning, Reasoning, and Talking about Space


• Spatial Coherence for Visual Motion Analysis


• Spatial Data on the Web


• Spatial Information Theory


• Spatial Information Theory


• Spatially Structured Evolutionary Algorithms


• Speaker Classification I


• Speaker Classification II


• Speech Application SDK mit ASP.NET


• Stabilization, Safety, and Security of Distributed Systems


• Stabilization, Safety, and Security of Distributed Systems


• Stabilization, Safety, and Security of Distributed Systems


• STACS 2005


• STACS 2006


• STACS 2007


• State of the Art in Computational Morphology


• Static Analysis


• Static Analysis


• Static Analysis


• Static Analysis


• Static Analysis


• Statistical and Geometrical Approaches to Visual Motion Analysis


• Statistical Learning and Pattern Analysis for Image and Video Processing


• Statistical Methods in Bioinformatics


• Statistical Models of Shape


• Statistical Network Analysis: Models, Issues, and New Directions


• Stepping into Virtual Reality


• Stochastic Algorithms: Foundations and Applications


• Stochastic Algorithms: Foundations and Applications


• Stochastic Discrete Event Systems


• Stochastic Learning and Optimization


• Stochastic Network Calculus


• Stochastic Optimization


• Storage Management in Data Centers


• Stream Data Management


• Stream Data Processing: A Quality of Service Perspective


• String Processing and Information Retrieval


• String Processing and Information Retrieval


• String Processing and Information Retrieval


• String Processing and Information Retrieval


• String Processing and Information Retrieval


• Structural Information and Communication Complexity


• Structural Information and Communication Complexity


• Structural Information and Communication Complexity


• Structural Information and Communication Complexity


• Structural, Syntactic, and Statistical Pattern Recognition


• Structural, Syntactic, and Statistical Pattern Recognition


• Structural, Syntactic, and Statistical Pattern Recognition


• Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective


• Subspace, Latent Structure and Feature Selection


• Successfully Implementing Microsoft Dynamics™


• Super-Recursive Algorithms


• Supply Chain Management on Demand


• Support Vector Machines


• Support Vector Machines for Pattern Classification


• Surgical Scene Generation for Virtual Reality-Based Training in Medicine


• Survey of Text Mining II


• Sustainable Internet


• Swarm Intelligence


• Swarm Robotics


• Swarm Robotics


• Switching and Learning in Feedback Systems


• Symbol Grounding and Beyond


• Symbolic and Quantitative Approaches to Reasoning with Uncertainty


• Symbolic and Quantitative Approaches to Reasoning with Uncertainty


• Symbolic and Quantitative Approaches to Reasoning with Uncertainty


• Synchronizing Internet Protocol Security (SIPSec)


• System Analysis and Modeling


• System Analysis and Modeling: Language Profiles


• System Modeling and Optimization


• System Modeling and Optimization


• System-Level Design Techniques for Energy-Efficient Embedded Systems


• Systems and Virtualization Management. Standards and New Technologies


• Systems Aspects in Organic and Pervasive Computing - ARCS 2005


• Systems Biology and Computational Proteomics


• Systems Biology and Regulatory Genomics


• Systems Modeling and Simulation


• Systems Modeling and Simulation: Theory and Applications


• Systems, Control, Modeling and Optimization


• Task Models and Diagrams for User Interface Design


• Task Models and Diagrams for Users Interface Design


• Techniques virales avancées


• Technologies for Advanced Heterogeneous Networks


• Technologies for Advanced Heterogeneous Networks II


• Technologies for Business Information Systems


• Technologies for E-Learning and Digital Entertainment


• Technologies for E-Learning and Digital Entertainment


• Technologies for E-Learning and Digital Entertainment


• Technologies for E-Services


• Technologies for E-Services


• Technologies for Interactive Digital Storytelling and Entertainment


• Technology Enhanced Learning


• Telecommunications Modeling, Policy, and Technology


• Temporal Logic and State Systems


• Tensors in Image Processing and Computer Vision


• Term Rewriting and Applications


• Term Rewriting and Applications


• Term Rewriting and Applications


• Test and Analysis of Web Services


• TestGoal


• Testing Commercial-off-the-Shelf Components and Systems


• Testing of Communicating Systems


• Testing of Communicating Systems


• Testing of Software and Communicating Systems


• Testing of Software and Communicating Systems


• Tests and Proofs


• Tests and Proofs


• Tests and Proofs


• Text, Speech and Dialogue


• Text, Speech and Dialogue


• Text, Speech and Dialogue


• Text, Speech and Dialogue


• Text, Speech and Dialogue


• The Adaptive Web


• The Agent Modeling Language - AML


• The Algorithm Design Manual


• The Art of Artificial Evolution


• The Austin Protocol Compiler


• The Burrows-Wheeler Transform: Data Compression, Suffix Arrays, and Pattern Matching


• The Calculus of Computation


• The Challenge of Anticipation


• The Common Component Modeling Example


• The Complete IS-IS Routing Protocol


• The Developer’s Guide to Debugging


• The Disappearing Computer


• The Fortran 2003 Handbook


• The Future of Identity in the Information Society


• The Future of Identity in the Information Society


• The Geospatial Web


• The Information Society: Emerging Landscapes


• The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j.


• The Inside Text


• The Internet of the Future


• The Internet of Things


• The IT Measurement Compendium


• The Language of Design


• The Modern Algebra of Information Retrieval


• The New PL/I


• The Next Wave in Computing, Optimization, and Decision Technologies


• The Open Knowlege Society. A Computer Science and Information Systems Manifesto


• The Past and Future of Information Systems: 1976–2006 and Beyond


• The Path to Autonomous Robots


• The Quintessential PIC® Microcontroller


• The Safety of Systems


• The Semantic Web


• The Semantic Web


• The Semantic Web


• The Semantic Web


• The Semantic Web – ASWC 2006


• The Semantic Web – ISWC 2005


• The Semantic Web - ISWC 2006


• The Semantic Web - ISWC 2008


• The Semantic Web: Research and Applications


• The Semantic Web: Research and Applications


• The Semantic Web: Research and Applications


• The Semantic Web: Research and Applications


• The Semantic Web: Research and Applications


• The Seventeen Provers of the World


• The Structure of Paintings


• The Testing Network


• The Transfer and Diffusion of Information Technology for Organizational Resilience


• The Turn


• The Web Resource Space Model


• Theorem Proving in Higher Order Logics


• Theorem Proving in Higher Order Logics


• Theorem Proving in Higher Order Logics


• Theorem Proving in Higher Order Logics


• Theoretical and Experimental DNA Computation


• Theoretical Aspects of Computing - ICTAC 2004


• Theoretical Aspects of Computing – ICTAC 2005


• Theoretical Aspects of Computing - ICTAC 2006


• Theoretical Aspects of Computing – ICTAC 2007


• Theoretical Aspects of Computing - ICTAC 2008


• Theoretical Aspects of Computing - ICTAC 2009


• Theoretical Aspects of Local Search


• Theoretical Computer Science


• Theoretical Computer Science


• Theoretical Introduction to Programming


• Theory and Applications of Models of Computation


• Theory and Applications of Models of Computation


• Theory and Applications of Models of Computation


• Theory and Applications of Models of Computation


• Theory and Applications of Relational Structures as Knowledge Instruments II


• Theory and Applications of Satisfiability Testing


• Theory and Applications of Satisfiability Testing


• Theory and Applications of Satisfiability Testing - SAT 2006


• Theory and Applications of Satisfiability Testing – SAT 2007


• Theory and Applications of Satisfiability Testing – SAT 2008


• Theory and Applications of Satisfiability Testing - SAT 2009


• Theory and Practice of Model Transformations


• Theory and Practice of Model Transformations


• Theory of Computation


• Theory of Cryptography


• Theory of Cryptography


• Theory of Cryptography


• Theory of Cryptography


• Theory of Cryptography


• Theory of Quantum Computation, Communication, and Cryptography


• Thesis Projects


• Time-Dependent Scheduling


• Times of Convergence. Technologies Across Learning Contexts


• Tools and Algorithms for the Construction and Analysis of Systems


• Tools and Algorithms for the Construction and Analysis of Systems


• Tools and Algorithms for the Construction and Analysis of Systems


• Tools and Algorithms for the Construction and Analysis of Systems


• Tools and Algorithms for the Construction and Analysis of Systems


• Tools for High Performance Computing


• Topics in Cryptology – CT-RSA 2005


• Topics in Cryptology – CT-RSA 2006


• Topics in Cryptology – CT-RSA 2007


• Topics in Cryptology – CT-RSA 2008


• Topics in Cryptology – CT-RSA 2009


• Touch of Class


• Toward Artificial Sapience


• Toward Category-Level Object Recognition


• Towards a Service-Based Internet


• Towards Affordance-Based Robot Control


• Towards Digital Optical Networks


• Towards Mechanized Mathematical Assistants


• Towards Next Generation Grids


• Towards Sustainable Society on Ubiquitous Networks


• Traffic Monitoring and Analysis


• Transactions on Aspect-Oriented Software Development I


• Transactions on Aspect-Oriented Software Development II


• Transactions on Aspect-Oriented Software Development III


• Transactions on Aspect-Oriented Software Development IV


• Transactions on Aspect-Oriented Software Development V


• Transactions on Computational Science I


• Transactions on Computational Science II


• Transactions on Computational Science III


• Transactions on Computational Science IV


• Transactions on Computational Science V


• Transactions on Computational Systems Biology I


• Transactions on Computational Systems Biology II


• Transactions on Computational Systems Biology III


• Transactions on Computational Systems Biology IV


• Transactions on Computational Systems Biology IX


• Transactions on Computational Systems Biology V


• Transactions on Computational Systems Biology VI


• Transactions on Computational Systems Biology VII


• Transactions on Computational Systems Biology VIII


• Transactions on Computational Systems Biology X


• Transactions on Data Hiding and Multimedia Security I


• Transactions on Data Hiding and Multimedia Security II


• Transactions on Data Hiding and Multimedia Security III


• Transactions on Data Hiding and Multimedia Security IV


• Transactions on Edutainment I


• Transactions on Edutainment II


• Transactions on High-Performance Embedded Architectures and Compilers I


• Transactions on High-Performance Embedded Architectures and Compilers II


• Transactions on Large-Scale Data- and Knowledge-Centered Systems I


• Transactions on Petri Nets and Other Models of Concurrency I


• Transactions on Petri Nets and Other Models of Concurrency II


• Transactions on Rough Sets II


• Transactions on Rough Sets III


• Transactions on Rough Sets IV


• Transactions on Rough Sets IX


• Transactions on Rough Sets V


• Transactions on Rough Sets VI


• Transactions on Rough Sets VII


• Transactions on Rough Sets VIII


• Transactions on Rough Sets X


• Transdisciplinary Digital Art. Sound, Vision and the New Screen


• Transformations and Projections in Computer Graphics


• Trends in Computer Aided Innovation


• Trends in Enterprise Application Architecture


• Trends in Enterprise Application Architecture


• Trends in Interactive Visualization


• Trust and Privacy in Digital Business


• Trust in Agent Societies


• Trust in Technology: A Socio-Technical Perspective


• Trust Management


• Trust Management


• Trust Management


• Trust Management II


• Trust Management III


• Trust, Privacy and Security in Digital Business


• Trust, Privacy and Security in Digital Business


• Trust, Privacy and Security in Digital Business


• Trust, Privacy and Security in Digital Business


• Trusted Computing


• Trusted Computing - Challenges and Applications


• Trusted Computing Platforms: Design and Applications


• Trusting Agents for Trusting Electronic Societies


• Trustworthy Global Computing


• Trustworthy Global Computing


• Trustworthy Global Computing


• Trustworthy Global Computing


• Trustworthy Software Development Processes


• Typed Lambda Calculi and Applications


• Typed Lambda Calculi and Applications


• Typed Lambda Calculi and Applications


• Types for Proofs and Programs


• Types for Proofs and Programs


• Types for Proofs and Programs


• Types for Proofs and Programs


• UbiComp 2005: Ubiquitous Computing


• UbiComp 2006: Ubiquitous Computing


• UbiComp 2007: Ubiquitous Computing


• Ubiquitous and Pervasive Commerce


• Ubiquitous Computing Systems


• Ubiquitous Computing Systems


• Ubiquitous Computing Systems


• Ubiquitous Convergence Technology


• Ubiquitous Intelligence and Computing


• Ubiquitous Intelligence and Computing


• Ubiquitous Intelligence and Computing


• Ubiquitous Intelligence and Computing


• Ubiquitous Mobile Information and Collaboration Systems


• UML Modeling Languages and Applications


• UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization


• Uncertainty Reasoning for the Semantic Web I


• Uncertainty, Rationality, and Agency


• Unconstrained Face Recognition


• Unconventional Computation


• Unconventional Computation


• Unconventional Computation


• Unconventional Computing


• Unconventional Programming Paradigms


• Understanding 3D Animation Using Maya


• Understanding Intrusion Detection Through Visualization


• Understanding IPv6


• Understanding Planning Tasks


• Unfoldings


• Unifying Perspectives in Computational and Robot Vision


• Unifying the Software Process Spectrum


• Unifying Theories of Programming


• Universal Access in Ambient Intelligence Environments


• Universal Access in Health Telematics


• Universal Access in Human-Computer Interaction. Addressing Diversity


• Universal Access in Human-Computer Interaction. Ambient Interaction


• Universal Access in Human-Computer Interaction. Applications and Services


• Universal Access in Human-Computer Interaction. Applications and Services


• Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments


• Universal Acess in Human Computer Interaction. Coping with Diversity


• Universal Artificial Intellegence


• Usability and Internationalization. Global and Local User Interfaces


• Usability and Internationalization. HCI and Culture


• User Interfaces for Wearable Computers


• User Modeling 2001


• User Modeling 2005


• User Modeling 2007


• User Modeling, Adaptation, and Personalization


• User-Centered Interaction Design Patterns for Interactive Digital Television Applications


• Validated Designs for Object-oriented Systems


• Value Creation in E-Business Management


• Value-Based Software Engineering


• Variable-length Codes for Data Compression


• Variational, Geometric, and Level Set Methods in Computer Vision


• Variations on Constants


• Vector Analysis for Computer Graphics


• Verbal and Nonverbal Communication Behaviours


• Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction


• Verification of Object-Oriented Software. The KeY Approach


• Verification, Model Checking, and Abstract Interpretation


• Verification, Model Checking, and Abstract Interpretation


• Verification, Model Checking, and Abstract Interpretation


• Verification, Model Checking, and Abstract Interpretation


• Verification, Model Checking, and Abstract Interpretation


• Verified Software: Theories, Tools, Experiments


• Verified Software: Theories, Tools, Experiments


• View-Dependent Character Animation


• Virtual and Mixed Reality


• Virtual Organizations


• Virtual Reality


• Virtual Storytelling


• Virtual Storytelling. Using Virtual Reality Technologies for Storytelling


• Virtual Systems and Multimedia


• Virtual, Distributed and Flexible Organisations


• Virtuality and Virtualization


• Vision with Direction


• Visual Content Processing and Representation


• Visual Data Mining


• Visual Information and Information Systems


• Visual Information Systems. Web-Based Visual Information Search and Management


• Visualization for Computer Security


• Visualization for Information Retrieval


• Visualizing Information Using SVG and X3D


• Visualizing Sustainable Planning


• Visualizing the Semantic Web


• Visualizing the Structure of Science


• VizSEC 2007


• VLSI-SoC: Advanced Topics on Systems on a Chip


• VLSI-SOC: From Systems to Chips


• Vlsi-Soc: From Systems To Silicon


• VLSI-SoC: Research Trends in VLSI and Systems on Chip


• VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search


• Vulnerability Analysis and Defense for the Internet


• WALCOM: Algorithms and Computation


• WALCOM: Algorithms and Computation


• Weaving Services and People on the World Wide Web


• Web 2.0


• Web Accessibility


• Web and Communication Technologies and Internet-Related Social Issues - HSI 2005


• Web and Wireless Geographical Information Systems


• Web and Wireless Geographical Information Systems


• Web and Wireless Geographical Information Systems


• Web and Wireless Geographical Information Systems


• Web and Wireless Geographical Information Systems


• Web Archiving


• Web Communities


• Web Component Development with Zope 3


• Web Component Development with Zope 3


• Web Component Development with Zope 3


• Web Content Delivery


• Web Data Mining


• Web Development with Java


• Web Engineering


• Web Engineering


• Web Engineering


• Web Engineering


• Web Engineering and Peer-to-Peer Computing


• Web Engineering: Modelling and Implementing Web Applications


• Web Information Systems – WISE 2006


• Web Information Systems – WISE 2006 Workshops


• Web Information Systems and Technologies


• Web Information Systems and Technologies


• Web Information Systems Engineering – WISE 2005


• Web Information Systems Engineering – WISE 2005 Workshops


• Web Information Systems Engineering – WISE 2007


• Web Information Systems Engineering – WISE 2007 Workshops


• Web Information Systems Engineering - WISE 2008


• Web Information Systems Engineering – WISE 2008 Workshops


• Web Intelligence Meets Brain Informatics


• Web Reasoning and Rule Systems


• Web Reasoning and Rule Systems


• Web Search


• Web Search: Public Searching of the Web


• Web Services and Formal Methods


• Web Services and Formal Methods


• Web Services and Formal Methods


• Web Services in the Enterprise


• Web Technologies Research and Development - APWeb 2005


• Web, Web-Services, and Database Systems


• Wiki


• Wiki


• Wired/Wireless Internet Communications


• Wired/Wireless Internet Communications


• Wired/Wireless Internet Communications


• Wired/Wireless Internet Communications


• Wired/Wireless Internet Communications


• Wireless Algorithms, Systems, and Applications


• Wireless Algorithms, Systems, and Applications


• Wireless Algorithms, Systems, and Applications


• Wireless and Mobile Networking


• Wireless and Mobile Networking


• Wireless Networks, Information Processing and Systems


• Wireless Sensor and Actor Networks


• Wireless Sensor and Actor Networks II


• Wireless Sensor Networks


• Wireless Sensor Networks


• Wireless Sensor Networks


• Wireless Sensor Networks


• Wireless Sensor Networks and Applications


• Wireless Systems and Mobility in Next Generation Internet


• Wireless Systems and Mobility in Next Generation Internet


• Wireless Systems and Mobility in Next Generation Internet


• Wireless Systems and Network Architectures in Next Generation Internet


• WITTGENSTEIN, LANGUAGE AND INFORMATION


• Workflows for e-Science


• Working with India


• Writing mental ray® Shaders


• XML for Bioinformatics


• ZB 2005: Formal Specification and Development in Z and B