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
