Abstraction Refinement for Large Scale Model Checking
Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Reformulation and Approximation
Accessing Multilingual Information Repositories
Ad Hoc Networking Towards Seamless Communications
Ad-hoc Networks: Fundamental Properties and Network Topologies
Ad-Hoc, Mobile, and Wireless Networks, 2006
Ad-Hoc, Mobile, and Wireless Networks, 2005
Ada 2005 Reference Manual. Language and Standard Libraries
Adaptive Agents and Multi-Agent Systems III
Adaptive and Natural Computing Algorithms
Adaptive Bidding in Single-Sided Auctions Under Uncertainty
Adaptive Business Intelligence
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
Adobe ® Acrobat ® and PDF for Architecture, Engineering, and Construction
Advanced Concepts for Intelligent Vision Systems
Advanced Concepts for Intelligent Vision Systems
Advanced Data Mining and Applications, 2005
Advanced Data Mining and Applications, 2006
Advanced Encryption Standard – AES
Advanced Functional Programming
Advanced Fuzzy Logic Technologies in Industrial Applications
Advanced Information Systems Engineering
Advanced Information Systems Engineering
Advanced Man-Machine Interaction
Advanced Methods for Knowledge Discovery from Complex Data
Advanced Numerical Methods to Optimize Cutting Operations of Five-Axis Milling Machines
Advanced Parallel Processing Technologies
Advanced Software Engineering: Expanding the Frontiers of Software Technology
Advanced Studies in Biometrics
Advanced Topics in Exception Handling Techniques
Advanced Web and Network Technologies, and Applications
Advanced Wired and Wireless Networks
Advances in Applied Artificial Intelligence
Advances in Artificial Economics
Advances in Artificial Intelligence, 2005
Advances in Artificial Intelligence, 2006
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Advances in Artificial Reality and Tele-Existence
Advances in Bioinformatics and Computational Biology
Advances in Biometric Person Authentication
Advances in Case-Based Reasoning
Advances in Computer Science – ASIAN 2005
Advances in Computer Systems Architecture
Advances in Computer Systems Architecture
Advances in Conceptual Modeling - Theory and Practice
Advances in Cryptology - ASIACRYPT 2005
Advances in Cryptology - CRYPTO 2006
Advances in Cryptology - EUROCRYPT 2006
Advances in Cryptology – ASIACRYPT 2006
Advances in Cryptology – CRYPTO 2005
Advances in Cryptology – EUROCRYPT 2005
Advances in Database Technology - EDBT 2006
Advances in Databases and Information Systems
Advances in Databases and Information Systems
Advances in Design and Specification Languages for SoCs
Advances in Grid and Pervasive Computing
Advances in Grid Computing - EGC 2005
Advances in Image and Video Technology
Advances in Information and Computer Security
Advances in Information Retrieval, 2005
Advances in Information Retrieval, 2006
Advances in Information Systems
Advances in Information Technologies for Electromagnetics
Advances in Intelligent Computing, Part I
Advances in Intelligent Computing, Part II
Advances in Intelligent Data Analysis VI
Advances in Knowledge Acquisition and Management
Advances in Knowledge Discovery and Data Mining, 2005
Advances in Knowledge Discovery and Data Mining, 2006
Advances in Machine Learning and Cybernetics
Advances in Machine Vision, Image Processing, and Pattern Analysis
Advances in Mulitmedia Information Processing - PCM 2005
Advances in Multimedia Information Processing - PCM 2006
Advances in Multimedia Information Systems
Advances in Natural Computation, 2005, Part I
Advances in Natural Computation, 2005, Part II
Advances in Natural Computation, 2005, Part III
Advances in Natural Computation, 2006, Part I
Advances in Natural Computation, 2006, Part II
Advances in Natural Language Processing
Advances in Natural Language Processing
Advances in Neural Networks - ISNN 2006, Part I
Advances in Neural Networks - ISNN 2006, Part II
Advances in Neural Networks - ISNN 2006, Part III
Advances in Neural Networks – ISNN 2005, Part II
Advances in Neural Networks – ISNN 2005, Part III
Advances in Neural Networks – ISNN 2005, Part II
Advances in Pervasive Computing and Networking
Advances in Spatial and Temporal Databases
Advances in Visual Computing, 2005
Advances in Visual Computing, 2006, Part I
Advances in Visual Computing, 2006, Part II
Advances in Web Based Learning – ICWL 2006
Advances in Web Mining and Web Usage Analysis, 2004
Advances in Web Mining and Web Usage Analysis, 2005
Advances in Web-Age Information Management, 2005
Advances in Web-Age Information Management, 2006
Advances in Web-Based Learning – ICWL 2005
Advances in XML Information Retrieval
Advances in XML Information Retrieval and Evaluation
Affective Computing and Intelligent Interaction
Agent Computing and Multi-Agent Systems
Agent Intelligence Through Data Mining
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications
Agent Technology from a Formal Perspective
Agent-based Supply Network Event Management
Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms
Agent-Mediated Electronic Commerce VI
Agent-Oriented Information Systems II
Agent-Oriented Information Systems III
Agent-Oriented Software Engineering V
Agent-Oriented Software Engineering VI
Agents and Peer-to-Peer Computing, 2004
Agents and Peer-to-Peer Computing, 2005
AI 2005: Advances in Artificial Intelligence
AI 2006: Advances in Artificial Intelligence
AI*IA 2005: Advances in Artificial Intelligence
Algebra and Coalgebra in Computer Science
Algebra, Meaning and Computation
Algebraic Aspects of the Advanced Encryption Standard
Algebraic Methodology and Software Technology
Algorithmic Applications in Management
Algorithmic Aspects in Information and Management
Algorithmic Aspects of Wireless Sensor Networks
Algorithmic Learning in a Random World
Algorithmic Learning Theory, 2005
Algorithmic Learning Theory, 2006
Algorithms and Computation, 2005
Algorithms and Computation, 2006
Algorithms and Data Structures
Paolo Remagnino, Ambient Intelligence
Werner Weber: Ambient Intelligence
Ambient Intelligence for Scientific Discovery
Ambient Intelligence in Everyday Life
AmIware Hardware Technology Drivers of Ambient Intelligence
An Integrated Approach to Software Engineering
An Introduction to Language Processing with Perl and Prolog
An Introduction to Network Programming with Java
Analyzing Computer System Performance with Perl::PDQ
Ant Colony Optimization and Swarm Intelligence
Applications and Theory of Petri Nets 2005
Applications of Agent Technology in Traffic and Transportation
Applications of Declarative Programming and Knowledge Management
Applications of Evolutionary Computing
Applications of Specification and Design Languages for SoCs
Applications on Evolutionary Computing
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Applied Cryptography and Network Security, 2005
Applied Cryptography and Network Security, 2006
Approximation and Online Algorithms, 2004
Approximation and Online Algorithms, 2005
Approximation and Online Algorithms, 2006
Approximation, Randomization and Combinatorial Optimization
Architecting Dependable Systems III
Architecting Systems with Trustworthy Components
Architecture Description Languages
Architecture of Computing Systems - ARCS 2006
Architecture of Computing Systems - ARCS 2007
Argumentation in Multi-Agent Systems, 2004
Argumentation in Multi-Agent Systems, 2005
Articulated Motion and Deformable Objects
Artificial General Intelligence
Artificial Immune Systems, 2004
Artificial Immune Systems, 2005
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 Symbolic Computation
Artificial Intelligence Applications and Innovations, 2005
Artificial Intelligence Applications and Innovations, 2006
Artificial Intelligence in Theory and Practice
Artificial Intelligence: Methodology, Systems, and Applications
Artificial Life Models in Software
Artificial Neural Networks: Biological Inspirations – ICANN 2005, Part I
Artificial Neural Networks: Biological Inspirations – ICANN 2005, Part I
Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005
Artificial Neural Networks in Pattern Recognition
Artificial Neural Networks – ICANN 2006
Artificial Neural Networks – ICANN 2006, Part I
Asymmetry: The Foundation of Information
Attention and Performance in Computational Vision
Audio- and Video-Based Biometric Person Authentication
Automata, Languages and Programming, 2005
Automata, Languages and Programming, 2006, Part I
Automata, Languages and Programming, 2006, Part II
Automated Deduction in Geometry
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Technology for Verification and Analysis, 2005
Automated Technology for Verification and Analysis, 2006
Automatic Autocorrelation and Spectral Analysis
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Technology for Verification and Analysis, 2006
Automated Technology for Verification and Analysis, 2005
Automatic Autocorrelation and Spectral Analysis
Automatic Quantum Computer Programming
Automotive Software – Connected Services in Mobile Networks
Autonomic and Trusted Computing
Autonomic Communication, 2004
Autonomic Communication, 2005
Autonomic Principles of IP Operations and Management
Autonomous Intelligent Systems: Agents and Data Mining
B 2007: Formal Specification and Development in B
Best Practices in Software Measurement
Bioinformatics Research and Development
Biometrics, Computer Security Systems and Artificial Intelligence Applications
Boundary Representation Modelling Techniques
Broadband Satellite Comunication Systems and the Challenges of Mobility
Case-Based Approximate Reasoning
Case-Based Reasoning Research and Development
Categories for Software Engineering
Certification and Security in Inter-Organizational E-Service
Challenges in Ad Hoc Networking
Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government
Charting a New Course: Natural Language Processing and Information Retrieval
Charting the Topic Maps Research and Applications Landscape
Citation Analysis in Research Evaluation
A Classical Introduction to Cryptography
CMOS Current-Mode Circuits for Data Communications
Co-design for System Acceleration
Coding for Data and Computer Communications
Combinatorial and Algorithmic Aspects of Networking, 2004
Combinatorial and Algorithmic Aspects of Networking, 2006
Combinatorial Geometry and Graph Theory
Combinatorial Optimization in Communication Networks
Combinatorial Pattern Matching, 2006
Combinatorial Pattern Matching, 2005
Communicating Sequential Processes
Communications and Networking, 2007
Communities and Technologies 2005
Compiler Construction, 2005
Compiler Construction, 2006
The Complete IS-IS Routing Protocol
Complexity Theory and Cryptology
Component Models and Systems for Grid Applications, 2005
Component-Based Software Development for Embedded Systems
Component-Based Software Engineering, 2005
Component-Based Software Engineering, 2006
Component-Based Software Testing with UML
Comprehensive Mathematics for Computer Scientists 1
Comprehensive Mathematics for Computer Scientists 2
Computational Engineering — Introduction to Numerical Methods
Computational Intelligence and Bioinformatics
Computational Intelligence and Bioinspired Systems
Computational Intelligence and Security, Part I
Computational Intelligence and Security, Part II
Computational Intelligence in Time Series Forecasting
Computational Intelligence, Theory and Applications
Computational Life Sciences II
Computational Logic in Multi-Agent Systems, 2005
Computational Logic in Multi-Agent Systems, 2006
Computational Logic in Multi-Agent Systems, 2007
Computational Methods in Systems Biology, 2005
Computational Methods in Systems Biology, 2006
Computational Science and Its Applications - ICCSA 2006, Part I
Computational Science and Its Applications - ICCSA 2006, Part II
Computational Science and Its Applications - ICCSA 2006, Part III
Computational Science and Its Applications - ICCSA 2006, Part IV
Computational Science and Its Applications - ICCSA 2006, Part V
Computational Science and Its Applications – ICCSA 2005, Part I
Computational Science and Its Applications – ICCSA 2005, Part II
Computational Science and Its Applications – ICCSA 2005, Part III
Computational Science and Its Applications – ICCSA 2005, Part IV
Computational Science – ICCS 2005, Part I
Computational Science – ICCS 2005, Part I
Computational Science – ICCS 2005, Part II
Computational Science – ICCS 2005, Part III
Computational Science – ICCS 2006, Part I
Computational Science – ICCS 2006, Part II
Computational Science – ICCS 2006, Part III
Computational Science – ICCS 2006, Part IV
Computer Aided Systems Theory – EUROCAST 2005
Computer Aided Verification, 2005
Computer Aided Verification, 2006
Computer Algebra and Geometric Algebra with Applications
Computer Algebra in Scientific Computing, 2005
Computer Algebra in Scientific Computing, 2006
Computer Analysis of Images and Patterns
Computer and Information Sciences - ISCIS 2005
Computer and Information Sciences – ISCIS 2006
Computer Graphics and Geometric Modeling
Computer Graphics and Geometric Modeling
Computer Safety, Reliability, and Security, 2005
Computer Safety, Reliability, and Security, 2006
Computer Science Logic, 2005
Computer Science Logic, 2006
Computer Science – Theory and Applications
Computer Security in the 21st Century
Computer Security – ESORICS 2005
Computer Security – ESORICS 2006
Computer Supported Cooperative Work in Design
Computer Supported Cooperative Work in Design II
Computer viruses: from theory to applications
Computer Vision – ACCV 2006, Part I
Computer Vision – ACCV 2006, Part II
Computer Vision – ECCV 2006, Part I
Computer Vision – ECCV 2006, Part II
Computer Vision – ECCV 2006, Part III
Computer Vision – ECCV 2006, Part IV
Computer Vision/Computer Graphics Collaboration Techniques
Computer-Aided Design of User Interfaces IV
Computing Attitude and Affect in Text: Theory and Applications
Concentration Inequalities and Model Selection
Conceptual Modeling for Traditional and Spatio-Temporal Applications
Conceptual Structures: Common Semantics for Sharing Knowledge
Conceptual Structures: Inspiration and Application
CONCUR 2004 – Concurrency Theory
CONCUR 2005 – Concurrency Theory
CONCUR 2006 – Concurrency Theory
Condition Monitoring and Control for Intelligent Manufacturing
Conditionals, Information, and Inference
Constrained Control and Estimation
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint Solving and Language Processing
Constraint-Based Mining and Inductive Databases
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2006
Co-design for System Acceleration
Cooperative Design, Visualization, and Engineering, 2005
Cooperative Design, Visualization, and Engineering, 2006
Cooperative Information Agents X
Coordinated Multiuser Communications
Coordination Models and Languages, 2005
Coordination Models and Languages, 2006
Coordination of Large-Scale Multiagent Systems
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
3-D Shape Estimation and Image Restoration
Data and Applications Security XIX, 2005
Data and Applications Security XX, 2006
Data Complexity in Pattern Recognition
Data Integration in the Life Sciences
Data Management in a Connected World
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 with Computational Intelligence
Data Quality and Record Linkage Techniques
Data Warehousing and Data Mining Techniques for Cyber Security
Data Warehousing and Knowledge Discovery, 2005
Data Warehousing and Knowledge Discovery, 2006
Database and Expert Systems Applications, 2005
Database and Expert Systems Applications, 2006
Database and XML Technologies, 2005
Database and XML Technologies, 2006
Database: Enterprise, Skills and Innovation
Database Programming Languages
Database Systems for Advanced Applications, 2005
Database Systems for Advanced Applications, 2006
Databases in Networked Information Systems
Databases, Information Systems, and Peer-to-Peer Computing, 2005
Databases, Information Systems, and Peer-to-Peer Computing, 2007 Declarative Agent Languages and Technologies II
Declarative Agent Languages and Technologies III
Declarative Agent Languages and Technologies IV
Declarative Programming for Knowledge Management
Deep Structure, Singularities, and Computer Vision
Defence Applications of Multi-Agent Systems
Deontic Logic and Artificial Normative Systems
Dependable Computing - EDCC 2005
Dependable Systems: Software, Computing, Networks
Design and Analysis of Randomized Algorithms
Design and Performance of 3G Wireless Networks and Wireless Lans
Design Computing and Cognition ’06
Design of Embedded Control Systems
Designing Accessible Technology
Designing and Evaluating E-Management Decision Tools
Designing Human Interface in Speech Technology
Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges
Designing Virtual Reality Systems
Designing Virtual Reality Systems The Structured Approach
Detection of Intrusions and Malware & Vulnerability Assessment
Deterministic and Statistical Methods in Machine Learning
Developing Services for the Wireless Internet
Developments in Language Theory
Developments in Language Theory
Diagrammatic Representation and Inference
Digital Design and Implementation with Field Programmable Devices
Digital Rights Management. Technologies, Issues, Challenges and Systems
Digital Watermarking, 2005, Volume 3304/2005
Digital Watermarking, 2005, Volume 3710/2005
Digital Watermarking, 2006
Discovery Science, 2005
Discovery Science, 2006
Discrete and Computational Geometry
Discrete Geometry for Computer Imagery, 2005
Discrete Geometry for Computer Imagery, 2006
Discrete Mathematics Using a Computer
Discrete, Continuous, and Hybrid Petri Nets
Dissemination of Information in Communication Networks
Distributed and Parallel Computing
Distributed and Parallel Systems, 2005
Distributed and Parallel Systems, 2007
Distributed Applications and Interoperable Systems, 2005
Distributed Applications and Interoperable Systems, 2006
Distributed Computing, 2005
Distributed Computing, 2006
Distributed Computing and Internet Technology,2005, Doi 10.1007/11604655_67
Distributed Computing and Internet Technology,2005, Doi 10.1007/11604655
Distributed Computing and Internet Technology,2005, Doi 10.1007/11604655_68
Distributed Computing and Internet Technology,2006, Doi 10.1007/11951957
Distributed Computing and Networking
Distributed Computing in Sensor Systems, 2005
Distributed Computing in Sensor Systems, 2006
Distributed Computing – IWDC 2005
Distributed Cooperative Laboratories: Networking, Instrumentation, and Measurements
Distributed Event-Based Systems
Distributed Services with OpenAFS
Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices
Dynamical Systems, Graphs, and Algorithms
Dynamic Vision for Perception and Control of Motion
e-Business and Telecommunication Networks
E-Commerce and Web Technologies, 2005
E-Commerce and Web Technologies, 2006
E-government and Public Sector Process Rebuilding
E-Government: Towards Electronic Democracy
E-Training Practices for Professional Organizations
ECOOP 2005 - Object-Oriented Programming, 2005
ECOOP 2006 – Object-Oriented Programming, 2006
Education and the Knowledge Society
Education for the 21st Century — Impact of ICT and Digital Resources
Efficient Approximation and Online Algorithms
eLearning and Digital Publishing
Electroactive Polymers for Robotic Applications
Electromagnetic Compatibility of Integrated Circuits
Electronic Government, 2006
Electronic Government, 2005
Electronics Process Technology
Embedded and Ubiquitous Computing, 2005
Embedded and Ubiquitous Computing, 2006
Embedded Computer Systems: Architectures, Modeling, and Simulation, 2005
Embedded Computer Systems: Architectures, Modeling, and Simulation, 2006
Embedded Image Processing on the TMS320C6000™ DSP
Embedded Software and Systems, Volume 3820/2005
Embedded Software and Systems, Volume 3605/2005
Embedded System Design, DOI 10.1007/0-387-29237-3
Embedded System Design, DOI 10.1007/0-387-30087-2
Embedded System Design: Topics, Techniques and Trends
Embedded Systems Design, DOI 10.1007/b106761
Embedded Systems – Modeling, Technology, and Applications
Emerging Directions in Embedded and Ubiquitous Computing
Emerging Location Aware Broadband Wireless Ad Hoc Networks
Emerging Optical Network Technologies
Emerging Trends in Information and Communication Security
Empirical Software Engineering Issues. Critical Assessment and Future Directions
Enabling Semantic Web Services
Enabling Technologies for Wireless E-Business
Encyclopedia of Cryptography and Security
Energy Minimization Methods in Computer Vision and Pattern Recognition
Engineering and Managing Software Requirements
Engineering Human Computer Interaction and Interactive Systems
Engineering Self-Organising Systems, 2005
Engineering Self-Organising Systems, 2006
Engineering Self-Organising Systems, 2007
Engineering Societies in the Agents World V
Engineering Societies in the Agents World VI
Engineering Theories of Software Intensive Systems
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Enterprise Information Systems V
Enterprise Information Systems VI
Environments for Multi-Agent Systems
Environments for Multi-Agent Systems II
Environments for Multi-Agent Systems III
Essential Software Architecture
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
Euro-Par 2005 Parallel Processing, 2005
Euro-Par 2006 Parallel Processing, 2006
Event-Triggered and Time-Triggered Control Paradigms
Evolutionary Computation in Combinatorial Optimization, 2005
Evolutionary Computation in Combinatorial Optimization, 2006
Evolutionary Computation in Combinatorial Optimization, 2007
Evolutionary Multi-Criterion Optimization, 2005
Evolutionary Multi-Criterion Optimization, 2007
Evolutionary Multiobjective Optimization
Evolutionary Synthesis of Pattern Recognition Systems
Experimental and Efficient Algorithms
Experimental Research in Evolutionary Computation
Exploratory Analysis of Spatial and Temporal Data
Exploring C for Microcontrollers
Extreme Programming and Agile Processes in Software Engineering, 2005
Extreme Programming and Agile Processes in Software Engineering, 2006
Effective Functional Verification
Effective Resource Management in Manufacturing Systems
Efficient Approximation and Online Algorithms
Factorizable Sheaves and Quantum Groups
Fast Simulation of Electro-Thermal MEMS
Fast Software Encryption, 2006
Fast Software Encryption, 2005
The Fast Solution of Boundary Integral Equations
Fast, Efficient and Predictable Memory Accesses
Fault Diagnosis and Tolerance in Cryptography
Fault Diagnosis of Analog Integrated Circuits
Fault-Tolerance Techniques for SRAM-based FPGAs
Feedforward Amplifiers for Wideband Communication Systems
Field-Based Coordination for Pervasive Multiagent Systems
Filtration in Porous Media and Industrial Application
The Finite Element Method and Applications in Engineering Using Ansys®
Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions
Finite Model Theory and Its Applications
Finite Zeros in Discrete Time Control Systems
Finite-State Methods and Natural Language Processing
First Course on Fuzzy Theory and Applications
Flexible AC Transmission Systems: Modelling and Control
Flexible and Efficient Information Handling
Flexible Databases Supporting Imprecision and Uncertainty
Flexible Query Answering Systems
FLOMANIA — A European Initiative on Flow Physics Modelling
Flow and Transport in Fractured Porous Media
Flows on 2-dimensional Manifolds
Fluctuation Theory for Lévy Processes
Fluid Mechanics of Flow Metering
Formal Approaches to Software Testing, 2005
Formal Approaches to Software Testing, 2006
Formal Approaches to Software Testing and Runtime Verification
Formal Aspects in Security and Trust, 2005
Formal Aspects in Security and Trust, 2006
Formal Concept Analysis, Volume 3626/2005
Formal Concept Analysis, Volume 4390/2007
Formal Concept Analysis, Volume 3874/2006
Formal Correctness of Security Protocols
Formal Methods and Software Engineering, 2005
Formal Methods and Software Engineering, 2006
Formal Methods and Stochastic Models for Performance Evaluation
Formal Methods for Components and Objects, 2005
Formal Methods for Components and Objects, 2006
Formal Methods for Hardware Verification
Formal Methods for Mobile Computing
Formal Methods for Open Object-Based Distributed Systems, 2005
Formal Methods for Open Object-Based Distributed Systems, 2006
Formal Methods for Performance Evaluation
Formal Methods in Software and Systems Modeling
Formal Modeling and Analysis of Timed Systems, 2005
Formal Modeling and Analysis of Timed Systems, 2006
Formal Models of Communicating Systems
Formal Models of Operating System Kernels
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Forward-Backward Stochastic Differential Equations and Their Applications, Volume 1702/1999
Forward-Backward Stochastic Differential Equations and their Applications, Volume 1702/1999
Foundations and Advances in Data Mining
Foundations and Novel Approaches in Data Mining
Foundations of 3D Graphics Programming
Foundations of Computer Security
Foundations of Data Mining and knowledge Discovery
Foundations of Equational Logic Programming
Foundations of Generic Optimization
Foundations of Intelligent Systems, Volume 4203/2006
Foundations of Intelligent Systems, Volume 3488/2005
Foundations of Learning Classifier Systems
Foundations of Quantization for Probability Distributions
Foundations of Security Analysis and Design III
Foundations of Software Science and Computation Structures, Volume 3921/2006
Foundations of Software Science and Computational Structures, Volume 3441/2005
Fourier Transforms of Invariant Functions on Finite Reductive Lie Algebras
Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006
FPGA Implementations of Neural Networks
Free Convection Film Flows and Heat Transfer
Frobenius and Separable Functors for Generalized Module Categories and Nonlinear Equations
From Computer Literacy to Informatics Fundamentals
From Integrated Publication and Information Systems to Information and Knowledge Environments
From Model-Driven Design to Resource Management for Distributed Embedded Systems
From P2P to Web Services and Grids
From Specification to Embedded Systems Application
Frontiers of Combining Systems, 2005
Frontiers of Computational Science, 2007-06-21Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops
Frontiers of WWW Research and Development - APWeb 2006
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Functional Analytic Methods for Evolution Equations
Functional and Logic Programming
Functional Structures in Networks
Fundamental Approaches to Software Engineering, 2006
Fundamental Approaches to Software Engineering, 2005
Fundamental Networking in Java
Fundamentals of Algebraic Graph Transformation
Fundamentals of Computation Theory
Fundamentals of Electrical Drives
Fundamentals of Multibody Dynamics
Fundamentals of Relational Database Management Systems
Fundamentals of Robotic Mechanical Systems
Fundamentals of Statistics with Fuzzy Data
Fundamentals of Switching Theory and Logic Design
Fuzzy Control of Queuing Systems
Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information
Fuzzy Database Modeling with XML
Fuzzy Logic and Applications, Volume 3849/2006
Fuzzy Logic and Applications, Volume 2955/2006
Fuzzy Logic Applications in Engineering Science
Fuzzy Logic, Identification and Predictive Control
Fuzzy Mathematical Programming and Fuzzy Matrix Games
Fuzzy Models and Algorithms for Pattern Recognition and Image Processing
Fuzzy Probability and Statistics
Fuzzy Systems and Knowledge Discovery, Volume 3613/2005
Fuzzy Systems and Knowledge Discovery, Volume 3614/2005
Fuzzy Systems and Knowledge Discovery, Volume 4223/2006
Galois Theory of Difference Equations
General Theory of Information Transfer and Combinatorics
Generative and Transformational Techniques in Software Engineering, 2006
Generative Programming and Component Engineering, 2005
Geographic, Information Science
Geometric Aspects of Functional Analysis, 2007
Geometric Aspects of Functional Analysis, 2004
Geometric Aspects of Functional Analysis, 2003
Geometric Aspects of Functional Analysis, 2000
Geometric, Control and Numeric Aspects of Nonholonomic Systems
Geometric Curve Evolution and Image Processing
Geometric Methods in the Algebraic Theory of Quadratic Forms
Geometric Modeling and Processing - GMP 2006
Geometric Properties for Incomplete data
Geometric, Control and Numeric Aspects of Nonholonomic Systems
Geometrical Dynamics of Complex Systems
Geometry for Computer Graphics
Geometry of Müntz Spaces and Related Questions
Gizopoulos / Advances in ElectronicTesting
Global Mobile Satellite Communications
Global Optimization and Constraint Satisfaction
Global Specification and Validation of Embedded Systems
Grammatical Inference: Algorithms and Applications
Grammatical Picture Generation
Graph Drawing, 2005
Graph Drawing, 2006
Graph Drawing, 2007
Graph-Based Representations in Pattern Recognition, 2005
Graph-Based Representations in Pattern Recognition, 2007
A Graph-Theoretic Approach to Enterprise Network Dynamics
Graph-Theoretic Concepts in Computer Science, 2005
Graph-Theoretic Concepts in Computer Science, 2006
Graphics Recognition. Ten Years Review and Future Perspectives
Grid and Cooperative Computing - GCC 2005
Grid Computing, 2007
Grid Computing, 2006
Grid Computing in Life Science
Grid Computing: Software Environments and Tools
Grothendieck Duality and Base Change
Group Coordination and Cooperative Control
Grouping Multidimensional Data
Groupware: Design, Implementation, and Use, 2006
Groupware: Design, Implementation, and Use, 2005
Groupware: Design, Implementation, and Use, 2007
Die Grundlagen der Fernsehtechnik
Gröbner Bases and the Computation of Group Cohomology
Guide to Assembly Language Programming in Linux
Guide to Wireless Network Security
H 8-Control and Estimation of State-multiplicative Linear Systems
Hamiltonian Dynamics. Theory and Applications
Hamiltonian Reduction by Stages
Handbook of Geometric Computing
Handbook of Geometric Computing
Handbook of Nature-Inspired and Innovative Computing
Haptic and Audio Interaction Design
Hardware and Software, Verification and Testing, 2006
Hardware and Software, Verification and Testing, 2007
Hardware Verification with C++
Hardware Verification with SystemVerilog
Harmonic Analysis and Rational Approximation
Harmonic Functions on Groups and Fourier Algebras
HDPE Geomembranes in Geotechnics
Hebbian Learning and Negative Feedback Networks
Heegner Modules and Elliptic Curves
Hierarchical Bayesian Optimization Algorithm
High Availability and Disaster Recovery
High Performance Computational Science and Engineering
High Performance Computing - HiPC 2006
High Performance Computing and Communcations, 2005
High Performance Computing and Communications, 2006
High Performance Computing and Communications, 2007
High Performance Computing for Computational Science - VECPAR 2004
High Performance Computing for Computational Science - VECPAR 2006
High Performance Computing – HiPC 2005
High Performance Embedded Architectures and Compilers, 2005
High Performance Embedded Architectures and Compilers, 2007
High-Dynamic-Range (HDR) Vision
High-Frequency Oscillator Design for Integrated Transceivers
High-Linearity CMOS RF Front-End Circuits
High-Performance Energy-Efficient Microprocessor Design
High-performance Packet Switching Architectures
High-Resolution Methods for Incompressible and Low-Speed Flows
High-Speed Photodiodes in Standard CMOS Technology
History of Computing and Education 2 (HCE2)
Holonic and Multi-Agent Systems for Manufacturing, 2005
Holonic and Multi-Agent Systems for Manufacturing, 2007
Homogenization in Time of Singularly Perturbed Mechanical Systems
hp-Finite Element Methods for Singular Perturbations
Human Interaction with Machines
Human Interface and the Management of Information. Interacting in Information Environments
Human-Computer Interaction - INTERACT 2005
Human-Computer Interaction. HCI Applications and Services
Hybrid Estimation of Complex Systems
Hybrid Evolutionary Algorithms
Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing
Hybrid Metaheuristics, 2007
Hybrid Metaheuristics, 2006
Hybrid Metaheuristics, 2005
Hybrid Systems: Computation and Control, 2007
Hybrid Systems: Computation and Control, 2006
Hybrid Systems: Computation and Control, 2005
Hyperbolic Systems of Balance Laws
Hyperspectral Data Compression
Hypoelliptic Estimates and Spectral Theory for Fokker-Planck Operators and Witten Laplacians
Identification of Nonlinear Systems Using Neural Networks and Polynomial Models
Image Analysis, 2005
Image Analysis, 2007
Image Analysis and Processing – ICIAP 2005
Image Analysis and Recognition, 2005
Image Analysis and Recognition, 2006, Part I
Image Analysis and Recognition, 2006, Part II
Image Analysis and Recognition, 2007
Image and Video Retrieval, 2006
Image and Video Retrieval, 2005
Image Processing Based on Partial Differential Equations
Image Processing Using Pulse-Coupled Neural Networks
Imaging Beyond the Pinhole Camera
Impacts and Risk Assessment of Technology for Internet Security
Implementation and Application of Automata, 2005
Implementation and Application of Automata, June 2006
Implementation and Application of Automata, August 2006
Implementation and Application of Functional Languages, 2005
Implementation and Application of Functional Languages, 2006, Volume 4015/2006
Implementation and Application of Functional Languages, 2007
Implementing Distributed Systems with Java and CORBA
Improved Bonferroni Inequalities via Abstract Tubes
Improvement in the Quality of Delivery of Electrical Energy using Power Electronics Systems
Independent Component Analysis and Blind Signal Separation
Inductive Logic Programming, 2005
Inductive Logic Programming, 2007-10-10Industrial Applications of Semantic Web
Informatics Education – The Bridge between Using and Understanding Computers
INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I
Informatics in Control, Automation and Robotics II
Information and Communication Technologies and Real-Life Learning
Information and Communications Security, 2006
Information and Communications Security , 2005
Information Assurance Security in the Information Environment
Information Context: Nature, Impact, and Role
Information Extraction: Algorithms and Prospects in a Retrieval Context
Information Hiding, 2007
Information Hiding, 2005
Information Networking. Advances in Data Communications and Wireless Networks
Information Processing and Security Systems
Information Processing with Evolutionary Algorithms
Information Retrieval Technology, 2005, Korea
Information Retrieval Technology, 2005, China
Information Retrieval Technology, 2006
Information Retrieval Technology, 2005
Information Security, 2007
Information Security, 2006
Information Security, 2005
Information Security and Cryptology, 2006
Information Security and Cryptology, 2005
Information Security and Cryptology – ICISC 2006
Information Security and Cryptology - ICISC 2005
Information Security and Cryptology – ICISC 2004
Information Security and Privacy, 2005
Information Security and Privacy, 2006
Information Security and Privacy, 2007
Information Security Applications, 2005
Information Security Applications, 2006
Information Security Applications, 2007
Information Security Practice and Experience, 2007
Information Security Practice and Experience, 2006
Information Security Practice and Experience, 2005
Information Sharing on the Semantic Web
Information Systems Development
Information Systems Reengineering and Integration
Information Systems Security, 2006
Information Systems Security, 2005
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
Innovations in Applied Artificial Intelligence
Innovations in Fuzzy Clustering
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications
Innovative Approaches for Learning and Knowledge Sharing
Innovative Concepts for Autonomic and Agent-Based Systems
Innovative Internet Community Systems, France
Innovative Internet Community Systems, Mexico
Inside Relational Databases with Examples in Access
Integer Programming and Combinatorial Optimization, 2007
Integer Programming and Combinatorial Optimization, 2005
Integrable Systems in the realm of Algebraic Geometry
Integral Geometry, Radon Transforms and Complex Analysis
Integrated Circuit and System Design
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 2006
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 2007-10-10Integrated Circuit Packaging, Assembly and Interconnections
Integrated Circuit Test Engineering
Integrated Formal Methods, 2004
Integrated Formal Methods, 2005
Integrated Research in GRID Computing
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integration of Fuzzy Logic and Chaos Theory
Intelligence and Security Informatics, 2005
Intelligence and Security Informatics, 2006, USA
Intelligence and Security Informatics, 2006, Singapore
Intelligence and Security Informatics, 2007
Intelligence and Security Informatics for International Security
Intelligence in Communication Systems
Intelligence in Reliability Engineering
Intelligent Agents and Multi-Agent Systems
Intelligent Computing Everywhere
Intelligent Computing in Signal Processing and Pattern Recognition
Intelligent Control and Automation
Intelligent Data Engineering and Automated Learning - IDEAL 2005
Intelligent Data Engineering and Automated Learning – IDEAL 2006
Intelligent Decision-making Support Systems
Intelligent Document Retrieval
Intelligent Information Processing and Web Mining, 2005
Intelligent Information Processing and Web Mining, 2006
Intelligent Information Processing II
Intelligent Systems and Signal Processing in Power Engineering
Intelligent Techniques for Web Personalization
Intelligent Virtual Agents, 2005
Intelligent Virtual Agents, 2006
Intelligent Virtual Agents, 2007
Interactive Systems. Design, Specification, and Verification
Interfacial Transport Phenomena
Intermediate Dynamics: A Linear Algebraic Approach
International Symposium on Fundamentals of Software Engineering
Internet and Network Economics, 2006
Internet and Network Economics, 2005
Intersections de deux quadriques et pinceaux de courbes de genre 1
Introduction pratique aux bases de données relationnelles
Introduction to Advanced System-on-Chip Test Design and Optimization
Introduction to Algebraic Independence Theory
Introduction to Assembly Language Programming
Introduction to C++ Programming and Graphics
Introduction to Computational Micromechanics
Introduction to Data Mining and its Applications
Introduction to Engineering Statistics and Six Sigma
Introduction to Fuzzy Logic using MATLAB
Introduction to Operating System Design and Implementation
Introduction to Programming with Fortran
Introduction to Reconfigurable Computing
Introduction to Reliable Distributed Programming
Introduction to Scientific Visualization
Introduction to Symplectic Dirac Operators
Intrusion and Malware Detection and Vulnerability Assessment
Intrusion Detection and Correlation
Intuitive Probability and Random Processes Using Matlab®
Invariant Factors, Julia Equivalences and the (Abstract) Mandelbrot Set
Inverse Problems in Electric Circuits and Electromagnetics
IP Network-based Multi-agent Systems for Industrial Automation
Iterated Function Systems for Real-Time Image Synthesis
Iterative Approximation of Fixed Points
IUTAM Symposium on Chaotic Dynamics and Control of Systems and Processes in Mechanics
IUTAM Symposium on Computational Approaches to Multiphase Flow
Iutam Symposium on Dynamics and Control of Nonlinear Systems with Uncertainty
IUTAM Symposium on Elastohydrodynamics and Micro-elastohydrodynamics
IUTAM Symposium on Elementary Vortices and Coherent Structures: Significance in Turbulence Dynamics
IUTAM Symposium on Impact Biomechanics: From Fundamental Insights to Applications
IUTAM Symposium on Laminar-Turbulent Transition
IUTAM Symposium on Laminar-Turbulent Transition and Finite Amplitude Solutions
IUTAM Symposium on Multiscale Problems in Multibody System Contacts
IUTAM Symposium on One Hundred Years of Boundary Layer Research
Iwahori-Hecke Algebras and their Representation Theory
Job Scheduling Strategies for Parallel Processing, 1997
Job Scheduling Strategies for Parallel Processing, 2005, Volume 3834/2005
Job Scheduling Strategies for Parallel Processing, 2005, Volume 3277/2005
Journal on Data Semantics III, Volume 3534/2005
Journal on Data Semantics III, Volume 3534/2005
Journal on Data Semantics VIII
K3 Projective Models in Scrolls
Kernel Based Algorithms for Mining Huge Data Sets
KI 2005: Advances in Artificial Intelligence
KI 2006: Advances in Artificial Intelligence
KI 2007: Advances in Artificial Intelligence
Knots and Links in Three-Dimensional Flows
Knowledge and Data Management in GRIDs
Knowledge and Information Visualization
Knowledge Discovery and Emergent Complexity in Bioinformatics
Knowledge Discovery from XML Documents
Knowledge Discovery in Databases: PKDD 2005
Knowledge Discovery in Databases: PKDD 2007
Knowledge Discovery in Inductive Databases, 2005
Knowledge Discovery in Inductive Databases, 2006
Knowledge Discovery in Inductive Databases, 2007
Knowledge-Based Intelligent Information and Engineering Systems, Part IV
Knowledge-Based Intelligent Information and Engineering Systems, Part III
Knowledge-Based Intelligent Information and Engineering Systems, Part II, 2007
Knowledge-Based Intelligent Information and Engineering Systems, Part II, 2006
Knowledge-Based Intelligent Information and Engineering Systems, Part I
Knowledge-Based Intelligent Information and Engineering Systems, 2007, Part III
Knowledge-Based Intelligent Information and Engineering Systems, 2005, Part II
Knowledge-Based Intelligent Information and Engineering Systems, 2005, Part I, AU
Knowledge-Based Intelligent Information and Engineering Systems, 2007, Part I, IT
Knowledge-Based Intelligent Information and Engineering Systems, 2006, Part III, UK
Korteweg-de Vries and Nonlinear Schrödinger Equations: Qualitative Theory
LabVIEW based Advanced Instrumentation Systems
Lagrangian and Hamiltonian Methods for Nonlinear Control 2006
LAN-ESD Co-Design for Fully Integrated CMOS Wireless Receivers
Languages and Compilers for High Performance Computing, 2005
Languages and Compilers for Parallel Computing, 2007
Languages and Compilers for Parallel Computing, 2006
Languages and Compilers for Parallel Computing, 2005
Laplacian Eigenvectors of Graphs
Large Scale Management of Distributed Systems
Large-Scale Scientific Computing
Large-time Behavior of Solutions of Linear Dispersive Equations
Laser Resonators and Beam Propagation
Lattice Gas Cellular Automata and Lattice Boltzmann Models
Leakage in Nanometer CMOS Technologies
Learning and Adaption in Multi-Agent Systems
Learning Theory, 2007
Learning Theory, 2006
Learning Theory, 2005
Lectures on Probability Theory and Statistics, 2005
Lectures on Probability Theory and Statistics, 2004
Lectures on Probability Theory and Statistics, 2004
Lectures on Probability Theory and Statistics, 2003
Lectures on Probability Theory and Statistics, 2002
Lectures on Probability Theory and Statistics, 2000
Lectures on Probability Theory and Statistics, 1999
Lectures on Probability Theory and Statistics, 1998
Lectures on Probability Theory and Statistics, 1997
Lectures on Symplectic Geometry
Lectures on the Automorphism Groups of Kobayashi-Hyperbolic Manifolds
Leveraging Applications of Formal Methods
Leveraging the Semantics of Topic Maps
Liapunov Functions and Stability in Control Theory
Life: An Introduction to Complex Systems Biology
Life System Modeling and Simulation
Limit Theorems for Markov Chains and Stochastic Properties of Dynamical Systems by Quasi-Compactness
Linear Delay-Differential Systems with Commensurate Delays: An Algebraic Approach
Linear Estimation and Detection in Krylov Subspaces
Linear Pro-p-Groups of Finite Width
LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay
Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems
Location- and Context-Awareness, 2007
Location- and Context-Awareness, 2006
Location- and Context-Awareness, 2005
Loeb Measures in Practice: Recent Advances
Logic Based Program Synthesis and Transformation, 2005
Logic Based Program Synthesis and Transformation, 2006
Logic for Programming, Artificial Intelligence, and Reasoning, 3-2005
Logic for Programming, Artificial Intelligence, and Reasoning, 10-2005
Logic for Programming, Artificial Intelligence, and Reasoning, 2006
Logic for Programming, Artificial Intelligence, and Reasoning, 2007
Logic Programming, 2005
Logic Programming, 2006
Logic Programming, 2007
Logic Programming and Nonmonotonic Reasoning, 2005
Logic Programming and Nonmonotonic Reasoning, 2007
Logic, Language, and Computation
Logic, Language, Information and Computation
Logic-Based Program Synthesis and Transformation
Logical Approaches to Computational Barriers
Logical Aspects of Computational Linguistics
Logical Foundations for Rule-Based Systems
Logical Foundations of Computer Science
Logics in Artificial Intelligence
Low-Frequency Noise In Advanced Mos Devices
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
Machine Learning and Data Mining for Computer Security
Machine Learning and Data Mining in Pattern Recognition, 2007
Machine Learning and Data Mining in Pattern Recognition, 2005
Machine Learning and Robot Perception
Macroscopic Transport Equations for Rarefied Gas Flows
The Maintenance Management Framework
Maintenance of Process Instrumentation in Nuclear Power Plants
Maintenance Theory of Reliability
Make and Test Projects in Engineering Design
Management of Convergence Networks and Services
Managing Knowledge in a World of Networks
Managing Next Generation Networks and Services
Managing Virtualization of Networks and Services
Manis Valuations and Prüfer Extensions I
Manufacturing Systems: Theory and Practice
Maschinenelemente Aufgaben und Lösungen
Massively Multi-Agent Systems I
Mastering Calculations in Linear and Nonlinear Mechanics
Matching Properties of Deep Sub-Micron MOS TransistorsMatching Properties of Deep Sub-Micron MOS Transistors
Material Inhomogeneities and their Evolution
Material Properties under Intensive Dynamic Loading
Materials for Information Technology
Mathematical Approaches to Software Quality
Mathematical Approaches to Software Quality
Mathematical Aspects of Evolving Interfaces
Mathematical Foundation of Turbulent Viscous Flows
Mathematical Foundations of Computer Science 2005
Mathematical Foundations of Computer Science 2006
Mathematical Foundations of Computer Science 2007
Mathematical Knowledge Management, 2006, UK
Mathematical Knowledge Management, 2006, DE
Mathematical Methods for Robust and Nonlinear Control
Mathematical Methods in Electro-Magneto-Elasticity
Mathematical Morphology: 40 Years On
Mathematical Problems in Semiconductor Physics
Mathematical Software - ICMS 2006
Mathematical Theory of Nonequilibrium Steady States
Mathematics for Computer Graphics
Mathematics Inspired by Biology
Mathematics of Program Construction
Max-Plus Linear Stochastic Systems and Perturbation Analysis
Means of Hilbert Space Operators
Measurement, Control, and Communication Using IEEE 1588
Measures with Symmetry Properties
Mechanics of Biological Tissue
Mechanics of Composite Materials with MATLAB
Mechanics of Structural Elements
Mechanisms, Symbols, and Models Underlying Cognition
Mechanizing Mathematical Reasoning
Mechanosensing and Mechanochemical Transduction in Extracellular Matrix
Metamorphoses of Hamiltonian Systems with Symmetries
METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods for Constructing Exact Solutions of Partial Differential Equations
Metric- Driven Design Verification
MICAI 2005: Advances in Artificial Intelligence
MICAI 2006: Advances in Artificial Intelligence
MICAI 2007: Advances in Artificial Intelligence
Microfluidic Technologies for Miniaturized Analysis Systems
Microgravity Two-Phase Flow and Heat Transfer
Micromechanics of Contact and Interphase Layers
Microscale Diagnostic Techniques
Microscale Heat Transfer Fundamentals and Applications
The Middle Paranamp;#x00E1; River
Millimeter-Wave Integrated Circuits
Mining Sequential Patterns from Large Data Sets
Mixed Automorphic Forms, Torus Bundles, and Jacobi Forms
Mixed-Signal Layout Generation Concepts
Mixture Formation in Internal Combustion Engine
Mobile and Wireless Communication Networks, 2006
Mobile and Wireless Communication Networks , 2005
Mobile and Wireless Network Security and Privacy
Mobile Information Systems, 2005
Mobile Information Systems , 2006
Mobility Aware Technologies and Applications
Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition
Model and Design of Bipolar and MOS Current-Mode Logic
Model Checking and Artificial Intelligence
Model Checking Software, 2007
Model Checking Software , 2006
Model Checking Software, 2005
Model Driven Architecture and Ontology Development
Model Driven Architecture – Foundations and Applications, 2005
Model Driven Architecture – Foundations and Applications, 2006
Model Driven Architecture- Foundations and Applications, 2007, IS
Model Driven Architecture- Foundations and Applications, 2007, US
Model Driven Engineering Languages and Systems, 2005
Model Driven Engineering Languages and Systems, 2006
Model Theory and Algebraic Geometry
Model-Based Reasoning in Science, Technology, and Medicine
Model-Based Testing of Reactive Systems
Model-Driven Architecture in Practice
Model-Driven Design Using Business Patterns
Model-Driven Software Development
Modeling and Retrieval of Context
Modeling and Simulation for RF System Design
Modeling and Simulation Tools for Emerging Telecommunication Networks
Modeling and Using Context, 2005
Modeling and Using Context, 2007
Modeling Decisions for Artificial Intelligence, 2007
Modeling Decisions for Artificial Intelligence, 2006
Modeling Decisions for Artificial Intelligence, 2005
Modeling of Creep for Structural Analysis
Modeling, Control and Implementation of Smart Structures
Modeling, Estimation and Control
Modelling and Analysis of Hybrid Supervisory Systems
Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems
Modelling and Identification with Rational Orthogonal Basis Functions
Modelling and Optimization of Biotechnological Processes
Modelling and Reasoning with Vague Concepts
Modelling of Powder Die Compaction
Modelling, Monitoring and Diagnostic Techniques for Fluid Power Systems
Models for Computer Aided Tolerancing in Design and Manufacturing
Models in Software Engineering
A Modern Course in Aeroelasticity
Moduli of Families of Curves for Conformal and Quasiconformal Mappings
Moduli of Supersingular Abelian Varieties
Moment Theory and Some Inverse Problems in Potential Theory and Heat Conduction
Monitoring, Security, and Rescue Techniques in Multiagent Systems
Monomialization of Morphisms from 3-folds to Surfaces
Monotone Random Systems Theory and Applications
Multi-Agent and Multi-Agent-Based Simulation
Multi-Agent Systems and Applications IV
Multi-Agent Systems and Applications V
Multi-Agent-Based Simulation VI
Multi-Agent-Based Simulation VII
Multi-Objective Machine Learning
Multi-point Interaction with Real and Virtual Objects
Multi-Robot Systems. From Swarms to Intelligent Automata Volume III
Multiagent based Supply Chain Management
Multiagent System Technologies, 2007
Multiagent System Technologies, 2005
Multiagent System Technologies , 2006
Multibody Mechanics and Visualization
Multifield Problems in Solid and Fluid Mechanics
Multilingual Information Access for Text, Speech and Images
Multimedia Content Analysis and Mining
Multimedia Content Representation, Classification and Security
Multimedia Data Mining and Knowledge Discovery
Multimedia Encryption and Watermarking
Multimedia Introduction to Programming Using Java
Multiobjective Evolutionary Algorithms and Applications
Multiphase Flow Dynamics 2 , 2007
Multiphase Flow Dynamics 2 , 2005
Multiphase Reacting Flows: Modelling and Simulation
Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
Multiple Classifier Systems, 2007
Multiple Classifier Systems, 2005
Multirate Statistical Signal Processing
Multiscale Problems and Methods in Numerical Simulations
Multivariable Computer-controlled Systems
Multivariate Public Key Cryptosystems
Multiwavelength Mapping of Galaxy Formation and Evolution