 Don't Miss
More at Powell's
Powell's Q&A, Q&A | June 29, 2009
By Janna Cawrse Esarey
"I fell in love with Crosby, Stills, and Nash's song 'Southern Cross' when I was fifteen. By the time I got to college, 'I'm going to sail around the world someday' was sort of my pickup line."
Continue »
-
 |
$18.50 List price: $79.95
TRADE PAPER, USED
Usually ships in 5 to 7 business days
available for shipping or prepaid pickup only
More copies of this ISBN:
This title in other formats:
Other titles in the Lecture Notes in Computer Science series:
- Advances in Machine Vision
- Astrophysics: A Primer
- Computational Aerodynamics and Fluid Dynamics
- Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991
- Conservation of Wood Artifacts: a Handbook
- Development of Prime Number Theory: From Euclid to Hardy and Littlewood
- Digital Cities: Technologies, Experiences, and Future Perspectives
- Evolvable Systems: From Biology to Hardware
- Fst Tcs 2000: Foundations of Software Technology and Theoretical Science
- Fundamentals of Computational Fluid Dynamics
- Institutional Economics in France and Germany: German Ordoliberalism Versus the French Regulation School
- Comparative Genomics: Recomb 2006 International Workshop, Recomb-CG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
- Modern Astrometry
- Neuronal Death by Accident or by Design
- Nonmonotonic Logic
- Politics and institutions in an integrated Europe
- Public Key Cryptography 2ND Edition
- Semiconductor Quantum Dots
- Spatial Hysteresis and Optical Patterns
- Stability Theory of Dynamical Systems
- Successful Management by Motivation
- Topology
- Xylem Structure and the Ascent of SAP
- GI - 3. Jahrestagung
- Principles of Magnetic Resonance
- 1. Fachtagung Ber Automatentheorie Und Formale Sprachen
- Fifth Conference on Optimization Techniques. Rome 1973
- Foliations on Surfaces
- Fifth Conference on Optimization Techniques. Rome 1973
- International Symposium on Theoretical Programming
- Marine Chemistry
- Matrix Eigensystem Routines - Eispack Guide
- GI - 3. Fachtagung Ber Programmiersprachen
- Tropospheric Modelling and Emission Estimation
- Computing Methods in Applied Sciences and Engineering. International Symposium, Versailles, December 17-21, 1973
- Contemporary Combinatorics
- Computing Methods in Applied Sciences and Engineering. International Symposium, Versailles, December 17-21,1973
- Fachtagung Prozessrechner 1974
- Rechnerstrukturen Und Betriebsprogrammierung
- Automata, Languages and Programming
- L Systems
- Rechner-Gesttzter Unterricht
- Scientific Computing in Electrical Engineering: Proceedings of the 3rd International Workshop, August 20-23, 2000, Warnemunde, Germany
- Programming Symposium
- Simple Program Schemes and Formal Languages
- Formal Aspects of Cognitive Processes
- Chaotic and Stochastic Behaviour in Automatic Production Lines
- Numerical Solution of Stochastic Differential Equations
- Programming Methodology
- Parallel Processing
- Category Theory Applied to Computation and Control
- GI - 4. Jahrestagung
- Somatic Hybridization in Crop Improvement I
- Optimization Techniques
- Mathematical Foundations of Computer Science 1974
- Interval Mathematics
- Principles of Computational Fluid Dynamics
- Lecture Notes in Computer Science #30-3: Somatic Embryogenesis and Synthetic Seed I
- Analysis of Drum and Disk Storage Units
- Mathematical Foundations of Computer Science 1975
- Automata Theory and Formal Languages
- GI - 5. Jahrestagung
- Laser Physics At Relativistic Intensities
- Exercises in Computer Systems Analysis
- Theory of Program Structures: Schemes, Semantics, Verification
- An Optimized Translation Process and Its Application to ALGOL 68
- Mechanisms of Organ Dysfunction in Critical Illness
- Data Base Systems
- High-Tech & Micropropagation, Vol. VI
- Complementary Definitions of Programming Language Semantics
- Komplexitt Von Entscheidungsproblemen
- Eci Conference 1976
- Mathematical Foundations of Computer Science 1976
- Language Hierarchies and Interfaces
- Methods of Algorithmic Language Implementation
- Theoretical Computer Science
- Interactive Systems
- A Concurrent Pascal Compiler for Minicomputers
- Matrix Eigensystem Routines - Eispack Guide Extension
- Automata, Languages and Programming
- Mathematical Foundations of Computer Science 1977
- Design and Implementation of Programming Languages
- Mes Premieres Constructions de Programmes
- Fundamentals of Computation Theory: Proceedings of the 1977 International Fct-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
- Portability of Numerical Software
- Computing in Systems Described by Equations
- A Comparative Study of Very Large Data Bases
- The Vienna Development Method: The Meta-Language
- Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
- Connectivity and Superconductivity
- Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings
- Information Systems Methodology: Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978
- Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues
- Theoretical Computer Science
- First-Order Dynamic Logic
- Laser Strophometry High Resolution Techn
- Program Construction: International Summer School
- Geometry IV: Nonregular Riemannian Geometry
- Semantics of Concurrent Computation
- Automata, Languages, and Programming
- Introductory Mems: Fabrication and Applications
- Symbolic and Algebraic Computation
- Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978
- Mathematical Foundations of Computer Science 1979
- Mathematical Studies of Information Processing
- Drag Reduction Technologies: Proceedings of the Ceas/Dragnet European Drag Reduction Conference, 19-21 June 2000, Potsdam, Germany
- Codes for Boundary-Value Problems in Ordinary Differential Equations
- Multimedia Interface Design in Education
- Architecture of Distributed Computer Systems
- Edinburgh Lcf
- Language Design and Programming Methodology
- Pictorial Information Systems
- Data Base Techniques for Pictorial Application
- A Relational Theory of Computing
- Optical Properties of Nanostructured Random Media
- International Symposium on Programming: Proceedings of the Fourth "Colloque International Sur La Programmation" Paris, 22-24 April 1980
- Net Theory and Applications
- Automata, Languages and Programming
- Abstract Software Specifications
- 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
- Mathematical Foundations of Computer Science 1980
- Computer Aided Design Modelling, Systems Engineering, CAD-Systems: Crest Advanced Course, Darmstadt, 8. - 19. September 1980
- Using Sophisticated Models in Resolution Theorem Proving
- Grammar and L Forms
- A Calculus of Communication Systems
- Context-Free Grammars: Covers, Normal Forms, and Parsing
- Semantics-Directed Compiler Generation
- Coroutines: A Programming Methodology, a Language Design and an Implementation
- Computer Programs for Spelling Correction
- Mathematical Structures of Epidemic Systems
- Reliability Evaluation of Some Fault-Tolerant Computer Architectures
- Towards a Formal Description of ADA
- Algebraic Semantics
- Graphtheoretic Concepts in Computer Science
- Boolean Calculus of Differences
- On the Integration of Algebraic Functions
- Directions in Human Factors for Interact
- Theoretical Computer Science
- The Programming Language ADA
- Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
- Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 198
- Digital Image Processing Systems
- Advanced Educational Technology in Technology Education
- The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs
- Conpar 81
- Caap '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
- Stochastic Automata: Stability, Nondeterminism and Prediction
- Clu: Reference Manual
- Automata, Languages and Programming
- The Concurrency Control Problem for Database Systems
- Fundamentals of Computation Theory
- Mathematical Foundations of Computer Science 1981
- Program Design Calculi
- Anaphora in Natural Language Understanding
- Automatic Differentiation
- Y12m Solution of Large and Sparse Systems of Linear Algebraic Equations
- IV Hotine-Marussi Symposium on Mathematical Geodesy: Trento, Italy, September 14-17, 1998
- Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek Ssr September 16-22, 1979
- Trends in Information Processing Systems
- Compiler Specification and Verification
- Logic of Programs
- Alternating Sequential-Parallel Processing
- An Analytical Description of Chill, the Ccitt High Level Language
- Verifying Concurrent Processes Using Temporal Logic
- Axiomatising the Logic of Computer Programming
- Logics of Programs
- Data Base Design Techniques I
- Collaborative Dialogue Technologies in Distance Learning
- Data Base Design Techniques II
- Program Specification
- Introduction To the PL CV2 Programming Logic
- Group-Theoretic Algorithms and Graph Isomorphism
- International Symposium on Programming
- An Attribute Grammar for the Semantic Analysis of ADA
- Gag: A Practical Compiler Generator
- Die Thematischen Berichterstatter Und Arbeitsgruppen Der Un-Menschenrechtskommission
- Problems and Methodologies in Mathematical Software Production
- Operating Systems Engineering
- Computer Algebra: Eurocam '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982
- Theoretical Computer Science
- Research and Development in Information Retrieval
- Rims Symposium on Software Science and Engineering
- Logics of Programs and Their Applications
- Cryptography
- Conlan Report
- Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
- The Design of Dynamic Data Structures
- Direct Methods for Sparse Matrices
- Foundations of Computation Theory
- Caap '83: Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
- Carbohydrate Expression in the Intestinal Mucosa
- The Iota Programming System: A Modular Programming Environment
- Diana. an Intermediate Language for ADA
- Computer Algebra
- VLSI Engineering
- Logics of Programs
- Large Sparse Numerical Optimization
- Stacs 84
- International Symposium on Programming
- Feedback Shift Registers
- Logic and Machines: Decision Problems and Complexity
- Automata, Languages, and Programming
- Semantics of Data Types
- Eurosam 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
- Superconductor/Semiconductor Junctions
- P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
- Mathematical Foundations of Computer Science 1984
- Programming Languages and Their Definition
- Readings on Cognitive Ergonomics, Mind and Computers
- How to Multiply Matrices Faster
- ADA Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings
- Foundations of Software Technology and Theoretical Computer Science
- Stacs 85
- The Munich Project Cip
- Local Area Networks: An Advanced Course: Glasgow, July 11-22, 1983. Proceedings
- Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Ta
- Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
- Time Series Package (Tspack)
- Advances in Petri Nets 1984
- Paragon
- Distributed Systems
- A Survey of Verification Techniques for Parallel Programs
- Electronic & Vibronic Spectra of Transition Metal Complexes II, Volume 191
- Automata on Infinite Words: Ecole de Printemps D'Informatique Theorique, Le Mont Dore, May 14-18, 1984
- Logics of Programs
- Automata, Languages and Programming
- A Hierarchical Associative Processing System
- Advances in Cryptology
- Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, Pa, July 9-11, 1984
- Portal Language Description
- Fundamentals of Computation Theory
- Trace Theory and VLSI Design
- Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
- Rewriting Techniques and Applications
- Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
- Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions
- A Study in String Processing Languages
- Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
- The Analysis of Concurrent Systems
- Computation Theory: Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
- Advances in Cryptology
- Stacs 86
- Complexity and Structure
- Interval Mathematics 1985
- ESOP 86: European Symposium on Programming, Saarbr]cken, Federal Republic of Germany, March 17-19, 1986. Proceedings
- Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
- Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, Gdr, April
- Lucas: Associative Array Processor: Design, Programming and Application Studies
- Programs as Data Objects
- Advances in Cryptology
- Advances in Cryptology - Eurocrypt '85
- RIMS Symposia on Software Science and Engineering II
- Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
- Advances in Petri Nets 1985
- Structure in Complexity Theory
- Current Trends in Concurrency: Overviews and Tutorials
- Third International Conference on Logic Programming
- Automata, Languages and Programming
- VLSI Algorithms and Architectures: Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
- Applied Algebra, Algorithmics and Error-Correcting Codes
- Algebraic Algorithms and Error-Correcting Codes
- 8th International Conference on Automated Deduction
- Newcat: Parsing Natural Language Using Left-Associative Grammar
- Fundamentals of Artificial Intelligence
- Mathematical Foundations of Computer Science 1986
- Concepts in User Interfaces: A Reference Model for Command and Response Languages
- Accurate Scientific Computations: Symposium, Bad Neuenahr, FRG, March 12-14, 1985 Proceedings
- Tex for Scientific Documentation
- Conpar 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings
- Negation and Control in PROLOG
- Mathematical Foundation of Programming Semantics
- Category Theory and Computer Programming
- Evualation of Cross-Language Information Retrieval Systems: Second Workshop of the Cross-Language Evaluation Forum, Clef 2001, Darmstadt, Germany, Sep
- Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
- Combinators and Functional Programming Languages
- Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings
- Advanced Programming Environments
- Lectures on the Complexity of Bilinear Problems
- Stacs 87
- Networking in Open Systems
- Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
- Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
- Unobstructed Shortest Paths in Polyhedral Environments
- VDM '87. VDM - A Formal Method at Work
- The Mechanisms of Neuronal Damage in Virus Infections of the Nervous System
- Wopplot 86 Parallel Processing: Logic, Organization, and Technology: Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2-4, 1986
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
- Rewriting Techniques and Applications
- Database Machine Performance: Modeling Methodologies and Evaluation Strategies
- Parle Parallel Architectures and Languages Europe
- Parle Parallel Architectures and Languages Europe
- Anna a Language for Annotating ADA Programs: Reference Manual
- Translating Relational Queries Into Iterative Programs
- A Review of ADA Tasking
- Advances in Cryptology - Crypto '86
- Logic Programming '86
- Analogical and Inductive Inference: International Workshop Aii'86 Wendisch-Rietz, Gdr, October 6-10, 1986, Proceedings
- Advances in Petri Nets 1987
- Automata, Languages and Programming
- Parallel Algorithms and Architectures
- Computation Theory and Logic
- From Logic Design to Logic Programming
- Future Parallel Computers
- A Connotational Theory of Program Structure
- Functional Programming Languages and Computer Architecture
- System Development and ADA: Crai Workshop on Software Factories and ADA, Capri, Italy, May 26-30, 1986, Proceedings
- Ecoop '87. European Conference on Object-Oriented Programming
- Hankel Norm Approximation for Infinite-Dimensional Systems
- Systems of Reductions
- H [Infinity] Control and Filtering of Two-Dimensional Systems
- Fundamentals of Computation Theory: International Conference Fct '87 Kazan, USSR, June 22-26, 1987. Proceedings
- Graph Reduction: Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986
- Mathematical Models for the Semantics of Parallelism
- Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, O
- Visualization in Programming
- Category Theory and Computer Science
- Embedded Systems: New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986
- Semantics of Digital Circuits
- Uncertainty in Knowledge-Based Systems
- Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
- Metasoft Primer
- Esec '87
- Co-Op
- Graph-Grammars and Their Application to Computer Science
- Sheaves on Manifolds
- The Munich Project Cip: Volume II: The Programme Transformation System Cip-S
- Continuous Martingales and Brownian Motion
- Stacs 88
- Parallel Computing in Science & Engineering
- Trends in Computer Algebra
- Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings
- Caap '88
- ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
- Pattern Recognition: 4th International Conference Cambridge, UK, March 28-30, 1988; Proceedings
- Attribute Grammar Inversion and Source-To-Source Translation
- Advances in Database Technology - Edbt '88
- Advances in Cryptology - Eurocrypt '87
- Mfdbs 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, Gdr, January 19-23, 1987. Proceedings
- Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings
- Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra: 4th International Conference, Aaecc-4, Karlsruhe, Frg, September 23-26
- Conditional Term Rewriting Systems
- Experiences with Distributed Systems
- Calculus of Variations, Vol. 1
- 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
- Coding Theory and Applications
- Distributed Algorithms
- Uncertainty and Intelligent Systems: 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems I
- Graph-Theoretic Concepts in Computer Science: International Workshop Wg '87, Kloster Banz/Staffelstein, Frg, June 29 - July 1, 1987. Proceedings
- Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
- Automata Networks: Litp Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
- Automata Languages & Programming
- Swat '88: 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
- Natural Language at the Computer
- Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
- Ecoop '88 European Conference on Object-Oriented Programming
- Attribute Grammars: Definitions, Systems and Bibliography
- Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings
- Icdt '88: 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings
- VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
- CSL '87
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Recent Trends in Data Type Specification
- Computational Geometry and Its Applications
- Advances in Object-Oriented Database Systems: 2nd International Workshop on Object-Oriented Database Systems, Bad M??nster Am Stein-Ebernburg, Frg, Se
- Concurrency 88
- Efficient Structures for Geometric Data Management
- Foundations of Software Technology and Theoretical Computer Science
- Statistical and Scientific Database Management
- Advances in Petri Nets 1988
- Software Reliability Modelling and Identification
- Proceedings / Parcella 1988
- Algebraic and Logic Programming
- Graph-Theoretic Concepts in Computer Science
- Non-Monotonic Reasoning
- Knowledge Representation and Organization in Machine Learning
- Programming Languages Implementation and Logic Programming
- Stacs 89
- Global Optimization
- Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
- Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
- Foundations of Equational Logic Programming
- Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
- Rewriting Techniques and Applications
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Symbolic & Algebraic Computation
- High Performance Transaction Systems
- Nested Relations and Complex Objects in Databases
- Synthesizing Synchronous Systems by Static Scheduling in Space-Time
- Logic at Botik '89
- Mfdbs 89
- Parle '89 - Parallel Architectures and Languages Europe: Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings
- Parle '89 - Parallel Architectures and Languages Europe
- Foundations of Data Organization and Algorithms
- Database Machines
- Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets
- Modified Branching Programs and Their Computational Power
- Compiler Compilers and High Speed Compilation
- Automata, Languages and Programming
- Algorithms for Parallel Polygon Rendering
- Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30,
- Software Engineering Education
- Electronic Dictionaries and Automata in Computational Linguistics
- Eurocal '87: European Conference on Computer Algebra, Leipzig, Gdr, June 2-5, 1987. Proceedings
- Mathematical Foundations of Computer Science 1989
- Fundamentals of Computation Theory
- Machines Languages & Complexity
- Algorithms and Data Structures: Workshop Wads '89, Ottawa, Canada, August 17-19, 1989. Proceedings
- Parallel Computing 1988
- CSL'88
- Formal Properties of Finite Automata and Applications
- Esec '89
- Coding Theory and Applications
- Category Theory and Computer Science
- Geometry and Robotics: Workshop, Toulouse, France, May 26-28, 1988. Proceedings
- Distributed Algorithms
- Categorical Methods in Computer Science
- Algebraic Methods: Theory, Tools and Applications
- Computational Aspects of an Order-Sorted Logic with Term Declarations
- Local Area Network Security
- Temporal Logic in Specification
- Recent Issues in Pattern Analysis and Recognition
- Concrete and Abstract Voronoi Diagrams
- Optimal Algorithms
- Interactive Relational Database Design
- Concepts, Design, and Performance Analysis of a Parallel PROLOG Machine
- Theorie Du Potentiel Et Analyse Harmonique
- Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
- Automatic Verification Methods for Finite State Systems
- Design and Implementation of Large Spatial Databases
- Computer Aided Systems Theory - Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, Las Palmas, Spain, February 26 - Mar
- Graph-Theoretic Concepts in Computer Science: 15th International Workshop Wg '89, Castle Rolduc, the Netherlands, June 14-16, 1989, Proceedings
- Neural Networks
- Group Theoretical Methods in Image Processing
- Loglan '88 - Report on the Programming Language
- Stacs 90
- Advances in Database Technology - Edbt '90
- Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
- Statistical and Scientific Database Management: Fifth International Conference, V Ssdbm, Charlotte, N.C., USA, April 3-5, 1990, Proceedings
- A Formal Model of Visualization in Computer Graphics Systems
- Reasoning and Revision in Hybrid Representation Systems
- Advances in Petri Nets 1989
- Computer Vision - Eccv 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings
- VDM '90. VDM and Z - Formal Methods in Software Development
- Design and Implementation of Symbolic Computation Systems
- Stepwise Refinement of Distributed Systems
- Caap '90
- Advances in Solar Physics: Proceedings of the Seventh European Meeting on Solar Physics Held in Catania, Italy, 11 - 15 May 1993
- ESOP '90
- Advances in Cryptology - Eurocrypt '89
- Advanced Information Systems Engineering
- Current Trends in Sneps - Semantic Network Processing System
- Computer Assisted Learning
- Visualization in Human-Computer Interaction
- CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings
- Parallel LISP: Languages and Systems
- Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
- Swat '90: 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings
- Fault-Tolerant Distributed Computing
- Algorithms: International Symposium Sigal '90, Tokyo, Japan, August 16-18, 1990. Proceedings
- Mathematical Foundations of Computer Science 1990
- Advances in Cryptology - Auscrypt '90
- Combinatorics on Traces
- A Collection of Test Problems for Constrained Global Optimization Algorithms
- Programming Language Implementation and Logic Programming
- Attribute Grammars and Their Applications
- Algebraic and Logic Programming
- Aspects and Prospects of Theoretical Computer Science
- Database Systems of the 90s
- Software Engineering Environments
- Advances in Computing and Information - ICCI '90
- Icdt '90
- Efficient Query Processing in Geographic Information Systems
- Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
- Advances in Cryptology - Eurocrypt '90
- Information Systems and Artificial Intelligence: Integration Aspects
- Natural Language Processing
- Compiler Compilers
- Meta-Level Control for Deductive Database Systems
- Stacs 91
- Advances in Petri Nets 1990
- Graph-Theoretic Concepts in Computer Science
- Distributed Algorithms
- Rewriting Techniques and Applications
- Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990
- Computer-Aided Cooperative Product Development
- Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
- Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
- Mfdbs 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
- Parallel Problem Solving from Nature
- Unemployment in Open Economies: A Search Theoretic Analysis
- Advances in Computing and Information - ICCI '91
- ADA: The Choice for '92: ADA-Europe International Conference Athens, Greece, May 13-17, 1991
- Algebraic System Specification and Development
- Quantitative Models for Reverse Logistics
- Baltic Computer Science
- Economics with Heterogeneous Interacting Agents
- Parallel Database Systems
- Next Generation Information System Technology
- PARLE '91, Parallel Architectures and Languages Europe
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Automata, Languages and Programming
- Information Processing in Medical Imaging: 12th International Conference, Ipmi '91, Wye, UK, July 7-12, 1991. Proceedings
- Ecoop '91 European Conference on Object-Oriented Programming
- An Approach to Knowledge Base Management
- Eurocode '90
- Conditional and Typed Rewriting Systems
- Algorithms and Data Structures
- Mathematical Foundations of Computer Sci
- Uncertainty in Knowledge Bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Ipmu'
- European Workshop on Planning: Ewsp'91, Sankt Augustin, Frg, March 18-19, 1991. Proceedings
- Functional Programming Languages and Computer Architecture
- Advances in Petri Nets 1991
- Advances in Spatial Databases
- Theoretical Aspects of Computer Software
- Concur '91
- Statistical Mechanics of Biocomplexity: Proceedings of the XV Sitges Conference, Held at Sitges, Barcelona, Spain, 8-12 June 1998
- Programming Language Implementation and Logic Programming
- Fundamentals of Computation Theory
- Category Theory and Computer Science
- Computer-Aided Verification
- Graph Grammars and Their Application to Computer Science
- Computer Science Logic
- Recent Trends in Data Type Specification
- Fundamentals of Artificial Intelligence Research
- Software Engineering Education
- Advances in Cryptology - Crypto '90
- A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Artificial Neural Networks
- Epia'91
- Methods of Programming
- Text Understanding in Lilog
- Symbolic and Quantitative Approaches to Uncertainty
- Esec '91
- Lecture Notes in Computer Science #551-: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
- Lecture Notes in Computer Science #551-: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
- Computational Geometry - Methods, Algorithms and Applications
- New Results and New Trends in Computer Science: Graz, Austria, June 20-21, 1991 Proceedings
- Conclog: A Methodological Approach to Concurrent Logic Programming
- ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings
- Specification and Compositional Verification of Real-Time Systems
- Fundamental Algorithms for Permutation Groups
- Foundations of Software Technology and Theoretical Computer Science
- The Stability Theory of Stream Ciphers
- Operating Systems of the 90s and Beyond
- The Use of Projective Geometry in Computer Graphics
- Parallelism, Learning, Evolution: Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processi
- Deductive and Object-Oriented Databases
- Formal techniques in real-time and fault-tolerant systems :second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
- Word Equations and Related Topics
- Algebraic Coding
- Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991 Proceedings
- Computer Aided Verification
- Physics of Neutron Star Interiors
- Interacting Electrons in Nanostructures
- Advances in Database Technology - Edbt '92
- Caap '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings
- ESOP '92
- Latin '92
- Computer Algebra and Parallelism
- Computer Aided Systems Theory - Eurocast '91
- Parallel Execution of Parlog
- Languages and Compilers for Parallel Computing
- Parallel Computation
- Logic Programming
- Advanced Information Systems Engineering
- Data Structures and Efficient Algorithms
- The Nested Universal Relation Database Model
- A Perspective of Constraint-Based Reasoning
- Mathematical Foundations of Programming Semantics
- Real-Time: Theory in Practice
- Theory of Computing and Systems
- Computer Assisted Learning
- ADA: Moving Towards 2000
- Axioms and Hulls
- Intelligent Tutoring Systems
- Advances in Petri Nets 1992
- Coordinating Plans of Autonomous Agents
- The Next Generation of Information Systems: From Data to Knowledge
- Constructivity in Computer Science
- Network and Operating System Support for Digital Audio and Video: Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceeding
- Ecoop '92. European Conference on Object-Oriented Programming
- Application and Theory of Petri Nets 1992
- Advanced Database Systems
- Nonclassical Logics and Information Processing
- Logical Foundations of Computer Science - Tver '92
- Automata, Languages and Programming
- Computer Science Logic
- Lexical Semantics and Knowledge Representation
- Relational Matching
- Mathematical Foundations of Computer Science 1992
- Concur 92 Third International Conference
- Programming Language Implementation and Logic Programming
- Algebraic and Logic Programming
- Software Process Technology
- Journees de Statistique Des Processus Stochastiques
- Memory Management
- Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - From Space to Territory: Theories and Methods of
- Software Engineering Education
- Compiler Construction 4TH International
- Hyperedge Replacement: Grammars and Languages
- Combinatorial Pattern Matching
- Database Theory - Icdt '92
- Algorithms and Computation
- Specifying Message Passing and Time-Critical Systems with Temporal Logic
- Foundations of Software Technology and Theoretical Computer Science
- Future Tendencies in Computer Science, Control and Applied Mathematics
- Recent Trends in Data Type Specification
- Graph-Theoretic Concepts in Computer Science
- Machine Learning: From Theory to Applications
- Computer Aided Verification
- Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, W??rzburg, Germany, February 25-27, 1993. Proceeding
- Semantics :foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
- Mathematics of Program Construction
- Industrial Strength Formal Methods
- The Mosix Distributed Operating System
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- Advances in Petri Nets 1993
- Live Data Structures in Logic Programs
- Recognizing Planar Objects Using Invariant Image Features
- Word Equations & Related Topics
- Parallel Architectures and Their Efficient Use
- Resolution Methods for the Decision Problem
- Program Development By Specification &
- The Logic of Information Structures
- Ipmu'92 - Advanced Methods in Artificial Intelligence
- Correct Hardware Design and Verification Methods
- Combinatorial Pattern Matching
- Advanced Information Systems Engineering
- Information Processing in Medical Imaging: 13th International Conference, Ipmi'93, Flagstaff, Arizona, USA, June 14-18, 1993. Proceedings
- ADA-Europe '93
- Rewriting Techniques and Applications
- Application & Theory of Petri Nets 1993
- Advances in Spatial Databases
- Functional Programming, Concurrency, Simulation and Automated Reasoning
- Parle '93 Parallel Architectures and Languages Europe: 5th International Parle Conference, Munich, Germany, June 14-17, 1993. Proceedings
- Fuzzy Logic in Artificial Intelligence
- Advances in Databases
- Automata, Languages and Programming
- LOGITDATA+: Deductive Databases with Complex Objects
- Computer Science Logic
- The Design of an Extendible Graph Editor
- Experimental Software Engineering Issues - Critical Assessment & Future Directions: Proceedings of an International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992
- ECOOP '93 - Object-Oriented Programming: Proceedings of the 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993
- Algorithms & Data Structures: Proceedings of the Third Workshop on Algorithms & Data Structures, Montreal, Canada, August 11-13, 1993
- Fundamentals of Computation Theory
- Mathematical Foundations of Computer Science 1993
- Network and Operating System Support for Digital Audio and Video
- Computational Logic and Proof Theory
- Programming Language Implementation and Logic Programming
- Concur'93
- Software Engineering - Esec '93
- Advances in Cryptology - Auscrypt '92
- Database and Expert Systems Applications: 4th International Conference, Dexa'93, Prague, Czech Republic, September 6-8, 1993. Proceedings
- Design and Implementation of Symbolic Computation Systems
- Design and Implementation of Symbolic Computation Systems
- Knowledge Acquisition for Knowledge-Based Systems
- Static Analysis
- Distributed Algorithms
- Algorithms - ESA '93
- Progress in Artificial Intelligence
- Performance Evaluation of Computer and Communication Systems
- DCE - The OSF Distributed Computing Environment: Client - Server Model & Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993, Proceedings
- Assessing Childhood Psychopathology and Developmental Disabilities
- Parallel Computation
- Formal Methods in Programming and Their Applications
- Artificial Intelligence and Symbolic Mathematical Computing
- The Generic Development Language Deva
- Advances in Cryptology - Asiacrypt '91
- Computer Security and Industrial Cryptography
- Object Technologies for Advanced Software
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Parallel Symbolic Computing: Languages, Systems, and Applications
- Automated and Algorithmic Debugging
- Software Engineering Education: 7th SEI Csee Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings
- Spatio-Temporal Image Processing
- Information and Knowledge Management
- Design of Hashing Algorithms
- Languages and Compilers for Parallel Computing
- Towards Dynamic Randomized Algorithms in Computational Geometry
- Advanced Database Systems
- Deductive and Object-Oriented Databases
- Foundations of Software Technology and Theoretical Computer Science
- Algorithms and Computation
- Computer aided systems theory--EUROCAST '93 :a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
- Vivid Logic
- An Extended Entity-Relationship Model
- Scientific Ballooning: Technology and Applications of Exploration Balloons Floating in the Stratosphere and the Atmospheres of Other Planets
- The Newton-Cauchy Framework
- Representing Plans Under Uncertainty
- Software Process Technology
- Hardware and Software Architectures for Fault Tolerance
- Graph Transformations in Computer Science
- Management and Processing of Complex Data Structures
- Advances in Database Technology - Edbt '94: 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1
- Handbook of Biomedical Imaging
- Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
- Mobile Communications - Advanced Systems and Components
- Recent Trends in Data Type Specification
- Compiler Construction
- Trees in Algebra and Programming - Caap '94
- Programming Languages and Systems - ESOP '94
- Graph-Theoretic Concepts in Computer Science
- Logic, Language, & Computation: Festschrift in Honor of Satoru Takasu
- Information Theory and Applications
- Computer Performance Evaluation
- High-Performance Computing and Networking
- High-Performance Computing and Networking
- Multiagent Systems
- Lecture Notes in Computer Science #800-: Computer Vision - Eccv '94
- Lecture Notes in Computer Science #800-: Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1
- Mathematical Foundations of Programming Semanti
- A Decade of Concurrency
- Parallel and Distributed Computing
- Types for Proofs and Programs
- Combinatorial Pattern Matching
- Fast Software Encryption
- Advanced Information Systems Engineering
- Results and Trends in Theoretical Computer Science
- Logical Foundations of Computer Science
- Application and Theory of Petri Nets 1994
- Higher-Order Algebra, Logic, and Term Rewriting
- Parle '94 Parallel Architectures and Languages Europe: 6th International Parle Conference, Athens, Greece, July 4 - 8, 1994. Proceedings
- Computer Aided Verification
- Applications of Databases
- Automata, Languages, and Programming
- Ecoop '94 - Object-Oriented Programming
- Algorithm Theory - Swat '94
- Applications of Invariance in Computer Vision
- Directions in Databases
- Isabelle
- Error Control, Cryptology, and Speech Compression
- Computer Science Logic
- Fuzzy Logic and Fuzzy Control
- Algorithms and Computation
- Concur '94: Concurrency Theory
- Topics in Case-Based Reasoning
- Mathematical Foundations of Computer Science 1994
- Treewidth
- Constraints in Computational Logics
- Fuzzy Logic in Artificial Intelligence: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
- Field-Programmable Logic: Architecture, Synthesis & Applications: Fourth International Workshop on Field-Programmable Logic & Applications, FPL '94, Prague, Czech Republic, September 7-9
- Algebraic & Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14 16, 1994. Proceedings
- International Conference on Intelligence in Broadband Services & Networks: Towards a Pan-European Telecommunication Service infrastructure, 851
- Dependable Computing - Edcc-1
- Algorithms - ESA '94: Second Annual European Symposium, Utrecht, the Netherlands, September 26- 28, 1994. Proceedings
- Database & Expert Systems Applications: Proceedings of the Fifth International Conference, DEXA '94, Athens, Greece September 7-9, 1994
- Object-Oriented Methodologies & Systems: Proceedings of the International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994
- Higher order logic theorem proving and its applications :7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
- Computers for Handicapped Persons: 4th International Conference, Icchp '94, Vienna, Austria, September 14-16, 1994. Proceedings
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Static Analysis: Proceedings of the First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994
- Parallel Problem Solving from Nature - Evolutionary Computation: Proceedings of the International Conference on Evolutionary Computation, Held jointly with the Third Conference on Parallel Problem Sol
- A Future for Knowledge Acquisition
- Multimedia :advanced teleservices and high-speed communication architectures : second international workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994 : proceedings
- Methodologies for Intelligent Systems
- Database Issues for Data Visualization: Proceedings of the IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993
- Algorithmic Learning Theory: Proceedings of the 4th International Workshop on Analogical & Inductive Inference, AII'94, & 5th International Workshop on Algorithmic Learning Theory, ALT'94, Reinhardsbr
- FME '94: Industrial Benefit of Formal Methods: Proceedings of the Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994
- Principles & Practice of Constraint Programming
- Computer Security: ESORICS 94
- Parallel, Distributed and Multiagent Production Systems
- Parallel Scientific Computing
- Foundations of Software Technology and Theoretical Computer Science
- Multimedia transport and teleservices :International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings
- Geographic Information Systems
- Ada in Europe: Proceedings of the First International Eurospace-Ada Symposium, Copenhagen, Denmark, September 26-30, 1994
- Analysis of Dynamical and Cognitive Systems: Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
- Towards a Cscw Framework for Scientific Cooperation in Europe
- Formal Development of Reactive Systems
- Languages & Compilers for Parallel Computing: Proceedings of the 7th International Workshop Held at Ithaca, New York, U. S. A., August 1994
- Database Theory - Icdt '95
- Graphic Drawing
- Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings
- Machine Translation and the Lexicon
- Evolution & Biocomputation
- Theorem Provers in Circuit Design
- Typed Lambda Calculi & Applications Second Inter
- Graph-Theoretic Concepts in Computer Science
- Theory & Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
- Extensions of the Unity Methodology
- Term Rewriting: Advanced Course Held at the French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993
- Constraint Programming: Basics and Trends
- Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 17-21, 1995. Proceedings
- Machine Learning: ECML - 95: Proceeding of the 8th European Conference on Machine Learning, Held at Heraclion, Greece, April 25-27, 1995
- Software Process Technology
- Digital Libraries - Current Issues
- Integer Programming & Combinatorial Optimization: 4th International Conference, IPCO '95, Copenhagen, Denmark, May 29-31, 1995, Proceedings
- Efficient Graph Rewriting and Its Implementation
- Object-Based Models & Languages for Concurrent Systems: ECOOP '94 Workshop on Models & Languages for Coordination of Parallelism & Distribution, Bologna, Italy, July 5, 1994: Selected Papers
- Advanced Functional Programming
- Logic Programming & Non-Monotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995: Proceedings
- Artificial Neural Networks: An Introduction to ANN Theory & Practice
- Advanced Information Systems Engineering: 7th International Conference, CAiSE '95, Jyvaskyla, Finland, June 12-16, 1995. Proceedings
- Artificial Intelligence in Medicine
- Application and Theory of Petri Nets 1995
- Algebraic methodology and software technology :4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
- Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5-7, 1995: Proceedings
- Computer Aided Verification
- Directions in Databases: 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 1995 Proceedings
- Tractable reasoning in artificial intelligence
- Metaclasses and their application :data model tailoring and database integration
- Automata, Languages and Programming
- Advances in Intelligent Computing - Ipmu '94
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Advances in spatial databases :4th international symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings
- Category Theory and Computer Science
- Logic and computational complexity :international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
- Algorithmic learning for knowledge-based systems :GOSLER final report
- Parallel computing technologies :third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings
- Euro-Par '95: Parallel Processing
- Conditional and typed rewriting systems :4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
- Higher order logic theorem proving and its applications :8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
- Distributed Algorithms
- Information Management in Computer Integrated Manufacturing
- Image Analysis and Processing
- Field-Programmable Logic & Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29-September 1, 1995, Proceedings, Vol. XII
- Principles and Practice of Constraint Programming - Cp '95
- Quantitative evaluation of computing and communication systems :8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Co
- Database & Expert Systems Applications: 6th International Conference, DEXA '95, London, United Kingdom, September 4-8, 1995, Proceedings, Vol. XV
- Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Lyon, France, September 4-6, 1995, Proceedings, Vol. X
- Static Analysis
- Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 1994: Selected Papers
- Memory Management
- Correct Hardware Design and Verification Methods
- Spatial Information Theory: A Theoretical Basis for GIS: International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings
- Object representation in computer vision :International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994 : proceedings
- Complexity of Simple Computer Architectures
- Types for Proofs and Programs
- Hybrid systems II
- Computer Science Today: Recent Trends and Developments
- Disconnected Operation in a Distributed File System
- Automated Modelling of Physical Systems
- Software Configuration Management: ICSE SCM-4 & SCM-5 Workshops, Selected Papers
- Integrity Primitives for Secure Information Systems: Final RIPE Report of RACE Integrity Primitives Evaluation
- Fast software encryption :second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings
- KORSO :methods, languages, and tools for the construction of correct software : final report
- Case-Based Reasoning: Proceedings; Research & Development: First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995
- SOFSEM `95 Theory & Practice of Informatics: Proceedings of the 22nd Seminar on Current Trends in Theory & Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995
- Spatial Representation & Motion Planning
- Human-Computer Interaction: 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995: Selected Papers
- Graph-Theoretic Concepts in Computer Science: Twenty-First International Workshop, WG'95, Aachen, Germany, June 20-22, 1995. Proceedings
- Network and Operating Systems Support for Digital Audio and Video
- Tools & Algorithms for the Construction & Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers
- Progress in Case-Based Reasoning: First United Kingdom Workshop, Salford, UK, January 1995, Proceedings
- Functional Programming Languages in Education: Proceedings, First International Symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995
- Algorithms, concurrency, and knowledge :1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings
- Image analysis applications and computer graphics :Third International Computer Science Conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings
- Cryptography and Coding
- Foundations of Software Technology & Theoretical Computer Science: Proceedings of 15th Conference, Bangalore, India, December 18-20, 1995
- Graph Drawing: Proceedings, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995
- Cryptography: Policy and Algorithms
- Partial-Order Methods for the Verification of Concurrent Systems
- Languages & Compilers for Parallel Computing: Proceedings of 8th International Workshop, LCPC 95, Columbus, Ohio, August 1995
- Constraint Databases & Applications: Esprit WG Contessa Workshop, Friedrichshafen, Germany, September 8-9, 1995: Proceedings
- Trends in Natural Language Generation - An Artificial Intelligence Perspective
- Applied parallel computing :computations in physics, chemistry, and engineering science : second international workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
- Adaption & Learning in Multi-Agent Systems: IJCAI'95 Workshop, Montreal, Canada, August 21, 1995, Proceedings
- STACS, `96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996: Proceedings
- Time Structures: Formal Description & Algorithmic Representation
- Logic Program Synthesis & Transformation: 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995: Proceedings
- Extensions of Logic Programming
- FME '96, Industrial Benefit & Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, U. K., March 18-22, 1996: Proceedings
- Term Indexing
- Communication & Cooperation in Agent Systems: A Pragmatic Theory
- Advances in database technology--EDBT '96 :5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996 : proceedings
- Programming Languages & Systems, ESOP '96: Proceedings of the 6th European Symposium on Programming, Link Oping, Sweden, April 22-24, 1996
- Trees in Algebra & Programming - CAAP '96: 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996, Proceedings
- Towards Evolvable Hardware
- Artificial evolution :European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers
- Computer Vision, ECCV '96: Fourth European Conference on Computer Vision, Cambridge, UK, April 14-18, 1996 Proceedings, Vol. 1
- Computer Vision - Eccv '96
- Hybrid systems III :verification and control
- Parallel symbolic languages and systems :International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings
- Applications of Multi-Agent Systems
- Graph Grammars and Their Application to Computer Science
- Multimedia, Hypermedia, & Virtual Reality: Models, Systems, & Applications, Vol. 107
- Studies of Software Design: ICSE '93 Workshop, Baltimore Maryland, U. S. A., May 17-18, 1993, Selected Papers, Vol. 107
- Foundations of Intelligent Systems
- Evaluating Natural Language Processing Systems: An Analysis & Review, Vol. 108
- Practical Reasoning: International Conference on Formal & Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 1996, Proceedings, Vol. 108
- Intelligent Tutoring Systems: Third International Conference, Its '96 Montreal Canada, June 12-14 1996, Proceedings, Vol. 108
- Bounded Incremental Computation
- Computing and Combinatorics
- Computer science logic :9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Advances in Databases: 14th British National Conference on Databases, Edinburgh, Scotland United Kingdom, July 1996 - Proceedings, Vol. 1094
- Algebraic Methodology and Software Technology
- Computer aided verification :8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
- Over-Constrained Systems
- Object-Based Parallel & Distributed Computation: France-Japan Workshop, OBPDC '95, Tokyo
- Partial Evaluation
- Management of Telecommunication Systems and Services
- Concur '96: Concurrency Theory
- Algorithms - ESA '96 :Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings
- Programming languages :implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
- Object Representation in Computer Vision: ECCV '96 International Workshop, Cambridge, U. K., April 13-15, 1996 - Proceedings
- Computer Security - Esorics 96
- Applied Computational Geometry. Towards Geometric Engineering
- Dependable computing--EDCC-2 :second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings
- Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 - Proceedings
- Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, Sbia '96, Curitiba, Brazil,
- Trends in Distributed Systems: Corba & Beyond - International Workshop Treds '96, Aachen, Germany, October 1-2, 1996 : Proceedings
- Advances in Cryptology - Asiacrypt '96
- Automatic ambiguity resolution in natural language processing :an empirical approach
- Efficient Visual Recognition Using the Hausdorff Distance
- Information Hiding
- Sofsem `96: Theory & Practice of Informatics: 23rd Seminar on Current Trends in Theory & Practice of Informatics, Milovy, Czech Republic, November 1996: Proceedings
- The Design of Intelligent Agents
- Foundations of Software Technology and Theoretical Computer Science
- Optimization of SQL Queries for Parallel Machines
- Database Issues for Data Visualization Vol. XIV: Proceedings of the IEEE Visualization '95 Workshop, Atlanta, Georgia, October 28, 1995, Vol. 1183
- Multimedia, Telecommunications, and Applications
- Database Theory - ICDT '97 Vol. XIII: Proceedings, 6th International Conference, Delphi, Greece, January 8-10, 1997, Vol. 1186
- Graph Drawing: Symposium on Graph Drawing, GD '96, Berkeley, California, U. S. A., September 18-20, 1996: Proceedings, Vol. 119
- Analysis & Verification of Multiple-Agent Languages: Selected Papers: 5th Lomaps Workshop, Stockholm, Sweden, June 1996, Vol. 119
- Intelligent agents III :agent theories, architectures, and languages : ECAI'96 Workshop ATAL , Budapest, Hungary, August 12-13, 1996 : proceedings
- Graph Theoretic Concepts in Computer Sci
- Hybrid and real-time systems :international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings
- Cooperative Information Agents
- Modular Programming Languages
- Non-Monotonic Extensions of Logic Programming
- Energy Minimization Methods in Computer Vision & Pattern Recognition: International Workshop EMMCVPRAE97, Venice, Italy, May 21-23, 1997, Proceedings, Vol. 122
- Machine Learning: Ecml'97
- Software Configuration Management: ICSE'97 SCM-7 Workshop, Boston, MA, U. S. A., May 18-19, 1997, Proceedings
- Multi-Agent Rationality
- Languages & Compilers for Parallel Computing: 9th International Workshop, LCPC '96, San Jose, California, U. S. A., August 8-10, 1996, Proceedings
- CONCUR'97 - Concurrency Theory: Proceedings 8th International Conference, Warsaw, Poland, July 1-4, 1997
- Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings
- Computer Aided Verification
- Evolvable Systems: From Biology to Hardware
- Structures in Logic & Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht, Vol. 126
- Advances in Spatial Databases: 5th International Symposium, SSD '97, Berlin, Germany, July 15-18, 1997 : Proceedings, Vol. 126
- Combinatorial Pattern Matching
- Randomization and Approximation Techniques in Computer Science
- Advances in Databases
- Coordination Languages & Models: Proceedings, Second International Conference, Coordination '97, Berlin, Germany, September 1-3, 1997, Vol. 128
- Computational Logic and Proof Theory
- Advances in Cryptology - CRYPTO'97: Proceedings, 17th Annual International Cryptology Conference, Santa Barbara, California, August 17-21, 1997
- Algebraic & Logic Programming: Proceedings of the 6th International Joint Conference, ALP '97-HOA '97, Southampton, U. K. September 3-5, 1997, Vol. 129
- Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
- Evolutionary Computing
- Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods
- Algorithm Engineering and Experimentation
- Research & Advanced Technology for Digital Libraries: First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997 : Proceedings, Vol. 132
- Shape, Contour, and Grouping in Computer Vision
- Spatial Information Theory a Theoretical Basis for GIS
- Graph-Theoretic Concepts in Computer Science
- Advances in Document Image Analysis: Proceedings, 1st Brazilian Symposium, BSDIA '97, Curitiba, Brazil, November 2-5, 1997
- Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings, Vol. 134
- Foundations of Software Technology & Theoretical Computer Science: Proceedings of the 17th Conference, Kharagpur, India, December 18-20, 1997
- Algebraic Methodology & Software Technology: Proceedings of the 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Vol. 134
- Algorithms & Computation: 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings
- Mathematics of Program Construction
- From Multimedia Services to Network Services
- Learning and Reasoning with Complex Representations
- Intelligent Agents IV: Agent Theories, Architectures, and Languages
- Multimodal Human-Computer Communication
- Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
- Fundamental Approaches to Software Engineering: 1st International Conference, FASE '98, Held As Part of the Joint European Conferences on Theory & Practice of Software, ETAPS '98, Lisbon, Portugal, Ma
- Compiler Construction
- Tools & Algorithms for the Construction & Analysis of Systems: 4th International Conference, TACAS'98. Held As Part of the Joint European Conference on Theory & Practice of Software, ETAPS'98, Lisbon,
- Services & Visualization: Towards User-Friendly Design: ACoS'98 Visual'98, AIN'97 Selected Papers
- Hybrid Systems: Computation & Control: 1st International Workshop, Berkeley, California, U. S. A., April 13-15, 1998, Proceedings
- Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello" Vietri sul Mare, Salerno, Italy, September 6-13 1997, tutorial lectures
- Graphics Recognition: Algorithms & Systems: 2nd International Workshop, GREC'97, Nancy, France, August 22-23, 1997, Selected Papers
- B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedin
- Machine Learning - ECML-98: Proceedings 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998
- Audio System for Technical Readings
- Reliable Software Technologies - Ada Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppwala, Sweden, June 8-12, 1998, Proceedings, Vol. 141
- Computer Science Logic: 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected Papers, Vol. 141
- Advances in Artificial Intelligence
- Automated Deduction CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings, Vol. 142
- Mathematics of Program Construction
- Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services
- Cooperative Information Agents II: Learning, Mobility & Electronic Commerce for Information Discovery in the Internet - Second International Workshop, CIA '98, Paris, France, July 4-7, 1998. Proceedin
- Online Algorithms
- Approximation Algorithms for Combinatorial Optimization
- Combinatorial Pattern Matching
- Conceptual Structures: Theory, Tools & Application: Proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-14, 1998
- Applications of Uncertainty Formalisms
- Solving Irregularly Structured Problems in Parallel
- Advances in Cryptology - CRYPTO `98: 18th Annual International Cryptology Conference, Santa Barbara, California, U. S. A., August 23-27, 1998, Proceedings
- Financial Cryptography: Second International Conference, FC '98, Anguilla, British West Indies, February 23-25, 1998: Proceedings
- Logic Programming and Knowledge Representation
- Artificial Intelligence: Proceedings of the 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998
- Interactive Distributed Multimedia Systems and Telecommunication Services
- Computer Security - ESORICS 98: Proceedings of the 5th European Symposium on Research in Computer Security, Louvain-la-Nuevee, Belgium, September 16-18, 1998, Vol. 148
- PLILP/ALP'98: Proceedings of the 10th International Symposium, PLILP '98: Held Jointly with the 6th International Conference, ALP '98, Pisa, Italy, September, 1998
- Recent Advances in Parallel Virtual Machine and Message Passing Interface
- Software Process: Principles, Methodology, and Technology
- Quantum Computing and Quantum Communications: First NASA International Conference, Qcqc '98, Palm Springs, California, USA, February 17-20, 1998: Sele
- Types for Proofs and Programs
- Advances in Artificial Intelligence
- Community Computing and Support Systems: Social Interaction in Networked Communities
- Formal Methods in Computer Aided Design: Proceedings of the 2nd International Conference, FMCAD '98, Palo Alto, CA, U. S. A., November 4-6, 1998
- Formal Syntax and Semantics of Java
- Mathematical Research Today & Tomorrow: Viewpoints of 7 Fields Medalists - Lectures Given at the Institut d'Estudis Catalans, Barcelona, Spain, June, 1991
- Theory Reasoning in Connection Calculi
- State of the Art in Applied Cryptography: Course on Computer Security & Industrial Cryptography, Leuven, Belgium, June 3-6, 1997, Revised Lectures, Vol. 152
- Design of Survivable Networks
- Multi-Agent Systems and Agent-Based Simulation: First International Workshop, Mabs '98, Paris, France, July 1998: Proceedings
- Co-Ordination in Artificial Agent Societies: Social Structures & Its Implications for Autonomous Problem-Solving Agents
- Compositionality: The Significant Difference
- Modelling and Motion Capture Techniques for Virtual Environments
- Advances in Computing Science - Asian'98
- Interacting code motion transformations :their impact and their complexity
- Applied Parallel Computing: Large Scale Scientific & Industrial Problems, Vol. 154
- Computer Vision Systems: First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999, Proceedings
- Multi-Agent Systems: Theories, Languages, and Applications: 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Qld.,
- Learning Robots
- Graph Drawing
- Compiling Natural Semantics
- Practical Aspects of Declarative Languages
- Advances in Database Technologies: Er 98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-
- Active, Real-Time, and Temporal Database Systems
- Advanced Multimedia Content Processing: First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings
- Intelligent Agents V. Agents Theories, Architec- Tures, and Languages
- Selected Areas in Cryptography: 5th Annual International Workshop, SAC '98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings
- Parallel Computation: 4th International Acpc Conference Including Special Tracks on Parallel Numbers (Parsum'99) and Parallel Computing in I
- Logic-Based Program Synthesis & Transformation: 8th International Workshop, LOPSTR '98, Manchester, U. K. June 15-19, 1998, Selected Papers
- Public Key Cryptography
- Lectures on Data Security
- Stacs 99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 1999: Proceedings
- Interactive Multimedia Documents: Modeling, Authoring, and Implementation Experiences
- Conceptual Modeling: Current Issues & Future Directions
- Fuzzy Logic in Artificial Intelligence: Ijcai'97 Workshop, Nagoya, Japan, August 1997, Selected Papers
- Discrete Geometry for Computer Imagery: 8th International Conference, Dgci '99, Marne-La-Vallee, France, March 1999: Proceedings
- Hybrid Systems: Computation and Control: Second International Workshop, Hscc '99, Ber En Dal, the Netherlands, March 1999: Proceedings
- Weighted Approximation with Varying Weight
- Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading, Amet-98, Minneapolis, MN, USA, May 10th, 1998,
- Vector and Parallel Process--Vecpar '98: Third International Conference, Porto, Portugal, June 1998: Selected Papers and Invited Talks
- Compiler Construction: 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Pr
- Fundamental Approaches to Software Engineering: Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'99, Amsterdam, The Neth
- Foundations of Software Science & Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'99, Amster
- Tools & Algorithms for the Construction of Analysis of Systems Vol. 1579: Proceedings of the 5th International Conference, TACAS-99, Held as Part of the Joint European Conferences on Theory & Practice
- Interoperating Geographic Information Systems: Second International Workshop, Interop'99, Zurich, Switzerland, March 10-12, 1999: Proceeings
- Logical Aspects of Computational Linguistics
- View Synthesis Using Stereo Vision
- Computer Science Logic: 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, No. 1584
- Information Security and Privacy: 4th Australasian Conference, Acisp '99, Wollongong, Nsw, Australia, April 7-9, 1999: Proceedings
- Real and Etale Cohomology
- Transition to Chaos in Classical and Quantum Mechanics
- Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt '98, Lisbon, Portugal, April 2-4, 1998: Selected Papers
- World Wide Web & Databases: EDBT Workshop WebDB'98, Valencia, Spain, March 27-28, 1998, Selected Papers
- Premo: A Framework for Multimedia Middleware: Specification, Rationale, and Java Binding
- Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1999, Selected Papers
- Evolutionary Image Analysis, Signal Processing & Telecommunications: First European Workshop, EvolASP '99 & EuroEctTel '99 Goteborg, Sweden, May 28-29, 1999, Proceedings, No. 1596
- Nearly Projective Boolean Algebras
- Intelligence in Services & Networks: Paving the Way for an Open Service Market, No. 1597
- Genetic Programming: 2nd European Workshop, EuroGP'99, Goteborg, Sweden, May 26-27, 1999, Proceedings
- Network-Based Parallel Computing: Communication, Architecture, and Applications: Third International Workshop, Canpc'99, Orlando, Florida, USA, Januar
- Secure Internet Programming
- Application of Petri Nets to Communication Networks
- Superconvergence in Galerkin Finite Element Methods, Vol. XI
- Advanced Functional Programming: Third International School, Afp '98, Braga, Portugal, September 12-19, 1998: Revised Lectures
- Dynamical Systems: Lectures Given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Montecatini Terme, Italy, June 13-22, 1994
- Foundations of Intelligent Systems
- Introduction to Analysis on Wiener Space, Vol. X
- Information Processing in Medical Imaging: 16th International Conference, Ipmi'99, Visegrad, Hungary, June 28 - July 2, 1999, Proceedings
- Regularity Problem for Quasilinear Elliptic & Parabolic Systems, Vol. XXI
- Cycles & Hypersurface Singularities
- High Performance Computing: Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings, No. 1615
- Classifying Spaces & Classifying Topoi, Vol. VII
- Meta-Level Architectures and Reflection
- Artificial Intelligence in Medicine
- Automated Reasoning with Analytic Tableaux and Related Methods
- Sums and Gaussian vectors
- The Unified Modeling Language: UML '98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998: Proceedings
- Knowledge Acquisition, Modeling and Management
- Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
- Focusing Solutions for Data Mining: Analytical Studies and Experimental Results in Real-World Domains
- Computational Intelligence. Theory and Applications
- Advanced Information Systems Engineering: 11th International Conference, CAISE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings
- Ecoop'99: Object Oriented Programming: 13th European Conference, Lisbon, Portugal, June 1999: Proceedings
- Multimedia Applications, Services and Techniques - Ecmast'99
- Agent-Oriented Programming
- Inductive Logic Programming
- Fast Software Encryption: 6th International Workshop, Fse'99, Rome, Italy, March 1999: Proceedings
- Integer Optimization by Local Search: A Domain-Independent Approach
- Integrable Systems in the Realm of Algebraic Geometry
- Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, Iccs'99, Blacksburg, Va, USA, July 12-
- Applied Formal Methods - FM-Trends 98
- Twin Buildings & Applications to S-Arithmetic Groups
- Automata, Languages and Programming
- Moduli of Abelian Varieties, Vol. VI
- Combinatorial Pattern Matching
- Models and Tools for Managing Development Processes
- Transcendental Methods in Algebraic Geometry: Lectures Given at the 3rd Session of the Centro Internazionale Matematico Estivo (C. I. M. E.) Held in Cetraro, Italy, July 4-12, 1994, Vol. 164
- Multi-Agent Systems Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw'99: Valencia, Spain, June/July, 1
- Next Generation Information Technologies and Systems
- Case-Based Reasoning Research and Development
- Advances in Spatial Databases: 6th International Symposium, Ssd'99: Hong Kong, China, July 20-23, 1999: Proceedings
- Cooperative Information Agents III
- Branched Standard Spines of 3-Manifolds, Vol. 165
- Active Networks
- Energy Minimization Methods in Computer Vision and Pattern Recognition: Second International Workshop, Emmcvpr '99, York, UK, July 1999: Proceedings
- Document Analysis Systems: Theory and Practice: Third Iapr Workshop, Das'98, Nagano, Japan, November 1998: Selected Papers
- Languages and Compilers for Parallel Computing
- Types for Proofs and Programs
- Job Scheduling Strategies for Parallel Processing
- Automata Implementation
- Viscosity Solutions and Applications
- Symplectic Manifolds with No Kahler Structure, Vol. 166
- Parallel Computing Technologies: 5th International Conference, Pact-99, St. Petersburg, Russia, September 6-10, 1999: Proceedings
- Algorithms and Data Structures: 6th International Workshop, Wads'99, Vancouver, Canada, August 11-14, 1999, Proceedings
- Perturbation Theory for the Schrodinger Operator with a Periodic Potential, Vol. 166
- Concur'99 Concurrency Theory
- Ideal Spaces
- Graph-Theoretic Concepts in Computer Science
- Advances in Cryptology - Crypto '99: 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 Proceedings
- Dependable Computing, Edcc-3: Third European Dependable Computing Conference, Prague, Czech Republic, September 1999: Proceedings
- Algorithm Engineering: 3rd International Workshop, Wae'99 London, UK, July 19-21, 1999 Proceedings
- Automated Deduction in Geometry: Second International Workshop, Adg '98, Beijing, China, August 1998: Proceedings
- Cooperative Buildings: Integrating Information, Organizations and Architecture: Second International Workshop, Cobuild '99, Pittsburgh, USA,
- Randomization, Approximation, and Combinatorial Optimization: Algorithms and Techniques: Third International Workshop on Randomization and Approximati
- Projective Modules and Complete Intersections
- Mathematical Foundations of Computer Science 1999: 24th International Symposium, Mfcs'99 Szklarska Poreba, Poland, September 6-10, 1999: Proceedings
- Field-Programmable Logic and Applications: 9th International Workshop, Fpl '99, Glasgow, UK, August 1999: Proceedings
- Advances in Artificial Life: 5th
- Linear Pro-P-Groups of Finite Width
- System Configuration Management
- Data Warehousing and Knowledge Discovery
- Spatio-Temporal Database Management
- Practical Aspects of Spin Model-Checking: 6th International Workshop, Spin'99, Held as FM'99 User Group Meeting, Toulouse, France, September 21 and 24
- Scale-Space Theories in Computer Vision
- Computer Science Logic
- Internet Programming Languages: Iccl'98 Workshop, Held in Chicago, Il, USA, May 13, 1998: Proceedings
- Software Engineering - Esec/Fse '99
- Computer Analysis of Images and Patterns: 8th International Conference, Caip'99, Ljubliana, Slovenia, September 1-3, 1999: Proceedings
- Advances in Databases and Information Systems
- Text, Speech, and Dialogue: Second International Workshop Tsd'99, Plzen, Czech Republic, September 13-17, 1999: Proceedings
- Progress in Artificial Intelligence
- Computer Safety, Reliability, and Security: 18th International Conference, Safecomp '99, Toulouse, France, September 27-29, 1999: Proceedings
- Intelligent Agents for Telecommunication Applications: Third International Workshop, Iata'99, Stockholm, Sweden, August 1999: Proceedings
- Active Technologies for Network and Service Management: 10th Ifip/IEEE International Workshop on Distributed Systems, Operations and Management, Dsom'
- KI-99: Advances in Artificial Intelligence
- Principles and Practice of Declarative Programming: International Conference Ppdp'99, Paris, France, September/October 1999: Proceedings
- Correct Hardware Design and Verification Methods
- Principles of Data Mining and Knowledge Discovery: Third European Conference, Pkdd '99, Prague, Czech Republic, September 1999: Proceedings
- Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999: Proceedings
- Handheld and Ubiquitous Computing: First International Symposium, Huc '99, Karlsruhe, Germany, September 1999: Proceedings
- Correct System Design: Recent Insights and Advances
- New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: 7th International Workshop, Rsfdgrc'99, Yamaguchi, Japan, November 1999: Proce
- Principles and Practice of Constraint Programming-Cp'99: 5th International Conference, Cp99, Alexandria, Va, USA, October 11-14, 1999: Proceedings
- Information Extraction
- Machine Learning and Data Mining in Pattern Recognition
- Cryptographic Hardware and Embedded Systems: First International Workshop, Ches '99, Worchester, Ma, USA, August 1999: Proceedings
- Interactive Distributed Multimedia Systems and Telecommunication Services: 6th International Workshop, Idms '99, Toulouse, France, October 12-15, 1999
- Discovery Science
- Semiclassical Analysis for Diffusions and Stochastic
- Sensor Based Intelligent Robots: International Workshop, Dagstuhl Castle, Germany, September 28-October 2, 1998: Selected Papers
- Advances in Conceptual Modeling: Er'99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World
- Computing in Object-Oriented Parallel Environments: Third International Symposium, Iscope 99, San Francisco, CA, USA, December 1999: Proceedings
- Approaches to Intelligent Agents
- Sci-Scalable Coherent Interface: Architecture and Software for HGH-Performance Compute Clusters
- Incremental Speech Translation
- Gesture-Based Communication in Human Computer Interaction: International Gesture Workshop, GW '99, GIF-Sur-Yvette, France, March 17-19, 1999: Proceedi
- Secure Networking -- Cqre (Secure) '99: International Exhibition and Congress Cqre'99, Dusseldorf, Germany, November 30-December 2, 1999: Proceedings
- Algorithms and Computation: 10th International Symposium, Isaac'99, Chennai, India, December 16-18, 1999; Proceedings
- Advances in Computing Science--Asian '99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999: Proceedings
- Object-Oriented Technology: Ecoop'99 Workshop Reader: Ecoop'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999: Proceedings
- Grading Knowledge: Extracting Degree Information from Texts
- High Performance Computing--HIPC'99: 6th International Conference, Calcutta, India, December 1999: Proceedings
- Cryptography and Coding: 7th Ima Conference, Cirencester, UK, December 20-22, 1999: Proceedings
- Advanced Topics in Artificial Intelligence: 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999
- Mobile Data Access: First International Conference, Mda '99, Hong Kong, China, December 1999: Proceedings
- Internet Applications: 5th International Computer Science Conference, Icsc '99, Hong Kong, China, December 1999: Proceedings
- Introduction to Algebraic Independence Theory
- Learning Software Organizations: Methodology and Applications: 11th International Conference on Software Engineering and Knowledge Engineering, Seke'9
- Intelligent Agents VI: Agent Theories, Architectures, and Languages: 6th International Workshop (Atal'99), Orlando, Florida, USA,
- Selected Areas in Cryptography
- Formal Models of Agents
- Foundations of Information and Knowledge Systems
- Discrete and Computational Geometry: Second Japanese Conference, Jcdcg'98, Tokyo, Japan, December 9-12, 1998, Revised Papers
- Graph Grammars and Their Application to Computer Science: 6th International Workshop, Paderborn, Germany, November 16-20, 1998: Selected Papers
- Limit Theorems for Markov Chains and Stochastic Properties of Dynamical Systems by Quasi-Compactness
- Holomorphic Q Classes
- Information Hiding
- Performance Evaluation: Origins and Directions
- Transactions and Database Dynamics
- Telecommunications and It Convergence: Towards Service Evolution: 7th International Conference on Intelligence in Services and Networks: Is&n 2000, At
- Hybrid Neural Systems
- Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99, Kerkrade, the Netherlands, September 1-3, 1999: Pr
- Software Process Technology: 7th European Workshop, Ewspt 2000, Kaprun, Austria, February 21-25, 2000: Proceedings
- Programming Languages and Systems: 9th European Symposium on Programming, Esop 2000, Held as Part of the Joint European Conference on Theory and Pract
- Fundamental Approaches to Software Engineering
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Performance Evaluation. Modelling Techniques and Tools
- Information Security and Cryptology - Icisc'99: Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings
- Agent Mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems
- Advanced Information Systems Engineering: 12th International Conference, Caise 2000, Stockholm, Sweden, June 5-9, 2000: Proceedings
- Hybrid Systems: Computation and Control
- Micai 2000: Advances in Artificial Intelligence
- Middleware 2000
- Security Protocols: 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings
- Computer Aided Systems Theory - Eurocast'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austr
- Generative and Component-Based Software Engineering: First International Symposium, Gcse '99, Erfurt, Germany, September 28-30, 1999: Revised Papers
- Genetic Programming
- Real-World Applications of Evolutionary Computing: Evoworkshops 2000: Evoiasp, Evoscondi, Evotel, Evostim, Evorob, and Evoflight, Edinburgh, Scotland,
- Intelligent Systems and Soft Computing
- Knowledge Discovery and Data Mining. Current Issues and New Applications
- Business Process Management
- Advances in Cryptology - Eurocrypt 2000
- Compiler Optimizations for Scalable Parallel Systems
- Recent Advances in AI Planning
- Advances in Robot Learning
- Learning Classifier Systems
- Logic-Based Program Synthesis and Transformation
- Smart Card. Research and Applications
- Advances in Artificial Intelligence: Proceedings of the 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI
- Static Analysis
- Application and Theory of Petri Nets 2000
- Sequence Learning: Paradigms, Algorithms, and Applications
- Advances in Databases: 17th British National Conference on Databases, Bncod 17, Exeter, UK, July 3-5, 2000: Proceedings
- Rewriting Techniques and Applications
- Web Usage Analysis and User Profiling
- Algorithmic Number Theory
- Intelligent Tutoring Systems: 5th International Conference, Its 2000, Montreal, Canada, June 19-23, 2000: Proceedings
- Product Focused Software Process Improvement
- Information Security and Privacy
- Software Reuse: Advances in Software Reusability: 6th International Conference, Icsr-6, Vienna, Austria, June 27-29, 2000: Proceedings
- Reliable Software Technologies ADA-Europe 2000
- Web-Age Information Management: First International Conference, Waim 2000, Shanghai, China, June 2000: Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods
- Combinatorial Pattern Matching
- Algorithm Theory Swat 2000: 7th Scandinavian Workshop on Algorithm Theory
- Robocup-99: Robot Soccer World Cup III
- Multiple Classifier Systems: First International Workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000: Proceedings
- Computing and Combinatorics
- Index Structures for Data Warehouses
- Cooperative Information Agents IV: The Future of Information Agents in Cyberspace: 4th International Workshop, CIA 2000, Boston, Ma, USA, July 7-9, 20
- Computer Science Logic: 14th International Workshop, CSL 2000, 9th Annual Conference of the Eacsl, Fischbachau, Germany, August 2000: Proceedi
- New Trends Constraints: Joint Ercim Compulog-Net Workshop, Paphos, Cyprus, Greece, October 1999: Selected Proceedings
- Inductive Logic Programming: 10th International Conference, Ilp 2000, London, UK, July 2000: Proceedings
- Implementation of Functional Languages
- Theorem Proving in Higher Order Logics
- Data Warehousing and Knowledge Discovery
- Electronic Commerce and Web Technologies: First International Conference, EC-Web 2000, London, UK, September 2000 Proceedings
- Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users, York, UK, August 28-
- Algorithms - ESA 2000: 8th Annual European Symposium, Saarbrucken, Germany, September 5-8, 2000: Proceedings
- Advances in Cryptology - Crypto 2000
- Design and Applications of Intelligent Agents: Third Pacific Rim International Workshop on Multi-Agents, Prima 2000: Melbourne, Australia, August 28-2
- Agent Systems, Mobile Agents, and Applications
- Vision Algorithms: Theory and Practice
- Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems: International Workshop on Infrastructure for Scalable Multi-Agent Sy
- Theory and Application of Diagrams: First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000: Proceedings
- Trends in Distributed Systems: Towards a Universal Service Market
- Grammatical Inference: Algorithms and Applications: 5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000: Proceed
- Adaptive Hypermedia and Adaptive Web-Based Systems: International Conference, Ah 2000, Trento, Italy, August 28-30, 2000: Proceedings
- Computer Security - Esorics 2000
- Advances in Case-Based Reasoning: 5th European Workshop, Ewcbr 2000, Trento, Italy, September 6-9, 2000: Proceedings
- Articulated Motion and Deformable Objects
- Text, Speech and Dialogue: Third International Workshop, Tsd 2000, Brno, Czech Republic, September 13-16, 2000: Proceedings
- Open Hypermedia Systems and Structural Computing
- Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, Aimsa 2000, Varna, Bulgaria, September 20-23, 20
- Coordination Languages and Models
- Recent Advances in Parallel Virtual Machine and Message Passing Interface
- Principles of Data Mining and Knowledge Discovery
- Job Scheduling Strategies for Parallel Processing: Ipdps 2000 Workshop, Jsspp 2000, Cancun, Mexico, May 1, 2000: Proceedings
- Approximation Algorithms for Combinatorial Optimization: Third International Workshop, Approx 2000, Saarbrucken, Germany, September 5-8, 2000: Proceed
- Distributed Computing
- Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, Lcr 2000, Rochester, NY, USA, May 25-27, 2000: Selected
- Issues in Agent Communication
- Integrated Circuit Design: Power and Timing Modeling, Optimization, and Simulation: 10th International Workshop, Patmos 2000, Gottingen, Germany,
- Conceptual Modeling for E-Business and the Web
- Quality of Future Internet Services
- Semantics, Applications, and Implementation of Program Generation
- Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000, Pune, India, September 20-22, 2000
- Handheld and Ubiquitous Computing: Second International Symposium, Huc 2000 Bristol, UK, September 25-27, 2000 Proceedings
- Advances in Visual Information Systems
- Envisioning Machine Translation in the Information Future: 4th Conference of the Association for Machine Translation in the Americas, Amta 2000, Cuern
- Self-Adaptive Software: First International Workshop, Iwsas 2000, Oxford, UK, April 17-19, 2000: Revised Papers
- Active Networks
- Computer Safety, Reliability, and Security: 19th International Conference, Safecomp 2000, Rotterdam, the Netherlands, October 24-27, 2000 Proceedings
- Objects and Databases
- Integrated Formal Methods
- Interactive Systems. Design, Specification, and Verification
- Applied Parallel Computing: New Paradigms for HPC in Industry and Computing Proceedings: 5th International Workshop, Para 2000, Bergen, Norway, Ju
- Advances in Artificial Intelligence
- Discrete Geometry for Computer Imagery
- Formal Methods in Computer-Aided Design
- Logic Programming and Automated Reasoning
- Types for Proofs and Programs
- Agent-Oriented Software Engineering: First International Workshop, Aose 2000, Limerick, Ireland, June 2000: Revised Papers
- IT-Security and Privacy: Design and Use of Privacy-Enhancing Security Mechanisms
- Natural Language Processing and Information Systems
- Services Management in Intelligent Networks: 11th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2000, Austi
- Advances in Computing Science - Asian 2000: 6th Asian Computing Science Conference, Penang, Malaysia, November 2000: Proceedings
- Object-Oriented Technology: Ecoop 2000 Workshop Reader
- Databases in Networked Information Systems
- Discovery Science
- Algorithms and Computation
- Grid Computing--Grid 2000: First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000: Proceedings
- Engineering Societies in the Agents World: First International Workshop, Esaw 2000, Berlin, Germany, August 21, 2000: Revised Papers
- Database Theory--ICDT 2001: 8th International Conference, London, UK, January 4-6, 2001: Proceedings
- Fast Software Encryption
- Vector and Parallel Processing--Vecpar 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000: Selected Papers and Invited Talks
- Algorithm Engineering
- Intelligent Data Engineering & Automated Learning Ideal 2000: Data Mining, Financial Engineering, & Intelligent Agents
- Graph Drawing
- Quality of Service in Multiservice IP Networks
- Practical Aspects of Declarative Languages
- Agent Mediated Electronic Commerce: The European Agentlink Sig Amec Perspective
- Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, Pkc 2001 Cheju Island, Korea, February
- Evolutionary Multi-Criterion Optimization: First International Conference, Emo 2001, Zurich, Switzerland, March 2001: Proceedings
- Advances in Learning Classifier Systems
- Robot Vision
- Engineering Distributed Objects
- Informatics
- Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
- Constraints in Computational Logics: Theory and Applications
- Computational Linguistics and Intelligent Text Processing
- Rough Sets and Current Trends in Computing
- Stacs 2001: 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 2001: Proceedings
- Selected Areas in Cryptography
- Information Security and Cryptology: Icisc 2000, Third International Conference, Seoul, Korea, December 8-9, 2000: Proceedings
- Web Engineering
- Languages and Compilers for Parallel Computing
- Robocup 2000: Robot Soccer World Cup IV
- Progress in Cryptology, CT-Rsa 2001: The Cryptographers' Track at Rsa Conference 2001, San Francisco, CA, USA, April 2001: Proceedings
- Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P
- Advances in Exception Handling Techniques
- Lecture Notes in Computer Science, #2023: Digital Documents: Systems and Principles: 8th International Conference on Digital Documents and Electronic Publishing, Ddep 2000, 5th International W
- Drawing Graphs: Methods and Models
- High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, Hips 2001, San Francisco, CA, USA, April 23, 2001: Pro
- Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Softwa
- Programming Languages and Systems: 10th European Symposium on Programming, Esop 2001, Held as Part of the Joint European Conference on Theory and Prac
- Fundamental Approaches to Software Engineering
- Foundations of Software Science and Computation Structures
- Multi-Image Analysis
- E-Commerce Agents
- Advances in Knowledge Discovery and Data Mining
- Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing
- Applications of Evolutionary Computing: Evoworkshops 2001: Evocop, Evoflight, Evoiasp, Evolearn, and Evostim, Como, Italy, April 2001: Proceedings
- Java on Smart Cards: Programming and Security
- Reliable Software Technologies: ADA Europe 2001: 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001. Proceedings
- Performance Engineering: State of the Art and Current Trends
- Network Calculus: A Theory of Deterministic Queuing Systems for the Internet
- Rewriting Techniques and Applications
- Information Assurance in Computer Networks. Methods, Models and Architectures for Network Security
- Programs as Data Objects
- DNA Computing
- Machines, Computations, and Universality
- Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001: Proceedings
- Haptic Human-Computer Interaction
- Visual Form: 4th International Workshop on Visual Form, IWVF-4 Capri, Italy, May 28-30, 2001. Proceedings
- Innovative Internet Computing Systems: International Workshop Iics 2001, Ilmenau, Germany, June 21-22, 2001: Proceedingss
- Automated Deduction in Geometry
- Constraint-Based Agents
- Computers and Games
- Computability and Complexity in Analysis: 4th International Workshop, Cca 2000, Swansea, UK, September 17-19, 2000, Selected Papers
- Computational Biology
- Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000: Proceedings
- Ecoop 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001: Proceedings
- Applications and Theory of Petri Nets 2001
- Software Process Technology: 8th European Workshop, Ewspt 2001, Witten, Germany, June 19-21, 2001: Proceedings
- Sdl 2001: Meeting UML
- Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, Iccbr 2001, Vancouver, BC, Canada, July 30-August
- Information Processing in Medical Imaging
- Automated Reasoning: First International Joint Conference, Ijcar 2001, Siena, Italy, June 18-23, 2001: Proceedings
- Multi-Agent Systems and Applications
- Conditionals in Nonmonotonic Reasoning and Belief Revision
- Implementation and Application of Automata: 5th International Conference, Ciaa 2000, London, Ontario, Canada, July 24-25, 2000: Revised Papers
- Combinatorial Pattern Matching
- Multiple Classifier Systems: Second International Workshop, MCS 2001, Cambridge, UK, July 2-4, 2001: Proceedings
- Advances in Databases
- Discrete and Computational Geometry
- Non-Standard Inferences in Description Logics
- Artificial Intelligence in Medicine: 8th Conference on AI in Medicine in Europe, Aime 2001, Cascais, Portugal, July 1-4, 2001: Proceedings
- Computer Aided Verification
- Balancing Reactivity and Social Deliberation in Multi-Agent Systems
- Openmp Shared Memory Parallel Programming: International Workshop on Openmp Applications and Tools, Wompat 2001, West Lafayette, In, USA, July 30-31,
- The Human Society and the Internet: Internet-Related Socio-Economic Issues, First International Conference Human.Society@internet 2001, Seoul, Korea,
- Scale-Space and Morphology in Computer Vision
- Computing and Combinatorics
- User Modeling 2001: 8th International Conference, Um 2001, Sonthofen, Germany, July 2001: Proceedings
- Data Warehousing and Knowledge Discovery: Third International Conference, Dawak 2001, Munich, Germany, September 5-7, 2001: Proceedings
- Data Warehousing and Knowledge Discovery
- Cognitive Technology: Instruments of Mind: 4th International Conference, CT 2001, Warwick, UK, August 2001: Proceedings
- Advances in Web-Age Information Management
- Information Security and Privacy: 6th Australian Conference, Acisp 2001, Sydney, Australia, July 11-13, 2001: Proceedings
- Conceptual Structures: Broadening the Base
- Advances in Spatial and Temporal Databases: 7th Internaitonal Symposium, Sstd 2001, Redondo Beach, CA, USA, July 12-15, 2001: Proceedings
- Machine Learning and Data Mining in Pattern Recognition
- Computer Analysis of Images and Patterns: 9th International Conference, Caip 2001, Warsaw, Poland, September 5-7, 2001: Proceedings
- Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001: Proceedings
- Parallel Computing Technologies
- Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Co
- Recent Advances in Parallel Virtual Machine and Message Passing Interface
- Security Protocols
- Mathematical Foundations of Computer Science 2001: 26th International Symposium, Mfcs 2001, Marianske Lazne, Czech Republic, August 2001: Proceedings
- Algorithm Engineering: 5th International Workshop, Wae 2001, Aarhus, Denmark, August 28-21, 2001: Proceedings
- Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001, Livingston, Scotland, UK, Septe
- A Generative Theory of Shape
- Advances in Databases and Information Systems
- Theorem Proving in Higher Order Logics
- Quality of Future Internet Services
- Inductive Logic Programming
- Interactive Distributed Multimedia Systems
- Cryptographic Hardware and Embedded Systems - Ches 2001
- Text, Speech, and Dialogue: 4th International Conference, Tsd 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001: Proceedings
- Machine Learning: Ecml 2001
- Principles of Data Mining and Knowledge Discovery
- Evolutionary Trends of the Internet
- Foundations of Security Analysis and Design
- Cooperative Information Systems: 9th International Conference, Coopis 2001, Trento, Italy, September 5-7, 2001: Proceedings
- KI 2001: Advances in Artificial Intelligence
- AI*Ia 2001: Advances in Artificial Intelligence
- Advances in Learning Software Organizations: Third International Workshop, Lso 2001, Kaiserslautern, Germany, September 12-13, 2001: Proceedings
- Generative and Component-Based Software Engineering
- Computer Aided Systems Theory - Eurocast 2001
- Large-Scale Scientific Computing
- Distributed Computing
- Digital Earth Moving: First International Symposium, Dem 2001, Manno, Switzerland, September 2001: Proceedings
- Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001: Proceedings
- Multimedia Databases and Image Communication
- Generative and Component-Based Software Engineering
- Computer Safety, Reliability and Security: 20th International Conference, Safecomp 2001, Budapest, Hungary, September 26-28, 2001: Proceedings
- Product Focused Software Process Improvement
- Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001: Proceedings
- Metalevel Architectures and Separation of Crosscutting Concerns
- Technologies for E-Services
- Self-Stabilizing Systems
- Information Security: 4th International Conference, Isc 2001, Malaga, Spain, October 1-3, 2001: Proceedings
- Ubicomp 2001: Ubiquitous Computing: Third International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings
- Theoretical Computer Science
- Engineering Societies in the Agents World II
- Graph-Theoretic Concepts in Computer Science
- Spatial Information Theory. Foundations of Geographic Information Science
- Active Networks
- Medical Image Computing and Computer-Assisted Intervention - Miccai 2001: 4th International Conference Utrecht, the Netherlands, October 14-17, 2001.
- Evolvable Systems: From Biology to Hardware
- Embedded Software
- Recent Advances in Intrusion Detection
- Automata Implementation
- Management of Multimedia Networks and Services: 4th Ifip/IEEE International Conference, Mmns 2001, Chicago, Il, USA, October/November 2001: Proceeding
- Agent-Oriented Software Engineering II
- Algorithms and Computation
- Discovery Science
- Information and Communications Security
- Multiset Processing
- Cooperative Environments for Distributed Systems Engineering
- Logic Programming
- Sensor Based Intelligent Robots
- Principles and Practice of Constraint Programming - Cp 2001
- Computational Combinatorial Optimization
- Perspectives of System Informatics
- Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science
- Trust in Cyber-Societies
- Logic for Programming, Artificial Intelligence, and Reasoning
- Wavelet Analysis and Its Applications Tang, Y.Y.
- Active Media Technology
- New Frontiers in Artificial Intelligence
- Engineering for Human-Computer Interaction
- Practical Aspects of Declarative Languages
- Selected Areas in Cryptography
- Object Modeling with the Ocl: The Rationale Behind the Object Constraint Language
- Hypermedia: Openness, Structural Awareness, and Adaptivity
- Recent Trends in Algebraic Development Techniques
- Embedded Processor Design Challenges
- Software Visualization: International Seminar, Dagstuhl Castle, Germany, May 2001: Revised Lectures
- On-Line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
- Topics in Cryptology - CT-Rsa 2002
- Advances in Soft Computing - Afss 2002
- Types for Proofs and Programs
- Genetic Programming
- Applications of Evolutionary Computing
- Progress in Discovery Science
- Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
- Isabelle/Hol
- Stacs 2002
- Latin 2002: Theoretical Informatics
- Advances in Database Technology - Edbt 2002
- Information Security and Cryptology - Icisc 2001
- Hybrid Systems: Computation and Control
- Software Product-Family Engineering: 4th International Workshop, Pfe 2001, Bilbao, Spain, October 3-5, 2001: Revised Papers
- Advances in Information Retrieval
- Theoretical Aspects of Computer Science
- Verification, Model Checking, and Abstract Interpretation
- From Theory to Practice in Multi-Agent Systems
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 2000, Revised
- Gesture and Sign Languages in Human-Computer Interaction: International Gesture Workshop, GW 2001, London, UK, April 18-20, 2001: Revised Papers
- Trends in Network and Pervasive Computing Arcs 2002
- Formal and Natural Computing
- Discrete Geometry for Computer Imagery: 10th International Conference, Dgci 2002, Bordeaux, France, April 3-5, 2002: Proceedings
- Programming Constraint Services
- Foundations of Software Science and Computation Structures
- Compiler Construction
- Association Rule Mining
- Frontiers of Combining Systems
- Soft-Ware 2002: Computing in an Imperfect World
- Implementation of Functional Languages
- Micai 2002 Advances in Artificial Intelligence
- Coordination Models and Languages: 5th International Conference, Coordination 2002, York, UK, April 8-11, 2002: Proceedings
- Inference Control in Statistical Databases
- Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002, Callaway Gardens, Ga, USA, April 18-20, 2002: Proceedings
- Software Reuse: Methods, Techniques, and Tools: 7th International Conference, Icsr-7, Austin, TX, USA, April 2002: Proceedings
- Security and Privacy in Digital Rights Management
- Advances in Learning Classifier Systems
- Multi-Agent Systems and Applications II
- Power-Aware Computer Systems
- Advances in Cryptology - Eurocrypt 2002
- Intelligent Agents VIII
- Integer Programming and Combinatorial Optimization
- Financial Cryptography
- DNA Computing
- High-Dimensional Indexing: Transformational Approaches to High-Dimensional Range and Similarity Searches
- Information Networking. Wireless Communications Technologies and Network Applications
- Information Networking. Wireless Communications Technologies and Network Applications: International Conference, Icoin 2002, Cheju Island, Korea, Janu
- Innovative Internet Computing Systems
- Advanced Information Systems Engineering: 14th International Conference, Caise 2002, Toronto, Canada, May 2002: Proceedings
- Software Quality - Ecsq 2002
- Computer Vision - Eccv 2002
- Fast Software Encryption: 8th International Workshop, Fse 2002, Yokohama, Japan, April 2-4, 2002: Proceedings
- Applications and Theory of Petri Nets 2002
- Reliable Software Technologies - ADA-Europe 2002
- Digital Cities II. Computational and Sociological Approaches
- Fast Software Encryption
- Foundations of Intelligent Systems
- Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, Para 2002, Espoo, Finland, June 2002: Proceedings
- Algorithm Theory Swat 2002
- Component Deployment
- Logic Based Program Synthesis and Transformation
- Combinatorial Pattern Matching
- Ecoop 2002 - Object-Oriented Programming
- Computational Learning Theory
- Web Engineering and Peer-To-Peer Computing
- Software Product Lines: Second International Conference, Splc2, San Diego, CA, USA, August 19-22, 2002: Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods
- Next Generation Information Technologies and Systems
- Image and Video Retrieval: International Conference, Civr 2002, London, UK, July 2002: Proceedings
- Information Security and Privacy
- Artificial Intelligence, Automated Reasoning, and Symbolic Computation
- Mathematics of Program Construction
- Computing and Combinatorics
- Pattern Recognition with Support Vector Machines
- Advances in Natural Language Processing
- Graphics Recognition. Algorithms and Applications
- Fme 2002: Formal Methods-Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002: Pro
- Automated Deduction - Cade-18
- Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, Iccs 2002, Borovets, Bulgaria, Jul
- Advances in Data Mining
- Applied Semantics: Advanced Lectures
- Database Programming Languages
- Logic Programming
- Foundations and Applications of Multi-Agent Systems
- Computer Aided Verification
- Computational Logic: Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski
- Algorithm Engineering and Experiments: 4th International Workshop, Alenex 2002, San Francisco, CA, USA, January 4-5. 2002: Revised Papers
- Mobile Human-Computer Interaction
- Intelligent Agents and Multi-Agent Systems
- Pervasive Computing: First International Conference, Pervasive 2002, Za1/4rich, Switzerland, August 26-28, 2002. Proceedings
- Pricai 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan,
- Extreme Programming and Agile Methods - XP/Agile Universe 2002
- Advances in Web-Age Information Management: Third International Conference, Waim 2002, Beijing, China, Augustv2002: Proceedings
- Mathematical Foundations of Computer Science 2002
- Concur 2002 Concurrency Theory
- Algebraic Methodology and Software Technology
- Document Analysis Systems V
- Object-Oriented. Information Systems
- Advances in Object-Oriented Information Systems
- Interactive Markov Chains
- Peer-To-Peer Systems
- Computer Safety, Reliability and Security
- Advances in Databases and Information Systems
- Advances in Web-based Learning
- Groupware: Design, Implementation, and Use
- Functional and Logic Programming
- Artificial Intelligence: Methodology, Systems, and Applications
- Technologies for E-Services
- Pattern Recognition
- Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
- Advances in Information Systems
- UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools
- Algorithms - ESA 2002
- Approximation Algorithms for Combinatorial Optimization
- Ant Algorithms
- Conceptual Modeling for New Information Systems Technologies
- Security Protocols
- Distributed Communities on the Web
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Principles and Practice of Constraint Programming - Cp 2002
- Computer Science Logic
- Recent Advances in Parallel Virtual Machine and Message Passing Interface
- String Processing and Information Retrieval: 9th International Symposium, Spire 2002, Lisbon, Portugal, September 11-13, 2002 Proceedings
- Engineering and Deployment of Cooperative Information Systems
- Languages and Compilers for Parallel Computing: 15th Workshop, Lcpc 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
- Privacy Enhancing Technologies
- Randomization and Approximation Techniques
- Dependable Computing Edcc-4
- Neural Nets
- Generative Programming and Component Engineering
- Embedded Software
- Articulated Motion and Deformable Objects
- Cellular Automata
- Formal Methods and Software Engineering
- Management of Multimedia on the Internet
- Advanced Lectures on Networking
- Ubicomp 2002: Ubiquitous Computing
- Automata, Logics, and Infinite Games: A Guide to Current Research
- Advances in Cryptology - Asiacrypt 2002
- Computer Security -- Escorics 2002
- Graph Transformation
- Management Technologies for E-Commerce and E-Business Applications
- Distributed Computing
- Unconventional Models of Computation
- Eurasia-Ict 2002: Information and Communication Technology
- From Qos Provisioning to Qos Charging
- Web Services, E-Business, and the Semantic Web
- Information and Communications Security
- Protocols and Systems for Interactive and Distributed Multimedia
- Recent Advances in Intrusion Detection: 5th Internatonal Symposium, Raid 2002, Zurich, Switzerland, October 16-18, 2002: Proceedings
- Formal Methods in Computer-Aided Design
- Algorithms and Computation
- Spatio-Temporal Databases: The Chorochronos Approach
- Mobile Agents for Telecommunication Applications: 4th International Workshop, Mata 2002, Barcelona, Spain, October 2002: Proceedings
- Cryptographic Hardware and Embedded Systems - Ches 2002
- Mobile Communications: 7th Cdma International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers
- Biologically Motivated Computer Vision
- Medical Data Analysis
- Graph Drawing
- Formal Techniques for Networked and Distributed Systems - Forte 2002
- Advances in Multimedia Information Processing - Pcm 2002
- Mobile Agents
- Grid Computing - Grid 2002
- Job Scheduling Strategies for Parallel Processing
- Developing an Infrastructure for Mobile and Wireless Systems
- Sofsem 2002: Theory and Practice of Informatics
- Numerical Methods and Applications
- Databases in Networked Information Systems
- Interactive Systems. Design, Specification, and Verification
- Active Networks
- Experimental Algorithmics
- Object-Oriented Technology. Ecoop 2002 Workshop Reader
- Concurrency and Hardware Design
- Advances in Computing Science - Asian 2002: Internet Computing and Modeling, Grid Computing, Peer-To-Peer Computing, and Cluster Computing
- Progress in Cryptology - Indocrypt 2002
- High Performance Computing - HIPC 2002
- Natural Language Processing and Information Systems
- Digital Libraries: People, Knowledge, and Technology
- Fst Tcs 2002: Foundations of Software Technology and Theoretical Computer Science
- Data Mining on Multimedia Data
- Product Focused Software Process Improvement
- Relational Methods in Computer Science
- Practical Aspects of Declarative Languages
- Advances in Informatics
- Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, Wrac 2002, McLean, Va, USA, January 16-18, 2002.
- High Performance Computing for Computational Science - Vecpar 2002
- The Essence of Computation
- Public Key Cryptography-PKG 2003
- DNA Computing
- Distributed Computing
- Database Theory - Icdt 2003
- Graph-Theoretic Concepts in Computer Science
- Mobile Data Management: 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings
- Verification, Model Checking, and Abstract Interpretation
- Security in Communication Networks
- Information Hiding 5TH International W
- Cots-Based Software Systems
- Semantics in Databases: Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
- Future Directions in Distributed Computing
- Agent-Oriented Software Engineering III
- Information Security and Cryptology - Icisc 2002: 5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers
- Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
- Efficiency and Effectiveness of XML Tools and Techniques and Data Integration Over the Web
- Objects, Components, Architectures, Services, and Applications for a Networked World
- Web, Web-Services, and Database Systems
- Selected Areas in Cryptography
- Software Engineering and Middleware: Third International Workshop, Sem 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers
- Membrane Computing
- Computer Science in Perspective: Essays Dedicated to Thomas Ottmann
- Telecommunications and Beyond: The Broader Applicability of Sdl and Msc: Third International Workshop, Sam 2002, Aberystwyth, UK, June 24-26, 2002. Re
- Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures
- Quality of Service in Multiservice IP Networks
- Software Engineering for Large-scale Mulit-agent Systems
- Scientific Engineering for Distributed Java Applications
- Evolvable Systems: From Biology to Hardware
- Stacs 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Procee
- Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
- Genetic Programming: 6th European Conference, Eurogp 2003, Essex, UK, April 14-16, 2003. Proceedings
- Applications of Evolutionary Computing
- Digital Watermarking
- Self-Adaptive Software: Second International Workshop, Iwsas 2001, Balatonf]red, Hungary, May 17-19, 2001 Revised Papers
- Universal Access. Theoretical Perspectives, Practice, and Experience
- Geometry, Morphology, and Computational Imaging: 11th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany,
- Design and Control of Workflow Processes: Business Process Management for the Service Industry
- Programming Languages and Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Foundations of Software Science and Computational Structures
- Fundamental Approaches to Software Engineering
- Compiler Construction
- Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
- Languages and Compilers for Parallel Computing
- Algorithms for Memory Hierarchies
- Computer Vision Systems: Third International Conference, Icvs 2003, Graz, Austria, April 1-3, 2003, Proceedings
- Advanced Symbolic Analysis for Compilers
- Formal Aspects of Security
- Evolutionary Multi-Criterion Optimization: Second International Conference, Emo 2003, Faro, Portugal, April 8-11, 2003, Proceedings
- Advances in Information Retrieval
- Information Processing in Sensor Networks
- Advanced Functional Programming
- Metainformatics
- Web Technologies and Applications
- Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
- Types for Proofs and Programs
- Experimental and Efficient Algorithms
- Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 2003 Proceedings
- Software Configuration Management: ICSE Workshops Scm 2001 and scm 2003
- Communication in Multiagent Systems
- Zb 2003: Formal Specification and Development in Z and B
- Pattern Recognition and Image Analysis: First Iberian Conference, Ibpria 2003, Puerto de Andratx, Mallorca, Spain, June 4-6, 2003
- Reliable Software Technologies -- ADA-Europe 2003: 8th ADA-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 1
- Advances in Cryptology -- Eurocrypt 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8
- Learning Classifier Systems
- Information Networking: Networking Technologies for Enhanced Internet Services, International Conference, Icoin 2003, Cheju Island, Korea, Feb
- Logic Based Program Synthesis and Transformation
- Intelligence and Security Informatics: First Nsf/Nij Symposium, Isi 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings
- Middleware 2003: ACM/Ifip/Usenix International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
- Functional Imaging and Modeling of the Heart: Second International Workshop, Fimh 2003, Lyon, France, June 5-6, 2003, Proceedings
- Extreme Programming and Agile Processes in Software Engineering
- Combinatorial Pattern Matching
- Architecting Dependable Systems
- Applications and Theory of Petri Nets 2003
- Modeling and Using Context: 4th International and Interdisciplinary Conference, Context 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
- Advanced Information Systems Engineering: 15th International Conference, Caise 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings
- Database Support for Data Mining Applications
- Energy Minimization Methods in Computer Vision and Pattern Recognition
- Spatial Cognition III
- Audio-And Video-Based Biometrie Person Authentication: 4th International Conference, Avbpa 2003, Guildford, UK, June 9-11, 2003, Proceedings
- Intelligent Data Engineering and Automated Learning -- Ideal 2003: 4th International Conference, Hong Kong, China, March 21-23, 2003, Revised Papers
- Trust Management
- Component-based Software Quality
- Static Analysis
- Scale Space Methods in Computer Vision: 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings
- Computing and Combinatorics
- Architectures for Quality of Service in the Internet
- Lecture Notes in Computer Science, #2701: Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings
- Self-stabilizing Systems
- Quality of Service - Iwqos 2003
- Sdl 2003: System Design
- Developments in Language Theory
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- New Horizons in Information Management
- Web Communication Technologies and Internet-Related Social Issues - Hsi 2003
- Artificial Neural Networks and Neural Information Processing - Icann/Iconip 2003: Joint International Conference Icann/Iconip 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
- Openmp Shared Memory Parallel Programming
- Biomedical Image Registration
- High-Speed Networks and Multimedia Communications
- Computational Processing of the Portuguese Language
- Web Engineering
- Computer Aided Verification
- Graph Based Representations in Pattern Recognition
- Information Security and Privacy
- Image and Video Retrieval
- Discrete Mathematics and Theoretical Computer Science
- Information Processing in Medical Imaging
- Smart Grapics: Third International Symposium, Sg 2003, Heidelberg, Germany, July2-4, 2003, Proceedings
- Peer-To-Peer Systems II
- Database and Expert Systems Applications: 14th International Conference, Dexa 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings
- Data Warehousing and Knowledge Discovery
- Electronic Government
- Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
- Ecoop 2003 - Object-Oriented Programming
- Holonic and Multi-Agent Systems for Manufacturing: First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, Holom
- Parallel and Distributed Processing and Applications
- Conceptual Structures for Knowledge Creation and Communication
- Mathematical Foundations of Computer Science 2003
- Algorithms and Data Structures
- Image Analysis: 13th Scandinavian Conference, Scia 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings
- Advances in Spatial and Temporal Databases
- Robocup 2002: Robot Soccer World Cup VI
- Extreme Programming and Agile Methods - XP/Agile Universe 2003
- Security Engineering with Patterns
- Recent Trends in Algebraic Development Techniques
- Computer Analysis of Images and Patterns: 10th International Conference, Caip 2003, Groningen, the Netherlands, August 25-27, 2003, Proceedings
- Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of Unu/Iist, the International Institute for Softw
- Theorem Proving in Higher Order Logics
- Privacy Enhancing Technologies
- Concur 2003 - Concurrency Theory
- Advances in Web-Age Information Management: 4th International Conference, Waim 2003, Chengdu, China, August 17-19, 2003, Proceedings
- Parallel Computing Technologies
- Empirical Methods and Studies in Software Engineering
- Hierarchical Neural Networks for Image Interpretation
- Formal Techniques for Networked and Distributed Systems - Forte 2003
- Lecture Notes in Computer Science, #2768: Mathematics of Surfaces: 10th Ima International Conference, Leeds, UK, September 15-17, 2003, Proceedings
- Computer Music Modeling and Retrieval: International Symposium, Cmmr 2003, Montpellier, France, May 26-27, 2003, Revised Papers
- Verification: Theory and Practice
- Knowledge-based Intelligent Information and Engineering Systems
- Computer Network Security
- Cryptographic Hardware and Embedded Systems -- Ches 2003
- Pattern Recognition
- Advanced Conceptual Modeling Techniques
- Advances in Cross-Language Information Retrieval: Third Workshop of the Cross-Language Evaluation Forum, Clef 2002. Rome, Italy, September 19-20, 2002
- Software Process Technology
- Artificial Immune Systems
- Computer Safety, Reliability, and Security
- Modular Programming Languages
- Generic Programming: Advanced Lectures
- Computer Performance Evaluation. Modelling Techniques and Tools: 13th International Conference, Tools 2003, Urbana, Il, USA, September 2-5, 2003, Proc
- Human-Computer Interaction with Mobile Devices and Services
- Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003. Proceeding
- Advances in Databases and Information Systems: 7th East European Conference, Adbis 2003, Dresden, Germany, September 3-6, 2003, Proceedings
- Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
- Journal on Data Semantics I
- Security in Pervasive Computing
- Computer Science Logic
- Formal Methods for Software Architectures
- Groupware: Design, Implementation, and Use
- Computer Security - Esorics 2003
- Computer Aided Systems Theory - Eurocast 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Februar
- Quality for All
- Conceptual Modeling -- Er 2003
- Conceptual Modeling for Novel Application Domains
- Composition of Secure Multi-Party Protocols
- Group Communications and Charges; Technology and Business Models
- Intelligent Search on XML Data
- Technologies for E-Services
- Recent Advances in Intrusion Detection
- Databases in Networked Information Systems
- Advances in Computer Systems Architecture
- Database and XML Technologies
- Software and Compilers for Embedded Systems
- Communications and Multimedia Security
- Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
- Algorithms - ESA 2003
- Advanced Parallel Processing Technologies
- Information and Communications Security
- Machine Learning: Ecml 2003: 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
- Knowledge Discovery in Databases: Pkdd 2003
- Management of Multimedia Networks and Services
- Recent Advances in Parallel Virtual Machine and Message Passing Interface: 10th European Pvm/Mpi Users' Group Meeting, Venice, Italy, September 29 - O
- Theoretical Computer Science: 8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
- Discovery Science
- Interactive Systems. Design, Specification, and Verification
- Security Protocols
- Applied Cryptography and Network Security
- Dependable Computing
- Distributed Computing
- Visual Content Processing and Representation
- Information Security
- Formal Methods for Components and Objects
- Web Services - Icws-Europe 2003
- Embedded Software
- Quality of Future Internet Services
- String Processing and Information Retrieval
- Neural Nets: 14th Italian Workshop on Neural Nets, Wirn Vietri 2003, Vietri Sul Mare, Italy, June 4-7, 2003, Revised Papers
- Correct Hardware Design and Verification Methods
- Global Optimization and Constraint Satisfaction: First International Workshop Global Constraint Optimization and Constraint Satisfaction, Cocos 2002,
- Lecture Notes in Computer Science, #2862: Job Scheduling Strategies for Parallel Processing: 9th International Workshop, Jsspp 2003, Seattle, Wa, USA, June 24, 2003, Revised Papers
- UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
- Ubicomp 2003
- Ad-Hoc, Mobile, and Wireless Networks
- Lecture Notes in Computer Science, #2866: Discrete and Computational Geometry: Japanese Conference, Jcdcg 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers
- Self-Managing Distributed Systems
- Medical Data Analysis
- The Semantic Web - Iswc 2003: Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings
- Global Computing
- Ambient Intelligence
- Rules and Rule Markup Languages for the Semantic Web
- Lecture Notes in Computer Science " #2877: Innovative Internet Community Systems
- Graph-Theoretic Concepts in Computer Science: 29th International Workshop, Wg 2003, Elspeet, the Netherlands, June 19-21, 2003, Revised Papers
- Mobile Agents for Telecommunication Applications: 5TH International Workshop, Mata 2003, Marakech, Morocco, October 8-10, 2003, Proceedings
- Matchmaking in Electronic Markets
- Computers and Games: Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers
- Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19.21, 2003,
- Formal Methods and Software Engineering
- Discrete Geometry for Computer Imagery: 11th International Conference, Dgci 2003, Naples, Italy, November 19-21, 2003, Proceedings
- Fast Software Encryption: 10th International Workshop, Fse 2003, Lund, Sweden, February 24-26, 2003, Revised Papers
- Perspectives of Systems Informatics
- The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic
- Distributed Applications and Interoperable Systems: 4th Ifip Wg6.1 International Conference, Dais 2003, Paris, France, November 17-21, 2003, Proceedin
- Advances in Cryptology - Asiacrypt 2003
- Programming Languages and Systems
- Lecture Notes in Computer Science, #2897: Virtual Storytelling; Using Virtual Reality Technologies for Storytelling: Second International Conference, Icvs 2003, Toulouse, France, November 20-2
- Interactive Multimedia on Next Generation Networks: First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, I
- Casl User Manual
- Principles and Practice of Semantic Web Reasoning
- Progress in Artificial Intelligence
- Progress in Pattern Recognition, Speech and Image Analysis
- Algorithms and Computation
- Large-Scale Scientific Computing
- Information Security Applications
- Service-oriented Computing Icsoc 2003
- High Performance Computing -- HIPC 2003
- Fst Tcs 2003: Foundations of Software Technology and Theoretical Computer Science
- Logic Programming
- Distributed Computing - Iwdc 2003: 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings
- Wireless Sensor Networks Proc Germany
- Database Programming Languages
- Logic Programming and Nonmonotonic Reasoning: 7th International Conference, Lpnmr 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
- Distributed Multimedia Information Retrieval
- Validation of Stochastic Systems
- Wireless On-Demand Network Systems
- Theory and Applications of Relational Structures as Knowledge Instruments
- Formal Approaches to Software Testing
- Sofsem 2004: Theory and Practice of Computer Science
- Membrane Computing
- Regulated Agent-Based Social Systems
- Artificial Evolution
- Agent-Based Hybrid Intelligent Systems
- Digitial Watermarking
- Software Engineering for Multi-Agent Systems II
- XML-Based Data Management and Multimedia Engineering - Edbt 2002 Workshops
- Radical Innovations of Software and Systems Engineering in the Future
- Public Key Cryptography - PKC 2004
- Lecture Notes in Computer Science, #2948: Finite Fields and Applications
- Aspects of Molecular Computing
- Model Generation for Natural Language Interpretation and Analysis
- Languages and Compilers for Parallel Computing
- Higher-Level Hardware Synthesis
- Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures (Lecture Notes)
- Grid Computing: First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
- Information Security and Cryptology - Icisc 2003
- Latin 2004: Theoretical Informatics
- Testing of Communicating Systems: 16TH Ifip International Conference, Testcom 2004, Oxford, Uk, March 17-19, 2004., Proceedings
- Diagrammatic Representation and Inference
- Organic and Pervasive Computing--arcs 2004
- Active Networks
- Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
- Advances in Database Technology - Edbt 2004: 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 200
- Hybrid Systems: Computation and Control
- Trust Management: Second International Conference, Itrust 2004, Oxford, Uk, March 29 - April 1, 2004, Proceedings
- Advances in Information Retrieval: 26TH European Conference on Ir Research, Ecir 2004, Sunderland, Uk, April 5-7, 2004, Proceedings
- Integrated Formal Methods: 4TH International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
- Primality Testing in Polynomial Time: From Randomized Algorithms to "Primes as in P"
- Genetic Programming
- Evolutionary Computation in Combinatorial Optimization: 4TH European Conference, Evocop 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings
- Applications of Evolutionary Computing
- Selected Areas in Cryptography: 10th Annual International Workshop, Sac 2003, Ottawa, Canada, August 14-15, 2003, Revised Papers
- Uncertain Projective Geometry
- Software Product: Family Engineering (Lecture Notes)
- Computer Vision - Eccv 2004: 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part I (Lecture Notes)
- Computer Vision - Eccv 2004: 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part III (Lecture Notes)
- Advances in Cryptology - Eurocrypt 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland,
- Probabilistic and Statistical Methods in Cryptology
- Computational Science - Iccs 2004: 4th International Conference, Kraksw, Poland, June 6-9, 2004, Proceedings, Part IV
- Computational Science- Part I: Iccs 2004
- Computational Science- Part III: Science Iccs 2004
- Computational Science - ICCS 2004: 4th International Conference Krakow, Poland, June 6-9, 2004 Proceedings, Part II
- Universal Access in Health Telematics
- Program Development in Computational Logic
- Privacy in Statistical Databases
- Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International
- Experimental and Efficient Algorithms
- Advanced Distributed Systems
- Integer Programming and Combinatorial Optimization
- Architecting Dependable Systems II
- Intelligence and Security Informatics
- Constraint Databases
- Logic Versus Approximation
- Multiple Classifier Systems: 5TH International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings
- Medical Simulation: International Symposium, Isms 2004, Cambridge, Ma, USA, June 17-18, 2004, Proceedings
- Digital Cities III. Information Technologies for Social Capital: Cross-Cultural Perspectives
- Computational Methods in Systems Biology: International Conference Cmsb 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
- Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings
- Advanced Information Systems Engineering
- Ecoop 2004 - Object-oriented Programming
- Biometric Authentication
- Applied Cryptography and Network Security
- Rewriting Techniques and Applications
- Extreme Programming and Agile Processes in Software Engineering
- Public Key Infrastructure: First European Pkiworkshop: Research and Applications, Europki 2004, Samos Island, Greece, June 25-26, 2004, Proceedin
- Adaptive Multimedia Retrieval: First International Workshop, Amr 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes)
- Lectures on Concurrency and Petri Nets
- Applications and Theory of Petri Nets 2004: 25th International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings
- Transactions on Rough Sets I
- Computer Human Interaction
- Genetic and Evolutionary Computation
- Structural Information and Communication Complexity
- Technologies for Interactive Digital Storytelling and Entertainment
- Computing and Combinatorics
- Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004 Madrid, Spain, July 5-9, 2004 Proceedings
- Information Security and Privacy
- Combinatorial Pattern Matching
- Financial Cryptography
- Computer Aided Verification
- Image and Video Retrieval
- Algebraic Methodology and Software Technology: 10TH International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
- Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis
- Mathematical Knowledge Management
- Lecture Notes in Computer Science " #3122: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 7th
- Mathematics of Program Construction
- Querying Databases Privately
- Tex, XML, and Digital Typography
- Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
- Extreme Programming and Agile Methods - XP/Agile Universe 2004
- Transactions on Rough Sets II
- Adaptive Hypermedia and Adaptive Web-based Systems
- Automata, Languages and Programming: 31st International Colloquium, Icalp 2004, Turku, Finland, July 12-16, 2004, Proceedings
- Advances in Web-based Learning-icwl 2004
- Principles of Distributed Systems
- Computational Neuroscience: Cortical Dynamics
- Integration of Software Specification for Applications in Techniques Engineering
- Static Analysis
- Medical Imaging and Augmented Reality: Proceedings of the Second International Workshop
- Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
- Advances in Cryptology - Crypto 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004, Proceedings
- Mathematical Foundations of Computer Science 2004: 29th International Symposium, Mfcs 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings
- Software Product Lines
- Cryptographic Hardware and Embedded Systems - Ches 2004
- Ad-hoc, Mobile, and Wireless Networks
- Mobile Human-computer Interaction: Proceedings of the 6TH International Symposium
- Advanced Studies in Biometrics
- Parameterized and Exact Computation: First International Workshop, Iwpec 2004, Bergen, Norway, September 14-17, 2004, Proceedings
- Document Analysis Systems VI
- Power Aware Computer Systems Third Inter
- Entertainment Computing - Icec 2004: Third International Conference, Eindhoven, the Netherlands, September 1-3, 2004, Proceedings
- Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004 Recife, Brazil, November 23-December
- Computer Supported Cooperative Work in Design: 8th International Conference, Cscwd 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
- Concur 2004 -- Concurrency Theory
- Ant Colony Optimization and Swarm Intelligence
- Pattern Recognition
- Secure Data Management
- Articulated Motion and Deformable Objects
- Database and Expert Systems Applications
- Data Warehousing and Knowledge Discovery
- E-commerce and Web Technologies
- Electronic Government
- Trust and Privacy in Digital Business
- Database and XML Technologies
- Groupware: Design, Implementation, and Use
- Software and Compilers for Embedded Systems
- Information Hiding
- Field-programmable Logic and Applications
- Ubicomp 2004
- Principles and Practice of Semantic Web Reasoning
- Web Mining
- Image Analysis and Recognition: International Conference Iciar 2004, Porto, Portugal, September 29 - October 1, 2004, Proceedings, Part II
- Modular Algorithms in Symbolic Summation and Symbolic Integration
- Computer Safety, Reliability, and Security
- Algorithms Esa 2004 12TH Annual European Symposium Bergen Norway September
- Theorem Proving in Higher Order Logics
- Recent Advances in Intrusion Detection
- Middleware 2004
- Research and Advanced Technology for Digital Libraries
- Geographic Information Science
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- Comparative Evaluation of Multilingual Information Access Systems
- Artificial Immune Systems
- Recent Advances in Parallel Virtual Machine and Message Passing Interface
- Algorithms and Models for the Web-Graph
- Statistical Methods in Video Processing
- Natural Language Processing a " Ijcnlp 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers
- Web Services
- Principles and Practice of Constraint Programming - Cp 2004: 10th International Conference, Cp 2004, Toronto, Canada, September 27 - October 2004, Pro
- Personal Wireless Communications
- Global Computing
- Current Trends in Database Technology - Edbt 2004 Workshops: Edbt 2004 Workshops PhD, Datax, Pim, P2P&Db, and Clustweb, Heraklion, Crete, Greece, Marc
- Ubiquitous Mobile Information and Collaboration Systems
- Job Scheduling Strategies for Parallel Processing: 10th International Workshop, Jsspp 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
- Peer-To-Peer Systems III: Third International Workshop, Iptps 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
- List Decoding of Error-correcting Codes
- Intelligence in Communication Systems
- Applied Computing
- Conceptual Modeling for Advanced Application Domains (Lecture Notes)
- On the Move to Meaningful Internet Systems 2004: Coopis, DOA, and Odbase: Otm Confederated International Conferences, Coopis, DOA, and Odbase 2004, Ag (Lecture Notes)
- On the Move to Meaningful Internet Systems 2004: Coopis, DOA, and Odbase: Otm Confederated International Conferences, Coopis, DOA, and Odbase 2004, Ag (Lecture Notes)
- Ambient Intelligence
- High Performance Computing - HIPC 2004: 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
- Uml Modeling Languages and Applications
- The Semantic Web - Iswc 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
- Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Pr
- Inconsistency Tolerance
- Conditionals, Information, and Inference
- Programming Languages and Systems
- Knowledge Exploration in Life Science Informatics
- Digital Watermarking
- Web Information Systems -- Wise 2004
- Web Information Systems -- Wise 2004 Workshops
- Computer Music Modeling and Retrieval
- Security in Ad-hoc and Sensor Networks
- Implementation and Application of Automata
- System Analysis and Modeling
- Advances in Computer Science - Asian 2004, Higher Level Decision Making
- Combinatorial Image Analysis
- Technologies for E-Services
- Information Security Applications
- Distributed Computing -- Iwdc 2004: 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings
- Lecture Notes in Computer Science " #3328: Fsttcs 2004: Foundations of Software Technology and Theoretical Computer Science: 24th Inte
- Advances in Cryptology - Asiacrypt 2004
- Combinatorial Geometry and Graph Theory
- Advances in Multimedia Information Processing
- Advances in Multimedia Information Processing
- Advances in Multimedia Information Processing PCM 2004
- Digital Libraries: International Collaboration and Cross-fertilization
- Service Availability
- Biological and Medical Data Analysis: 5th International Symposium, Isbmda 2004, Barcelona, Spain, November 18-19, 2004, Proceedings
- Advances in Biometric Person Authentication
- Developments in Language Theory
- Swarm Robotics
- Object-Oriented Technology. Ecoop 2004 Workshop Reader: Ecoop 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
- Distributed Computing and Internet Technology
- Progress in Cryptology - Indocrypt 2004
- Shared Memory Parallel Programming with Open MP
- Practical Aspects of Declarative Languages
- Approximation and Online Algorithms: Second International Workshop, Waoa 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
- Security in Communication Networks
- Graph-theoretic Concepts in Computer Science
- Machines, Computations, and Universality
- Switching and Learning in Feedback Systems: European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures a
- Intelligent Information Technology
- Selected Areas in Cryptography: 11th International Workshop, Sac 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers
- Journal on Data Semantics II
- Machine Learning for Multimodal Interaction: First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers
- Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
- Database Theory - Icdt 2005
- Security Protocols
- Membrane Computing: 5th International Workshop, Wmc 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
- Databases, Information Systems, and Peer-To-Peer Computing
- Attention and Performance in Computational Vision: Second International Workshop, Wapcv 2004, Prague, Czech Republic, May 15, 2004, Revised Selected P
- Semantic Web and Databases
- Advanced Eurocryption Standard-aes
- Quality of Service in Multiservice IP Networks
- Topics in Cryptology -- CT-Rsa 2005: The Cryptographers' Track at the Rsa Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
- Knowledge Discovery in Inductive Databases
- Theory of Cryptography
- From Integrated Publication and Information Systems to Information and Knowledge Environments
- Sofsem 2005: Theory and Practice of Computer Science
- Agent-oriented Software Engineering V
- Graph Drawing
- Dna Computing
- Verification, Model Checking, and Abstract Interpretation
- Public Key Cryptography - Pkc 2005: 8th International Workshop on Theory and Practice in Public Key Cryptography
- Semantic Web Services and Web Process Composition
- Multiparadigm Programming in Mozart/Oz
- Software Engineering for Multi-Agent Systems III
- Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
- Formal Approaches to Software Testing
- Web Technologies Research and Development - Apweb 2005: 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings
- Transactions on Rough Sets III
- Numerical Analysis and Its Applications
- High Performance Computing for Computational Science - Vecpar 2004
- Stacs 2005
- Combinatorial and Algorithmic Aspects of Networking
- Computational Linguistics and Intelligent Text Processing: 6th International Conference, Cicling 2005, Mexico City, Mexico, February 13-19, 2005, Proc
- Theoretical Aspects of Computing - Ictac 2004
- Advances in Information Retrieval
- Scientific Engineering of Distributed Java Applications
- Evolutionary Multi-Criterion Optimization: Third International Conference, Emo 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings
- Information Retrieval Technology
- Cots-Based Software Systems
- Hybrid Systems: Computation and Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
- Complex Motion: First International Workshop, IWCM 2004, Gunzburg, Germany, October 12-14, 2004, Revised Papers
- Network Analysis:
- From Computer Literacy to Informatics Fundamentals: International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, Issep
- Recent Trends in Algebraic Development Techniques: 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Paper
- Privacy Enhancing Technologies
- Engineering Human Computer Interaction and Interactive Systems
- Knowledge and Information Visualization
- Wireless Systems and Mobility in Next Generation Internet
- Web and Wireless Geographical Information Systems: 4th International Workshop, W2gis 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Paper
- Discrete Geometry for Computer Imagery
- Passive and Active Network Measurement
- Systems Aspects in Organic and Pervasive Computing - Arcs 2005
- Databases in Networked Information Systems
- Graph-Based Representations in Pattern Recognition
- Embedded Systems Design
- Software Engineering and Middleware
- Information Security Practice and Experience
- Tools and Algorithms for the Construction and Analysis of Systems
- Foundations of Software Science and Computational Structures: 8th International Conference, Fossacs 2005, Held as Part of the Joint European Conferenc
- Fundamental Approaches to Software Engineering: 8th International Conference, Fase 2005, Held as Part of the Joint European Conferences on Theory and
- Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Softw
- Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Pra
- Genetic Programming
- Evolutionary Computation in Combinatorial Optimization
- Applications of Evolutionary Computing
- Security in Pervasive Computing
- Database Systems for Advanced Applications: 10th International Conference, Dasfaa 2005, Beijing, China, April 17-20, 2005, Proceedings
- Coordination Models and Languages
- Zb 2005: Formal Specification and Development in Z and B
- Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems
- Autonomic Communication: First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
- Scientific Applications of Grid Computing
- Scale Space and Pde Methods in Computer Vision
- Self-Star Properties in Complex Information Systems
- Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings
- Networking 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communicati
- Dependable Computing - Edcc 2005
- Formal Methods for Mobile Computing
- Scenarios: Models, Transformations and Tools
- Term Rewriting and Applications
- Pervasive Computing
- Foundtions of Genetic Algorithms
- Advances in Grid Computing - Egc 2005
- Power-aware Computer Systems
- Model-Based Testing of Reactive Systems: Advanced Lectures
- Innovative Internet Community Systems: 4th International Workshop, Iics 2004, Guadalajara, Mexico, June 21-23, 2004 Revised Papers
- Implementation and Application of Functional Languages
- Rapid Integration of Software Engineering Techniques
- Trust Management
- Global Optimization and Constraint Satisfaction
- Location- And Context-Awareness
- Computational Science and Its Applications - Iccsa 2005, Part II: International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
- Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications
- Peer-to-peer Systems and Applications
- Sequences and Their Applications - Seta 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
- Component-based Software Engineering
- Multilingual Information Access for Text, Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, Clef 2004, Bath, UK, September 15-17
- Advances in XML Information Retrieval
- Advances in Cryptology - Eurocrypt 2005
- Intelligence and Security Informatics: IEEE International Conference on Intelligence and Security Informatics, Isi 2005, Atlanta, Ga, USA, May 19-20,
- Advances in Neural Networks-isnn 2005
- Advances in Neural Networks - Isnn 2005:
- Advances in Neural Networks - Isnn 2005:
- Structural Information and Communication Complexity
- Testing of Communicating Systems
- Experimental and Efficient Algorithms
- Functional Imaging and Modeling of the Heart
- Autonomous Intelligent Systems
- Information Security and Cryptology-icisc 2004
- Information Context: Nature, Impact, and Role
- Integer Programming and Combinatorial Optimization
- Wired/Wireless Internet Communications
- Metainformatics
- Natural Language Processing and Information Systems
- Computational Science -- Iccs 2005: 5th International Conference, Atlanta, Ga, USA, May 22-25, 2005, Proceedings, Part I
- Human Interactive Proofs
- Computer Algebra and Geometric Algebra with Applications
- Advanced Information Systems Engineering: 17th International Conference, Caise 2005, Porto, Portugal, June 13-17, 2005, Proceedings
- Algorithmic Applications in Management
- Pattern Recognition and Image Analysis
- Pattern Recognition and Image Analysis: Second Iberian Conference, Ibpria 2005, Estoril, Portugal, June 7-9, 2005, Proceeding, Part II
- Integration of Ai and Or Techniques in Constraint Programming for Combinatorial Optimization Problems
- Communicating Sequential Processes. the First 25 Years
- New Computational Paradigms
- Software Architecture
- Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, Aois 2005, Utrecht, the Netherlands, July 26, 2005, and Klagenfurt,
- Sdl 2005: Model Driven
- Applied Cryptography and Network Security
- The Semantic Web: Research and Applications
- Journal on Data Semantics III
- Formal Methods for Open Object-Based Distributed Systems
- Applications and Theory of Petri Nets 2005
- Combinatorial Pattern Matching
- Image Analysis: 14th Scandinavian Conference, Scia 2005, Joensuu, Finland, June 19-22, 2005, Proceedings
- Multiple Classifier Systems
- Theory and Applications of Satisfiability Testing
- Distributed Applications and Interoperable Systems
- Principles of Distributed Systems
- Public Key Infrastructure
- Audio- And Video-Based Biometric Person Authentication: 5th International Conference, Avbpa 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedi
- Product Focused Software Process Improvement
- Detection of Intrusions and Malware, and Vulnerability Assessment
- Architecting Dependable Systems III
- Data Management in a Connected World
- Quality of Service-iwqos 2005
- Embedded Computer Systems: Architectures, Modeling, and Simulation
- Reliable Software Technology a " ADA-Europe 2005: 10th ADA-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 20
- Extreme Programming and Agile Processes in Software Engineering
- Fast Software Encryption
- Distributed Computing in Sensor Systems
- Mechanisms, Symbols, and Models Underlying Cognition
- Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach
- Advanced Distributed Systems
- Reasoning Web
- Unconventional Programming Paradigms
- Database: Enterprise, Skills and Innovation
- Image and Video Retrieval
- Theory and Applications of Satisfiability Testing
- Financial Cryptography and Data Security
- Developments in Language Theory: 9th International Conference, Dlt 2005, Palermo, Italy, July 4-8, 2005, Proceedings
- Logic Based Program Synthesis and Transformation: 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Paper
- Information Security and Privacy
- Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
- Intelligent Data Engineering and Automated Learning - Ideal 2005
- Web Engineering
- Automata, Languages and Programming: 32nd International Colloquim, Icalp 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
- Fm 2005, Formal Methods
- Advances in Web-Based Learning - Icwl 2005
- Human-Computer Interaction a " Interact 2005: Ifip Tc 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
- Ecoop 2005 - Object Oriented Programming
- Data Warehousing and Knowledge Discovery
- E-Commerce and Web Technologies
- Electronic Government: 4th International Conference, Egov 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
- Trust, Privacy, and Security in Digital Business
- Computing & Combinatorics Proceedings 11TH Annu
- Web and Communication Technologies and Internet-related Social
- Ubiquitous Computing Systems
- Model Driven Architecture
- Languages and Compilers for High Performance Computing
- Theorem Proving in Higher Order Logics
- Mathematics of Surfaces XI
- Embedded Software and Systems
- Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
- Algorithms and Data Structures
- Advances in Natural Computation: First International Conference, Icnc 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
- Advances in Natural Computation: First International Conference, Icnc 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
- Advances in Natural Computation: First International Conference, Icnc 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
- Practice and Theory of Automated Timetabling V
- Image Analysis and Processing Iciap 2005
- Mathematical Foundations of Computer Science 2005: 30th International Symposium, Mfcs 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
- Networking and Mobile Computing: 3rd International Conference, Iccnmc 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings
- Advances in Cryptology - Crypto 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings
- Advanced Functional Programming
- Fundamentals of Computation Theory: 15th International Symposium, Fct 2005, Lubeck, Germany, August 17-20,2005, Proceedings
- Approximation, Randomization and Combinatorial Optimization: 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Pro
- Artificial Immune Systems: 4th International Conference, Icaris 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings
- Software Composition
- Algebra and Coalgebra in Computer Science
- Advances in Databases and Information Systems
- Advances in Spatial and Temporal Databases
- Computer Science Logic
- Hybrid Metaheuristics
- Evolvable Systems
- Smart Graphics
- Model Checking Software: 12th International Spin Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
- Peer-to-peer Systems
- Computer Aided Systems Theory – Eurocast 2005
- Advances in Intelligent Data Analysis VI: 6th International Symposium on Intelligent Data Analysis, Ida 2005, Madrid, Spain, September 8-10, 2005, Pro
- Software Engineering Research and Applications: Second International Conference, Sera 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Pape
- Euro-par 2005 Parallel Processing
- Business Process Management
- Information Security: 8th International Conference, Isc 2005, Singapore, September 20-23, 2005, Proceedings
- Research and Advanced Technology for Digital Libraries
- CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
- Data and Applications Security XIX - Status and Prospects
- Foundations of Security Analysis and Design III
- Image Analysis and Recognition
- Formal Methods for Components and Objects
- Cryptographic Hardware and Embedded Systems - Ches 2005
- Ubicomp 2005: Ubiquitous Computing: 7th International Conference, Ubicomp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings
- Pattern Recognition: 27th DAGM Symposium, Vienna, Austria, August 31-September 2, 2005 Proceedings
- Peer-to-peer, Grid, and Service-orientation in Digital Library Architectures
- Advances in Multimedia Information Systems
- Recent Advances in Parallel Virtual Machine and Message Passing Interface
- Spatial Coherence for Visual Motion Analysis: First International Workshop, Scvma 2004, Prague, Czech Republic, May 15, 2004, Revised Papers
- Logic Programming
- Algorithms -- Esa 2005
- Formal Techniques for Computer Systems and Business Processed
- Database and XML Technologies
- Static Analysis
- Secure Data Management
- Cooperative Design, Visualization, and Engineering: Second International Conference, Cdve 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proce
- Generative Programming and Component Engineering
- Communications and Multimedia Security
- Computer Security - Esorics 2005
- Computer Network Security
- Pattern Recognition and Data Mining
- Pattern Recognition and Image Analysis: Third International Conference on Advances in Pattern Recognition, Icapr 2005, Bath, UK, August 22-25, 2005, P
- Computer Safety, Reliability, and Security
- Information Retrieval Technology
- Computer Analysis of Images and Patterns
- Spatial Information Theory
- Service Availability
- Artificial Neural Networks
- Artificial Neural Networks: Formal Models and Their Applications – Iccan 2005
- Unconventional Computation
- Transactions on Rough Sets IV
- Theoretical Computer Science
- Principles and Practice of Sematic Web Reasoning
- Brain, Vision, and Artificial Intelligence
- Trustworthy Global Computing: International Symposium, Tgc 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
- Groupware: Design, Implementation, and Use
- Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
- Advanced Concepts for Intelligent Vision Systems: 7th International Conference, Acivs 2005, Antwerp, Belgium, September 20-23, 2005, Proceedings
- Principles and Practice of Constraint Programming- Cp 2005: 11th International Conference, Cp 2005, Sitges- Spain, October 1-5, 2005
- Digital Watermarking
- Entertainment Computing - Icec 2005
- Quality of Software Architectures and Software Quality
- Model Driven Engineering Languages and Systems
- Software Product Lines: 9th International Conference, Splc 2005, Rennes, France, September 26-29, 2005, Proceedings
- Progress in Cryptology- Mycrypt 2005: First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceed
- Conceptual Modeling - Er 2005
- Computer Algebra in Scientific Computing: 8th International Workshop, Casc 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
- Distributed and Parallel Computing
- Theoretical Aspects of Computing -- Ictac 2005
- Analysis and Modelling of Faces and Gestures
- Distributed Computing
- Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Research, Working Conference, Charme 2005, Saarbra1/4cken, Germany, Octobe
- High Performance Computing and Communications
- Information Hiding: 7th International Workshop, Ih 2005, Barcelona, Spain June 6-8 2005, Revised Selected Papers
- Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
- The Semantic Web-- Iswc 2005: 4th International Semantic Web Conference, Iswc 2005, Galway, Ireland, November 6-10, 2005, Proceedings
- Journal on Data Semantics IV
- Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip Wg 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Pr
- Applied Parallel Computing: State of the Art in Scientific Computing
- Computer and Information Sciences - Iscis 2005
- Visual Information and Information Systems: 8th International Conference, Visual 2005, Amsterdam, the Netherlands, July 5, 2005, Revised Selected Pape
- Ad-hoc, Mobile, and Wireless Networks
- Advances in Web-age Information Management
- Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, Acsac 2005, Singapore, October 24-26, 2005, Proceedings
- Distributed Computing a " Iwdc 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
- Discrete and Computational Geometry: Japanese Conference, Jcdcg 2004, Tokyo, Japan Oct 8-11,2004
- Large-Scale Scientific Computing: 5th International Conference, Lssc 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
- Mobility Aware Technologies and Applications
- Advances in Informatics: 10th Panhellianic Conference on Informatics, PCI 2005, Volas Greece, November 11-13 2005 Proceedings
- Dependable Computing
- Model Driven Architecture - Foundations and Applications
- Medical Image Computing and Computer-assisted Intervention, Miccai 2005
- Medical Image Computing and Computer-assisted Intervention, Miccai 2005
- Operations and Management in Ip-based Networks
- Variational, Geometric, and Level Set Methods in Computer Vision
- Deep Structure, Singularities, and Computer Vision: First International Workshop, Dsscv 2005, Maastricht, the Netherlands, June 9-10, 2005, Revised Se
- Management of Multimedia Networks and Services
- Advanced Parallel Processing Technologies
- Energy Minimization Methods in Computer Vision and Pattern Recognition
- Parallel and Distributed Processing and Applications
- Parallel and Distributed Processing and Applications - Ispa 2005 Workshops
- 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
- Lecture Notes in Computer Science / Lecture Notes in Artific #3763: Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
- Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona Spain, October 26-27 2005
- Computer Vision for Biomedical Image Applications
- Computer Vision in Human-Computer Interaction
- Advances in Multimedia Information Processing - PCM 2005
- Advances in Multimedia Information Processing - PCM 2005
- High Performance Computing a " HIPC 2005: 12th International Conference, Goa, India, December 18-21, 2005, Proceedings
- Perspectives in Conceptual Modeling
- Integrated Formal Methods
- String Processing and Information Retrieval: 12th International Conference, Spire 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings
- Progress in Pattern Recognition, Image Analysis and Applications
- Database Programming Languages
- Ambient Networks
- Attern Recognition and Machine Intelligence: First International Conference, Premi 2005, Kolkata, India, December 20-22, 2005, Proceedings
- Stochastic Algorithms: Foundations and Applications
- Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
- Network and Parallel Computing: Ifip International Conference, Npc 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
- Programming Languages and Systems
- Advances in Biometric Person Authentication
- Information and Communications Security
- Affective Computing and Intelligent Interaction
- Formal Methods and Software Engineering
- Information Security Applications: 6th International Workshop, Wisa 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers
- Graph-Theoretic Concepts in Computer Science
- Advances in Cryptology- Asiacrypt 2005: 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, I
- Middleware 2005: ACM/Ifip/Usenix 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
- Rules and Rule Markup Languages for the Semantic Web: First International Conference, Ruleml 2005, Galway, Ireland, November 10-12, 2005, Proceedings
- Software Process Improvement
- High Performance Embedded Architectures and Compilers
- Mobile Ad-Hoc and Sensor Networks: First International Conference, Msn 2005, Wuhan, China, December 13-15, 2005, Proceedings
- Grid and Cooperative Computing- Gcc 2005: 4th International Conference, Beijing China, November 30- December 3, 2005 Proceedings
- Cryptography and Coding
- Progress in Cryptology - Indocrypt 2005
- Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
- Geospatial Semantics: First International Conference, Geos 2005, Mexico City, Mexico, November 29-30, 2005, Proceedings
- Variations on Constants: Flow Analysis of Sequential and Parallel Programs
- Information Systems Security: First International Conference, Iciss 2005, Kolkata, India, December 19-21, 2005, Proceedings
- Advances in Visual Computing: First International Symposium, Isvc 2005, Lake Tahoe, NV USA, December 5-7,2005 Proceedings
- Virtual Storytelling. Using Virtual Reality Technologues for Storytelling: Third International Conference, Vs 2005, Strasbourg, France, November 30- D
- Web Information Systems Engineering - Wise 2005
- Web Information Systems Engineering - Wise 2005 Workshops
- Cryptology and Network Security
- Technologies for E-Services: 6th International Workshop, Tes 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
- Business Process Management Workshops
- Security and Privacy in Ad-Hoc and Sensor Networks
- Digital Libraries: Implementing Strategies and Sharing Experiences
- Distributed Computing and Internet Technology: Second International Conference, Icdcit 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
- Advances in Computer Science - Asian 2005. Data Management on the Web: 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Pr
- Practical Aspects of Declarative Languages: 8th International Symposium, Padl 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
- Embedded Software and Systems: Second International Conference, Icess 2005, Xi'an, China, December 16-18, 2005, Proceedings
- Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 200
- Information Security and Cryptology: First Sklois Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
- Embedded and Ubiquitous Computing - Euc 2005 Workshops: Euc 2005 Workshops: Uisw, Ncus, Secubiq, USN, and Taues, Nagasaki, Japan, December 8-9, 2005
- Embedded and Ubiquitous Computing - Euc 2005: International Conference Euc 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
- Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, Wrac 2005, Greenbelt, MD, USA, Sep
- Service-Oriented Computing
- Algorithms and Computation: 16th International Symposium, Isaac 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
- Internet and Network Economics: First International Workshop, Wine 2005, Hong Kong, China, December 15-17, 2005, Proceedings
- Formal Modeling and Analysis of Timed Systems: Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
- Sofsem 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Repub
- Advances in Biometrics: International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006, Proceedings
- Web and Wireless Geographical Information Systems
- Job Scheduling Strategies for Parallel Processing
- Data Management in Grids: First Vldb Workshop, Dmg 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
- Technologies for Advanced Heterogeneous Networks: First Asian Internet Engineering Conference, Aintec 2005, Bangkok, Thailand, December 13-15, 2005, P
- Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
- Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
- Unifying the Software Process Spectrum: International Software Process Workshop, Spw 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers
- Frontiers of WWW Research and Development -- Apweb 2006: 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings
- Advanced Web and Network Technologies, and Applications: Apweb 2006 International Workshops: Xra, Iwsn, Mega, and Icse, Harbin, China, January 16-18,
- Graph Drawing: 13 Th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers
- Satellite Events at the Models 2005 Conference: Models 2005 International Workshop Oclws, Modeva, Martes, AOM, Mtip, Wisme, Modaui, Nfc, MDD, Wuscam,
- Implementation and Application of Automata: 10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Pap
- Computers and Games: 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
- Membrane Computing: 6th International Workshop, Wmc 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
- Computer Vision - Accv 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I
- Computer Vision - Accv 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II
- Biologically Inspired Approaches to Advanced Information Technology: Second International Workshop, Bioadit 2006, Osaka, Japan 26-27, 2006, Proceeding
- Autonomic Communication: Second International Ifip Workshop, Wac 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
- Lecture Notes in Computer Science " #3855: Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vm
- Privacy Enhancing Technologies: 5th International Workshop, Pet 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers
- Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 16th International Symposium, Aaecc-16, Las Vegas, NV, USA, February 20-24, 2006, Pr
- Recent Advances in Intrusion Detection: 8th International Symposium, Raid 2005, Seattle, Wa, USA, September 7-9, 2005, Revised Papers
- Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate
- Topics in Cryptology -- CT-Rsa 2006: The Cryptographers' Track at the Rsa Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings
- Foundations of Information and Knowledge Systems: 4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
- Lecture Notes in Computer Science / Lecture Notes in Artific #3864: Ambient Intelligence in Everyday Life: Foreword by Emile Aarts
- Computer Supported Cooperative Work in Design II: 9th International Conference, Cscwd 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
- Formal Aspects in Security and Trust: Third International Workshop, Fast 2005, Newcastle Upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
- Practice and Theory of Automated Timetabling VI: 6th International Conference, Patat 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Se
- Wireless Sensor Networks: Third European Workshop, Ewsn 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings
- Machine Learning for Multimodal Interaction: Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers
- Journal on Data Semantics V
- Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers
- Document Analysis Systems VII: 7th International Workshop, Das 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings
- Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec
- Theory of Cryptography: Third Theory of Cryptography Conference, Tcc 2006, New York, NY, USA, March 4-7, 2006, Proceedings
- Adaptive Multimedia Retrieval: User, Context, and Feedback: Third International Workshop, Amr 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Pa
- Computational Linguistics and Intelligent Text Processing: 7th International Conference, Cicling 2006, Mexico City, Mexico, February 19-25, 2006, Proc
- Approximation and Online Algorithms: Third International Workshop, Waoa 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers
- Transactions on Aspect-Oriented Software Development I
- Database Systems for Advanced Applications: 11th International Conference, Dasfaa 2006, Singapore, April 12-15, 2006, Proceedings
- Wireless Systems and Network Architectures in Next Generation Internet
- Stacs 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
- Knowledge Discovery in Life Science Literature: International Workshop, Kdll 2006, Singapore, April 9, 2006, Proceedings
- Latin 2006: Theoretical Informatics: 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
- Trends in Enterprise Application Architecture: Vldb Workshop, Teaa 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers
- Independent Component Analysis and Blind Signal Separation: 6th International Conference, Ica 2006, Charleston, SC, USA, March 5-8, 2006, Proceedings
- DNA Computing: 11th International Workshop on DNA Computing, Dna11, London, On, Canada, June 6-9, 2005. Revised Selected Papers.
- Visual Content Processing and Representation: 9th International Workshop, Vlbv 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers
- Architecture of Computing Systems - Arcs 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings
- Theoretical Computer Science: Essays in Memory of Shimon Even
- Advances in Database Technology -- Edbt 2006: 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceed
- Selected Areas in Cryptography: 12th International Workshop, Sac 2005, Kingston, On, Canada, August 11-12, 2005, Revised Selected Papers
- Logic Based Program Synthesis and Transformation: 15th International Symposium, Lopstr 2005, London, UK, September 7-9, 2005, Revised Selected Papers
- Computer Music Modeling and Retrieval
- Information Security Practice and Experience: Second International Conference, Ispec 2006, Hangzhou, China, April 11-14, 2006, Proceedings
- Genetic Programming: 9th European Conference, Eurogp 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
- Evolutionary Computation in Combinatorial Optimization: 6th European Conference, Evocop 2006, Budapest, Hungary, April 10-12, 2006, Proceedings
- Applications of Evolutionary Computing: Evoworkshops 2006: Evobio, Evocomnet, Evohot, Evoiasp, Evointeraction, Evomusart, and Evostoc, Budapest, Hunga
- Innovative Internet Community Systems
- Parallel Processing and Applied Mathematics: 6th International Conference, Ppam 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
- Active Networks: Ifip Tc6 6th International Working Conference, Iwan 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers
- Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications
- Knowledge Discovery from XML Documents: First International Workshop, Kdxd 2006, Singapore, April 9, 2006, Proceedings
- Intelligence and Security Informatics: International Workshop, Wisi 2006, Singapore, April 9, 2006, Proceedings
- Digital Rights Management: Technologies, Issues, Challenges and Systems
- Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, Tacas 2006, Held as Part of the Joint European Confe
- Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferenc
- Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint European Conferences on Theory and
- Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Softw
- Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
- Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
- Graphics Recognition. Ten Years Review and Future Perspectives
- Hybrid Systems: Computation and Control: 9th International Workshop, Hscc 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
- Smart Card Research and Advanced Applications: 7th Ifip Wg 8.8/11.2 International Conference, Cardis 2006, Tarragona, Spain, April 19-21, 2006, Procee
- Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Application
- Neural Nets: 16th Italian Workshop on Neural Nets, Wirn 2005, International Workshop on Natural and Artificial Immune Systems, Nais
- Knowledge Discovery in Inductive Databases: 4th International Workshop, Kdid 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Pape
- Security in Pervasive Computing: Third International Conference, Spc 2006, York, UK, April 18-21, 2006, Proceedings
- Information Security and Cryptology - Icisc 2005: 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers
- Advances in Information Retrieval: 28th European Conference on IR Research, Ecir 2006, London, UK, April 10-12, 2006, Proceedings
- Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms: Aamas 2005 Workshop, Amec 2005, Utrecht, Netherlands, July 25, 2005, and
- Architecting Systems with Trustworthy Components
- Subspace, Latent Structure and Feature Selection
- Interactive Systems. Design Specification, and Verification: 12th International Workshop, Dsvis 2005, Newcastle Upon Tyne, UK, July 13-15, 2005, Revis
- Technologies for E-Learning and Digital Entertainment: First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedin
- Rapid Integration of Software Engineering Techniques
- Functional and Logic Programming: 8th International Symposium, Flops 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
- Advances in Grid and Pervasive Computing: First International Conference, Gpc 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings
- Cognitive Vision Systems: Sampling the Spectrum of Approaches
- Agent-Oriented Software Engineering VI
- Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I
- Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II
- Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III
- Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV
- Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005
- Security Protocols: 12th International Workshop Cambridge, UK, April 26-28, 2004: Revised Selected Papers
- Public Key Cryptography - Pkc 2006: 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 20
- Theory and Applications of Models of Computation: Third International Conference, Tamc 2006, Beijing, China, May 15-20, 2006, Proceedings
- Information Networking Advances in Data Communications and Wireless Networks: International Conference, Icoin 2006, Sendai, Japan, January 16-19, 2006
- Persuasive Technology
- Testing of Communicating Systems
- Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
- Software Process Change
- Computer Science -- Theory and Applications
- Pervasive Computing: 4th International Conference, Pervasive 2006, Dublin, Ireland, May 7-10, 2006, Proceedings
- Coding and Cryptography: International Workshop, Wcc 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers
- Wired/Wireless Internet Communications
- Advances in Neural Networks - Isnn 2006: Third International Symposium on Neural Networks, Isnn 2006, Chengdu, China, May 28 - June 1, 2006, Proceedin
- Advances in Neural Networks - Isnn 2006: Third International Symposium on Neural Networks, Isnn 2006, Chengdu, China, May 28 - June 1, 2006, Proceedin
- Advances in Neural Networks - Isnn 2006: Third International Symposium on Neural Networks, Isnn 2006, Chengdu, China, May 28 - June 1, 2006, Proceedin
- Principles of Distributed Systems
- Intelligence and Security Informatics
- Networking 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications
- Advances in XML Information Retrieval and Evaluation
- Computer Vision in Human-Computer Interaction: Eccv 2006 Workshop on Hci, Graz, Austria, May 13, 2006, Proceedings
- Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
- Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II
- Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
- Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
- Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
- Reconfigurable Computing: Architectures and Applications: Second International Workshop, ARC 2006, Delft, the Netherlands, March 1-3, 2006 Revised Sel
- Trust Management
- Location- And Context-Awareness: Second International Workshop, Loca 2006, Dublin, Ireland, May 10-11, 2006, Proceedings
- Logical Approaches to Computational Barriers
- Applied Cryptography and Network Security
- Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems
- Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
- Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II
- Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III
- Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
- Emerging Trends in Information and Communication Security
- Self-Managed Networks, Systems, and Services: Second IEEE International Workshops, Selfman 2006, Dublin, Ireland, June 16, 2006, Proceedings
- Formal Approaches to Software Testing
- Algorithms and Complexity
- Natural Language Processing and Information Systems
- Advanced Information Systems Engineering
- Next Generation Teletraffic and Wired/Wireless Advanced Networking
- Advances in Cryptology - Eurocrypt 2006: 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Rus
- Reliable Software Technologies -- ADA-Europe 2006
- Experimental Algorithms
- Combinatorial Pattern Matching
- Unifying Theories of Programming: First International Symposium, Utp 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Pa
- The Semantic Web: Research and Applications: 3rd European Semantic Web Conference, Eswc 2006, Budva, Montenegro, June 11-14, 2006, Proceedings
- Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
- Implementation and Application of Functional Languages: 17th International Workshop, Ifl 2005, Dublin, Ireland, September 19-21, 2005, Revised Selecte
- Advances in Web-Age Information Management: 7th International Conference, Waim 2006, Hong Kong, China, June 17-19, 2006, Proceedings
- Embedded Computer Systems: Architectures, Modeling, and Simulation: 6th International Workshop, Samos 2006, Samos, Greece, July 17-20, 2006, Proceedin
- Adaptive Hypermedia and Adaptive Web-Based Systems
- Algebraic Methodology and Software Technology
- Accessing Multilingual Information Repositories: 6th Workshop of the Cross-Language Evaluation Forum, Clef 2005, Vienna, Austria, 21-23 September, 200
- Systems Biology and Regulatory Genomics: Joint Annual Recomb 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, US
- Petri Nets and Other Models of Concurrency - Icatpn 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of C
- Distributed Applications and Interoperable Systems: 6th Ifip Wg 6.1 International Conference, Dais 2006, Athens, Greece, June 14-16, 2006
- Distributed Computing in Sensor Systems
- Dependable Systems: Software, Computing, Networks: Research Results of the Dics Program
- Hybrid Metaheuristics: Third International Workshop, Hm 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
- Next Generation Information Technologies and Systems
- Performability Has Its Price: 5th International Workshop on Internet Charging and Qos Technologies, Icqt 2006, St. Malo, France, June 27, 2006, Proc
- Product-Focused Software Process Improvement: 7th International Conference, Profes 2006, Amsterdam, the Netherlands, June 12-14, 2006, Proceedings
- Advances in Computer Graphics
- Developments in Language Theory
- Formal Methods for Open Object-Based Distributed Systems
- Coordination Models and Languages
- Reuse of Off-The-Shelf Components
- Combinatorial Image Analysis: 11th International Workshop, Iwcia 2006, Berlin, Germany, June 19-21, 2006, Proceedings
- Algorithmic Aspects in Information and Management
- Flexible and Efficient Information Handling: 23rd British National Conference on Databases, Bncod 23, Belfast, Northern Ireland, UK, July 18-20, 2006,
- Public Key Infrastructure: Third European Pki Workshop: Theory and Practice, Europki 2006, Turin, Italy, June 19-20, 2006, Proceedings
- Extreme Programming and Agile Processes in Software Engineering: 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
- Digital Mammography: 8th International Workshop, Iwdm 2006, Manchester, UK, June 18-21, 2006, Proceedings
- Fast Software Encryption: 13th International Workshop, Fse 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
- Transactions on High-Performance Embedded Architectures and Compilers I
- Automata, Languages and Programming: 33rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
- Automata, Languages and Programming: 33rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
- Intelligent Tutoring Systems: 8th International Conference, Its 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
- Formal Methods and Stochastic Models for Performance Evaluation
- Data Engineering Issues in E-Commerce and Services
- Structural Information and Communication Complexity: 13th International Colloquium, Sirocco 2006, Chester, UK, July 2-5, 2006, Proceedings
- Biomedical Image Registration: Third International Workshop, Wbir 2006, Utrecht, the Netherlands, July 9-11, 2006, Proceedings
- Information Security and Privacy
- Algorithm Theory - Swat 2006
- Algebra, Meaning, and Computation
- Computers Helping People with Special Needs: 10th International Conference, Icchp 2006, Linz, Austria, July 11-13, 2006, Proceedings
- Rough Sets and Knowledge Technology: First International Conference, Rskt 2006, Chongquing, China, July 24-26, 2006, Proceedings
- Component-Based Software Engineering: 9th International Symposium, Cbse 2006, Vasteras, Sweden, June 29 - July 1, 2006, Proceedings
- Detection of Intrusions and Malware, and Vulnerability Assessment: Third International Conference, Dimva 2006, Berlin, Germany, July 13-14, 2006, Proc
- Model-Driven Architecture - Foundations and Applications: Second European Conference, Ecmda-Fa 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
- Ecoop 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
- Articulated Motion and Deformable Objects
- Image and Video Retrieval: 5th Internatinoal Conference, Civr 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings
- Biomedical Simulation: Third International Symposium, Isbms 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings
- Smart Graphics: 6th International Symposium, Sg 2006, Vancover, Canada, July 23-25, 2006, Proceedings
- Secure Mobile Ad-Hoc Networks and Sensors
- Algorithmic Number Theory
- Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, Pa, USA, July 26-28, 2006, Proceedings
- Logic Programming: 22nd International Conference, Iclp 2006, Seattle, Wa, USA, August 17-20, 2006, Proceedings
- Database and Expert Systems Applications: 17th International Conference, Dexa 2006, Krakow, Poland, September 4-8, 2006, Proceedings
- Data Warehousing and Knowledge Discovery: 8th International Conference, Dawak 2006, Krakow, Poland, September 4-8, 2006, Proceedings
- E-Commerce and Web Technologies: 7th International Conference, Eiweb 2006, Krakow, Poland, September 5-7, 2006, Proceedings
- Trust and Privacy in Digital Business
- Electronic Government: 5th International Conference, Egov 2006, Krakow, Poland, September 4-8, 2006, Proceedings
- FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
- Sequences and Their Applications Seta 2006: 4th International Conference, Beijing, China, September 24-28, 2006, Proceedings
- Lecture Notes in Computer Science / Lecture Notes in Artific #4088: Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, Prima 2006, Guilin, China, August 7
- Software Composition: 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
- Journal on Data Semantics VI
- Medical Imaging and Augmented Reality: Third International Workshop, Shanghai, China, August 17-18, 2006, Proceedings
- Implementation and Application of Automata: 11th International Conference, Ciaa 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
- From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behavior, Sab 2006, Rome, Italy, September 25-29, 2006, Proceed
- Embedded and Ubiquitous Computing: International Conference, Euc 2006, Seoul, Korea, August 1-4, 2006, Proceedings
- Emerging Directions in Embedded and Ubiquitous Computing: Euc 2006 Workshops: Ncus, Secubiq, USN, Trust, Eso, and MSA, Seoul, Korea, August 1-4, 2006,
- Term Rewriting and Applications: 17th International Conference, Rta 2006 Seattle, Wa, USA, August 12-14, 2006 Proceedings
- Transactions on Rough Sets V
- Cooperative Design, Visualization, and Engineering: Third International Conference, Cdve 2006, Mallorca, Spain, September 17-20, 2006, Proceedings
- Business Process Management: 4th International Conference, Bpm 2006, Vienna, Austria, September 5-7, 2006, Proceedings
- Business Process Management Workshops
- Ad-Hoc, Mobile, and Wireless Networks
- Multimedia Content Representation, Classification and Security: International Workshop, Mrcs 2006, Istanbul, Turkey, September 11-13, 2006, Proceeding
- Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27 - March 2, 2006, Revised S
- Structural, Syntactic, and Statistical Pattern Recognition: Joint Iapr International Workshops, Sspr 2006 and Spr 2006, Hong Kong, China, August 17-19
- Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 9th International Workshop on Approximation Algorithms for Co
- Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures
- Computing and Combinatorics: 12th Annual International Conference, Cocoon 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings
- Intelligent Computing: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I
- Security and Cryptography for Networks: 5th International Conference, Scn 2006, Maiori, Italy, September 6-8, 2006, Proceedings
- Advances in Cryptology - Crypto 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings
- Agents and Peer-To-Peer Computing: 4th International Workshop, Ap2pc 2005, Utrecht, Netherlands, J Uly 25, 2005, Revised and Invited Papers
- Advanced Topics in Exception Handling Techniques
- Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, USA, August 12-15, 2006, Proceedings
- Multimodal Technologies for Perception of Humans: First International Evaluation Workshop on Classification of Events, Activities and Relationships, C
- General Theory of Information Transfer and Combinatorics
- Self-Organizing Systems: First International Workshop, Iwsos 2006 and Third International Workshop on New Trends in Network Architectures and S
- Databases, Information Systems, and Peer-To-Peer Computing
- Reasoning Web: Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
- Data and Applications Security XX: 20th Annual Ifip Wg 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-Au
- Euro-Par 2006 Parallel Processing: 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings
- Haptic and Audio Interaction Design: First International Workshop, Haid 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings
- Artificial Neural Networks - Icann 2006: 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I
- Artificial Neural Networks - Icann 2006: 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
- Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
- Unconventional Computation: 5th International Conference
- Relations and Kleene Algebra in Computer Science
- Concur 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006
- Wireless Algorithms, Systems, and Applications
- Advances in Artificial Intelligence - Iberamia-Sbia 2006: 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI
- Image Analysis and Recognition: Third International Conference, Iciar 2006, Pvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I
- Image Analysis and Recognition: Third International Conference, Iciar 2006, Pvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II
- Generative and Transformational Techniques in Software Engineering: International Summer School, Gttse 2005, Braga, Portugal, July 4-8, 2005. Revised
- Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, USA, August 17-20, 2006, Proceedings
- Provenance and Annotation of Data: International Provenance and Annotation Workshop, Ipaw 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Pape
- Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, Aswsd 2004, San Diego, CA, USA, January 10-12, 2004 Rev
- Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 16th International Workshop, Patmos 2006, Montpellier, F
- Ant Colony Optimization and Swarm Intelligence: 5th International Workshop, Ants 2006, Brussels, Belgium, September 4-7, 2006, Proceedings
- Mathematical Software - Icms 2006: Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
- Advances in Databases and Information Systems: 10th East European Conference, Adbis 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings
- Advances in Machine Vision, Image Processing, and Pattern Analysis: International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, Iwi
- Groupware: Design, Implementation, and Use: 12th International Workshop, Criwg 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings
- Database and XML Technologies: 4th International XML Database Symposium
- Rigorous Development of Complex Fault-Tolerant Systems
- Autonomic and Trusted Computing: Third International Conference, Atc 2006, Wuhan, China, September 3-6, 2006
- Ubiquitous Intelligence and Computing: Third International Conference, Uic 2006, Wuhan, China, September 3-6, 2006, Proceedings
- Entertainment Computing - Icec 2006: 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings
- Mathematical Foundations of Computer Science 2006: 31st International Symposium, Mfcs 2006 Star Lesn, Slovakia, August 28-September 1, 2006 Proceeding
- Artificial Immune Systems: 5th International Conference, Icaris 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings
- Central European Functional Programming School: First Central European Summer School, Cefp 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
- Secure Data Management: Third Vldb Workshop, Sdm 2006, Seoul, Korea, September 10-11, 2006, Proceedings
- Computer Safety, Reliability and Security: 25th International Conference, SAFECOMP 2006 Gdansk, Poland, September 27-29, 2006 Proceedings
- Distributed Computing: 20th International Symposium
- Algorithms - ESA 2006: 14th Annual European Symposium
- Parameterized and Exact Computation: Second International Workshop
- Toward Category-Level Object Recognition
- Verified Software: Theories, Tools, Experiments: First Ifip Tc 2/Wg 2.3 Conference, Vstte 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele
- Research and Advanced Technolory for Digital Libraries
- Cellular Automata
- Pattern Recognition: 28th Dagm Symposium, Berlin, Germany, September 12-14, 2006, Proceedings
- Information Security: 9th International Conference; Isc 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings
- Graph Transformations: Third International Conference, Icgt 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006, Proceedings
- Advanced Concepts for Intelligent Vision Systems: 8th International Conference
- Advances in Web Based Learning -- Icwl 2006: 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers
- Information Retrieval Technology
- Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
- The Semantic Web Aswc 2006: First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
- Advances in Computer Systems Architecture: 11th Asia-Pacific Conference, Acsac 2006, Shanghai, China, September 6-8, 2006, Proceedings
- Principles and Practices of Semantic Web Reasoning: 4th International Workshop
- Computer Security - Esorics 2006: 11th European Symposium on Research in Computer Security
- Medical Image-Computing and Computer-Assisted Intervention - Miccai 2006
- Medical Image Computing and Computer-Assisted Intervention Miccai 2006: 9th International Conference Copenhagen, Denmark, October 1-6, 2006, Proceedin
- Recent Advances in Parallel Virtual Machine and Message Passing Interface: 13th European Pvm/Mpi User's Group Meeting, Bonn, Germany, September 17-20,
- Parallel Problem Solving from Nature - Ppsn IX
- Computer Algebra in Scientific Computing
- Autonomic Networking
- Multiagent System Technologies: 4th German Conference, Mates 2006, Erfurt, Germany, September 19-20, 2006, Proceedings
- Geographic Information Science: 4th International Conference, Giscience 2006 Mnster, Germany, September 20-23, 2006 Proceedings
- Advances in Web Mining and Web Usage Analysis: 7th International Workshop on Knowledge Discovery on the Web, Webkdd 2005, Chicago, Il, USA, August 21,
- Model Driven Engineering Languages and Systems: 9th International Conference, Models 2006, Genova, Italy, October 1-6, 2006, Proceedings
- Grammatical Interference: Algorithms and Applications
- Formal Modeling and Analysis of Timed Systems: 4th International Conference
- Principle and Practice of Constraint Programming - Cp 2006: 12th International Conference, Cp 2006, Nantes, France, September 25-29, 2006, Proceedings
- Ubicomp 2006: Ubiquitous Computing: 8th International Conference, Ubicomp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings
- Computer Science Logic
- High Performance Computing and Communications
- String Processing and Information Retrieval: 13th International Conference, Spire 2006, Glasgow, UK, October 11-13, 2006, Proceedings
- Computational Methods in Systems Biology: International Conference, Cmsb 2006, Trento, Italy, October 18-19, 2006, Proceedings
- Symbol Grounding and Beyond: Third International Workshop on the Emergence and Evolution of Linguistic Communications, Eelc 2006, Rome, Italy, Sept
- Machine Learning: Ecml 2006
- Quality of Software Architectures: Second International Conference on Quality of Software Architectures, Qosa 2006, Vasteras, Schweden, June 27-29, 20
- Conceptual Modeling - Er 2006
- Personal Wireless Communications: Ifip Tc6 11th International Conference, Pwc 2006, Albacete, Spain, September 20-22, 2006, Proceedings
- Automated Technology for Verification and Analysis: 4th International Symposium, Atva 2006, Beijing, China, October 23-26, 2006, Proceedings
- Recent Advances in Intrusion Detection: 9th International Symposium, Raid 2006, Hamburg, Germany, September 20-22, 2006, Proceedings
- Transactions on Computational Systems Biology VI
- Advances in Natural Computation: Second International Conference, Icnc 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part I
- Advances in Natural Computation: Second International Conference, Icnc 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part II
- Fuzzy Systems and Knowledge Discovery: Third International Conference, Fskd 2006, Xi'an, China, September 24-28, 2006, Proceedings
- Intelligent Data Engineering and Automated Learning - Ideal 2006: 7th International Conference
- Progress in Pattern Recognition, Image Analysis and Applications: 11th Iberoamerican Congress on Pattern Recognition, Ciarp 2006, Cancn, Mexico, Novem
- Informatics Education - The Bridge Between Using and Understanding Computers: International Conference on Informatics in Secondary Schools - Evolution
- Innovative Approaches for Learning and Knowledge Sharing: First European Conference on Technology Enhanced Learning, EC-Tel 2006, Crete, Greece, Octob
- Modular Programming Languages: 7th Joint Modular Languages Conference, Jmlc 2006 Oxford, UK, September 13-15, 2006 Proceedings
- Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006,
- Transactions on Computational Systems Biology VII
- Advances in Conceptual Modeling - Theory and Practice
- Neural Information Processing: 13th International Conference, Iconip 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I
- Neural Information Processing: 13th International Conference, Iconip 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part II
- Neural Information Processing: 13th International Conference, Iconip 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III
- Combinatorial and Algorithmic Aspects of Networking: Third Workshop, Caan 2006, Chester, UK, July 2, 2006, Revised Papers
- Fault Diagnosis and Tolerance in Cryptography: Third International Workshop, Fdtc 2006, Yokohama, Japan, October 10, 2006, Proceedings
- Communications and Multimedia Security: 10th Ifip Tc-6 Tc 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceed
- Management of Convergence Networks and Services: 9th Asia-Pacific Network Operations and Management Symposium, Apnoms 2006, Busan, Korea, September 27
- Ubiquitous Computing Systems: Third International Symposium, Ucs 2006, Seoul, Korea, October 11-13, 2006, Proceedings
- Algorithmic Aspects of Wireless Sensor Networks: Second International Workshop, Algosensors 2006, Venice, Italy, July 15, 2006, Revised Selected Paper
- Computer Vision Approaches to Medical Image Analysis: Second International Eccv Workshop, Cvamia 2006, Graz, Austria, May 12, 2006, Revised Papers
- Transactions on Aspect-Oriented Software Development II: Focus: Aop Systems, Software and Middleware
- Advances in Information Systems: 4th International Conference, Advis 2006, Izmir, Turkey, October 18-20, 2006
- Journal on Data Semantics VII
- Discrete Geometry for Computer Imagery: 13th International Conference, Dgci 2006, Szeged, Hungary, October 25-27, 2006, Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P
- Simulated Evolution and Learning: 6th International Conference, Seal 2006, Hefei, China, October 15-18, 2006, Proceedings
- Cryptographic Hardware and Embedded Systems - Ches 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
- Advances in Computer Games
- Knowledge-Based Intelligent Information and Engineering Systems: 10th International Conference, Kes 2006, Bournemouth, UK, October 9-11 2006, Proceedi
- Current Trends in Database Technology - Edbt 2006: Edbt 2006 Workshop PhD, Datax, Iidb, Iiha, Icsnw, Qlqp, Pim, Parma, and Reactivity on the Web, Muni
- Web Information Systems - Wise 2006: 7th International Conference in Web Information Systems Engineering, Wuhan, China, October 23-26, 2006, Proceedin
- Web Information Systems - Wise 2006 Workshops
- Software Process Improvement
- Privacy Enhancing Technologies
- Rough Sets and Current Trends in Computing: 5th International Conference, Rsctc 2006, Kobe, Japan, November 6-8, 2006, Proceedings
- Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Pro
- Advances in Multimedia Information Processing - Pcm 2006: 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings
- Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, USA, Augus
- Computer and Information Sciences - Iscis 2006: 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings
- Advances in Information and Computer Security: First International Workshop on Security, Iwsec 2006, Kyoto, Japan, October 23-24, 2006, Proceedings
- Autonomic Management of Mobile Multimedia Services: 9th Ifip/IEEE International Conference on Management of Multimedia and Mobile Networks and Service
- Autonomic Principles of IP Operations and Management: 6th IEEE International Workshop on IP Operations and Management, Ipom 2006, Dublin, Ireland, Oct
- Large Scale Management of Distributed Systems: 17th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2006, Dub
- Interactive Technologies and Sociotechnical Systems: 12th International Conference, Vsmm 2006, Xi'an, China, October 18-20, 2006, Proceedings
- Graph-Theoretic Concepts in Computer Science: 32nd International Workshop, Wg 2006, Bergen, Norway, June 22-23, 2006, Revised Papers
- Smart Sensing and Context
- The Semantic Web - Iswc 2006: 5th International Semantic Web Conference, Iswc 2006, Athens, Ga, USA, November 5-9, 2006, Proceedings
- Chinese Spoken Language Processing: 5th International Symposium, Iscslp 2006, Singapore, December 13-16, 2006, Proceedings
- On the Move to Meaningful Internet Systems 2006: Coopis, DOA, Gada, and Odbase: Otm Confederated International Conferences, Coopis, DOA, Gada, and Odb
- On the Move to Meaningful Internet Systems 2006: Coopis, DOA, Gada, and Odbase: Otm Confederated International Conferences, Coopis, DOA, Gada, and Odb
- On the Move to Meaningful Internet Systems 2006: Otm 2006 Workshops: Otm Confederated International Conferences and Posters, Awesome, Cams, Cominf, Is
- On the Move to Meaningful Internet Systems 2006: Otm 2006 Workshops: Otm Confederated International Conferences and Posters, Awesome, Cams, Cominf, Is
- Programming Languages and Systems: 4th Asian Symposium, Aplas 2006, Sydney, Australia, November 8-10, 2006, Proceedings
- Stabilization, Safety, and Security of Distributed Systems: 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
- Theoretical Aspects of Computing - Ictac 2006
- Advances in Artificial Reality and Tele-Existence: 16th International Conference on Artificial Reality and Telexistence, iCat 2006, Hangzhou, China, N
- Digital Watermarking: 5th International Workshop, Iwdw 2006, Jeju Island, Korea, November 8-10, 2006, Proceedings
- Advances in Cryptology -- Asiacrypt 2006: 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai
- Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead: 21st International Conference, Iccpol 2006, Singapore, De
- Internet and Network Economics: Second International Workshop, Wine 2006, Patras, Greece, December 15-17, 2006, Proceedings
- DNA Computing: 12th International Meeting on DNA Computing, Dna12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
- Algorithms and Computation: 17th International Symposium, Isaac 2006, Kolkata, India, December 18-20, 2006, Proceedings
- Middleware 2006: ACM/Ifip/Usenix 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceed
- Advances in Visual Computing: Second International Symposium, Isvc 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I
- Advances in Visual Computing: Second International Symposium, Isvc 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II
- Micai 2006: Advances in Artificial Intelligence: 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 200
- Service-Oriented Computing - Icsoc 2006: 4th International Conference, Chicago, Il, USA, December 4-7, Proceedings
- Web and Wireless Geographical Information Systems: 6th International Symposium, W2gis 2006, Hong Kong, China, December 4-5, 2006, Proceedings
- Information Security and Cryptology a " Icisc 2006: 9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings
- High Performance Computing - HIPC 2006: 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
- Information Security Applications: 7th International Workshop, Wisa 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
- Machine Learning for Multimodal Interaction: Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers
- Transactions on Data Hiding and Multimedia Security I
- Cryptology and Network Security: 5th International Conference, Cans 2006, Suzhou, China, December 8-10, 2006, Proceedings
- Privacy in Statistical Databases: Cenex-Sdc Project International Conference, Psd 2006, Rome, Italy, December 13-15, 2006, Proceedings
- Advances in Knowledge Acquisition and Management: Pacific Rim Knowledge Acquisition Workshop, Pkaw 2006, Guilin, China, August 7-8, 2006, Revised Sele
- AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proc
- Principles of Distributed Systems: 10th International Conference, Opodis 2006, Bordeaux, France, December 12-15, 2006, Proceedings
- Semantic Multimedia: First International Conference on Semantic and Digital Media Technologies, Samt 2006, Athens, Greece, December 6-8, 20
- Information and Communications Security: 8th International Conference, Icics 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings
- Distributed Computing and Networking
- Software Engineering Education in the Modern Age: Software Education and Training Sessions at the International Conference, on Software Engineering, I
- Numerical Methods and Applications: 6th International Conference, Nma 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers
- Technologies for Advanced Heterogeneous Networks II: Second Asian Internet Engineering Conference, Aintec 2006, Pathumthani, Thailand, November 28-30,
- Digital Libraries: Achievements, Challenges and Opportunities: 9th International Conference on Asian Digial Libraries, Icadl 2006, Kyoto, Japan, Novem
- Leveraging Applications of Formal Methods: First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected
- Openmp Shared Memory Parallel Programming: International Workshop, Iwomp 2005 and Iwomp 2006, Eugene, Or, USA, June 1-4, 2005, and Reims, France, June
- Data Mining and Bioinformatics
- Distributed Computing and Internet Technology: Third International Conference, Icdcit 2006, Bhubaneswar, India, December 20-23, 2006
- Information Security and Cryptology: Second Sklois Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings
- Advances in Image and Video Technology: First Pacific Rim Symposium, Psivt 2006, Hsinchu, Taiwan, December 10-13, 2006, Proceedings
- System Analysis and Modeling: Language Profiles: 5th International Workshop, Sam 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selecte
- The Adaptive Web: Methods and Strategies of Web Personalization
- Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
- Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape
- Mobile Ad-Hoc and Sensor Networks: Second International Conference, Msn 2006, Hong Kong, China, December 13-15, 2006, Proceedings
- Technologies for Interactive Digital Storytelling and Entertainment: Third International Conference, Tidse 2006, Darmstadt, Germany, December 4-6, 200
- Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Pa
- Service Availability: Third International Service Availability Symposium, Isas 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Pa
- Progress in Cryptology - Indocrypt 2006: 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006, Proceedings
- Parallel and Distributed Processing and Applications: 4th International Symposium, Ispa 2006, Sorrento, Italy, December 4-6, 2006, Proceedings
- Frontiers of High Performance Computing and Networking a " Ispa 2006 Workshops: Ispa 2006 International Workshops Fhpcn, Xhpc, S-Grace, Gridgis, HPC-G
- Information Systems Security
- Practical Aspects of Knowledge Management: 6th Internatioal Conference, Pakm 2006, Vienna, Austria, November 30-December 1, 2006, Proceedings
- Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino
- Empirical Software Engineering Issues Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, R
- Fsttcs 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006,
- Computer Vision, Graphics and Image Processing: 5th Indian Conference, Icvgip 2006, Madurai, India, December 13-16, 2006, Proceedings
- Languages and Compilers for Parallel Computing: 18th International Workshop, Lcpc 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Pape
- Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows
- Progress in Cryptology - Vietcrypt 2006: First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selec
- Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of Cost Action 274, Tarski, 2002-2005, Selected
- Speaker Classification I: Fundamentals, Features, and Methods
- Software Architecture
- Biological and Medical Data Analysis: 7th International Symposium, Isbmda 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings
- Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, Fmics 2006, and 5th Intern
- Critical Information Infrastructures Security: First International Workshop, Critis 2006, Samos Island, Greece, August 31 - September 1, 2006
- ADA 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/Iec 8652/1995(e) with Technical Corrigendum 1 and Amendment 1
- Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings
- All about Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
- Advances in Multimedia Modeling
- Advances in Multimedia Modeling: 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007, Proceedings, Part II
- Database Theory Icdt 2007
- Practical Aspects of Declarative Languages: 9th International Symposium, Padl 2007, Nice, France, January 14-15, 2007, Proceedings
- B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
- Selected Areas in Cryptography: 13th International Workshop, Sac 2006, Montreal, Canada, August 17-18, 2006, Revised Selected Papers
- Security and Privacy in Ad-Hoc and Sensor Networks
- Dynamical Vision: ICCV 2005 and Eccv 2006 Workshops, Wdv 2005 and Wdv 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 200
- Lecture Notes in Computer Science " #4359: Algorithmic Methods for Railway Optimization: International Dagstuhl Workshop, Railway Opti
- Distributed, High-Performance and Grid Computing in Computational Biology: International Workshop, Gccb 2006, International Workshop, Gccb 2006, Eilat
- Membrane Computing: 7th International Workshop, Wmc 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
- Sofsem 2007: Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech R
- Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Rev
- Models in Software Engineering
- Business Intelligence for the Real-Time Enterprises: First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Pape
- High Performance Embedded Architectures and Compilers: Second International Conference, Hipeac 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
- Approximation and Online Algorithms
- Declarative Programming for Knowledge Management
- Pixelization Paradigm: Visual Information Expert Workshop, View 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
- Computational Logic in Multi-Agent Systems: 7th International Workshop, Clima VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
- Graph Drawing: 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers
- Wireless Sensor Networks: 4th European Conference, Ewsn 2007, Delft, the Netherlands, January 29-31, 2007, Proceedings
- Transactions on Rough Sets VI
- Euro-Par 2006: Parallel Processing: Workshops: Coregrid 2006, Unicore Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, German
- Job Scheduling Strategies for Parallel Processing: 12th International Workshop, Jsspp 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
- Topics in Cryptology a " CT-Rsa 2007: The Cryptographers' Track at the Rsa Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
- Perspective of Systems Informatics
- Object-Oriented Technology.Ecoop 2006 Workshop Reader: Ecoop 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
- Journal on Data Semantics VIII
- Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China,
- Languages and Compilers for Parallel Computing: 19th International Workshop, Lcpc 2006, New Orleans, La, USA, November 2-4, 2006, Revised Papers
- Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Rev
- Task Models and Diagrams for Users Interface Design: 5th International Workshop, Tamodia 2006 Hassekt, Belgium, October 23-24, 2006 Revised Papers
- Coordination, Organizations, Institutions, and Norms in Agent Systems II: Aamas 2006 and Ecai 2006 International Workshops, Coin 2006 Hakodate, Japan,
- Lecture Notes in Computer Science / Computer Communication N #4388: Active and Programmable Networks: Ifip Tc6 7th International Working Conference, Iwan 2005, Sophia Antipolis, France, November 21-23
- Environments for Multi-Agent Systems III: Third International Workshop, E4mas 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers
- Progress in Nonlinear Speech Processing
- Theory of Cryptography: 4th Theory of Cryptography Conference, Tcc 2007, Amsterdam, the Netherlands, February 21-24, 2007, Proceedings
- Stacs 2007
- Computational Linguistics and Intelligent Text Processing: 8th International Conference, Cicling 2007, Mexico City, Mexico, February 18-24, 2007, Proc
- High Performance Computing for Computational Science - Vecpar 2006: 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Se
- Wireless Systems and Mobility in Next Generation Internet: Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9
- Universal Access in Ambient Intelligence Environments: 9th Ercim Workshop on User Interfaces for All, K??nigswinter, Germany, September 27-28, 2006, R
- Adaptive Multimedia Retrieval: User, Context, and Feedback: 4th International Workshop, Amr 2006, Geneva, Switzerland, July, 27-28, 2006, Revised Sele
- Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers
- Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II
- Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Sel
- Computer Supported Cooperative Work in Design III: 10th International Conference, Cscwd 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
- Evolutionary Multi-Criterion Optimization: 4th International Conference, Emo 2007, Matsushima, Japan, March 5-8, 2007, Proceedings
- Visual Data Mining: Theory, Techniques and Tools for Visual Analytics
- Agent-Oriented Software Engineering 7: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
- Advances in Smaltalk: 14th International Smaltalk Conference, Isc 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
- Logic-Based Program Synthesis and Transformation: 16th International Symposium, Lopstr 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
- Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications
- Recent Trends in Algebraic Development Techniques: 18th International Workshop, Wadt 2006, La Roche En Ardenne, Belgium, June 1-3, 2006, Revised Selec
- Ubiquitous Convergence Technology: First International Conference, Icuct 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
- Bioinformatics Research and Development: First International Conference, Bird 2007, Berlin, Germany, March 12-14, 2007, Proceedings
- Architecture of Computing Systems - ARCS 2007: 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
- Hybrid Systems: Computation and Control
- Human-Centered Visualization Environments: GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers
- Advances in Computer Vision and Computer Graphics: Third International Conference on Computer Vision/Computer Graphics, Mirage 2007, Rocquencourt, Fra
- Reconfigurable Computing: Architectures, Tools and Applications: Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proce
- Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Softw
- Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Pra
- Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint European Conferences on Theory and
- Foundations of Software Science and Computational Structures: 10th International Conference, Fossacs 2007, Held as Part of the Joint European Conferen
- Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer
- Advances in Information Retrieval: 29th European Conference on IR Research, Ecir 2007, Rome, Italy, April 2-5, 2007, Proceedings
- Advances in Knowledge Discovery and Data Mining: 11th Pacific-Asia Conference, Pakdd 2007, Nanjing, China, May 22-25, 2007, Proceedings
- Passive and Active Network Measurement
- Model Checking and Artificial Intelligence: 4th Workshop, Mochart IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
- Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005 Revised Selected Papers
- Intelligence and Security Informatics: Pacific Asia Workshop, Paisi 2007, Chengdu, China, April 11-12, 2007, Proceedings
- Adaptive and Natural Computing Algorithms: 8th International Conference, Icannga 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
- Adaptive and Natural Computing Algorithms
- Swarm Robotics: Second Sab 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers
- Advances in Computer Science - Asian 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 20
- Foundations of Genetic Algorithms: 9th International Workshop, Foga 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
- Information Hiding: 8th International Workshop, Ih 2006, Alexandria, Va, USA, July 10-12, 2006, Revised Seleceted Papers
- Leveraging the Semantics of Topics Maps: Second International Conference on Topic Maps Research and Applications, Tmra 2006, Leipzig, Germany, October
- Business Information Systems: 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings
- Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
- Lecture Notes in Computer Science " #4442: Multi-Agent-Based Simulation VII: International Workshop, Mabs 2006, Hakodate, Japan, May 8
- Advances in Databases: Concepts, Systems and Applications: 12th International Conference on Database Systems for Advanced Applications, Dasfaa 2007, B
- Program Analysis and Compilation. Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
- Genetic Programming
- Evolutionary Computation in Combinatorial Optimization
- Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007
- Applications of Evolutionary Computing: EvoWorkshops 2007: EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTRANSLOG, Valencia,
- Implementation and Application of Functional Languages: 18th International Symposium, Ifl 2006, Budapest, Hungary, September 4-6, 2006, Revised Select
- Public Key Cryptography - Pkc 2007
- Agent-Mediated Electronic Commerce: Automated Negotiation and Strategy Design for Electronic Markets: AAMAS 2006 Workshop, TADA/AMEC 2006 Hakodate, Ja
- Research in Computational Molecular Biology: 11th Annunal International Conference, Recomb 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings
- Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
- Inductive Logic Programming: 16th International Conference, Ilp 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
- Computational Intelligence and Security: International Conference, Cis 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers
- Engineering Societies in the Agents World VII: 7th International Workshop, Esaw 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited
- Mobile Response: First International Workshop on Mobile Information Technology, for Emergency Response, Mobile Response 2007, Sankt Aug
- Advances in Grid and Pervasive Computing: Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings
- Lecture Notes in Computer Science " #4460: Algebraic and Proof-Theoretic Aspects of Non-Classical Logics: Papers in Honor of Daniele M
- Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems: First Ifip Tc6 / Wg 8.8 / Wg 11.2 International Works
- Bioinformatics Research and Applications: Third International Symposium, Isbra 2007, Atlanta, Ga, USA, May 7-10, 2007, Proceedings
- Information Security Practice and Experience
- Network Control and Optimization: First Eurofgi International Conference, Net-COOP 2007 Avignon, France, June 5-7, 2007 Proceedings
- Functional Imaging and Modeling of the Heart: 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007
- Coordination Models and Language: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
- Formal Methods for Open Object-Based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proce
- Technologies for E-Learning and Digital Entertainment: Second International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007, Proceedi
- Software Process Dynamics and Agility: International Conference on Software Process, ICSP 2007 Minneapolis, MN, USA, May 19-20, 2007 Proceedings
- Interactive TV: A Shared Experience: 5th European Conference, EuroITV 2007 Amsterdam, the Netherlands, May 24-25, 2007 Proceedings
- Multiple Classifier Systems: 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings
- Lecture Notes in Computer Science " #4473: Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Ber
- Structural Information and Communication, Complexity: 14th International Colloquium, Sirocco 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings
- Fun with Algorithms: 4th International Conference, FUN 2007 Castiglioncello, Italy, June 3-5, 2007 Proceedings
- Pattern Recognition and Image Analysis: Third Iberian Conference, Ibpria 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I
- Pattern Recognition and Image Analysis: Third Iberian Conference, Ibpria 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II
- Networking 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet: 6th International Ifip-Tc6 Networking Conference, Atlanta, G
- Pervasive Computing: 5th International Conference, Pervasive 2007, Toronto, Canada, May 13-16, 2007, Proceedings
- Rough Sets and Knowledge Technology: Second International Conference, Rskt 2007, Toronto, Canada, May 14-16, 2007, Proceedings
- Logic Programming and Nonmonotonic Reasoning: 9th International Conference, Lpnmr 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
- Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007 Shanghai, China, May 22-25, 2007 Proceedings
- Scale Space Methods and Variational Methods in Computer Vision: First International Conference, Ssvm 2007, Ischia, Italy, May 30 - June 2, 2007, Proce
- Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,
- Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
- Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II
- Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III
- Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV
- Advances in Neural Networks -- Isnn 2007: 4th International Symposium on Neutral Networks, Isnn 2007 Nanjing, China, June 3-7, 2007 Proceedings, Part
- Advances in Neural Networks -- Isnn 2007: 4th International Symposium on Neutral Networks, Isnn 2007 Nanjing, China, June 3-7, 2007 Proceedings, Part
- Advances in Neural Networks -- Isnn 2007: 4th International Symposium on Neural Networks, Isnn 2007 Nanjing, China, June 3-7, 2007 Proceedings, Part I
- Algorithms and Architectures for Parallel Processing: 7th International Conference, Ica3pp 2007, Hangzhou, China, June 11-14, 2007, Proceedings
- Advanced Information Systems Engineering: 19th International Conference, Caise 2007, Trondheim, Norway, June 11-15, 2007, Proceedings
- Agent and Multi-Agent Systems: Technologies and Applications: First Kes International Symposium, Kes-Amsta 2007, Wroclaw, Poland, May 31-June 1, 2007,
- Computation and Logic in the Real World: Third Conference on Computability in Europe, Cie 2007, Siena, Italy, June 18-23, 2007, Proceedings
- Reliable Software Technologies - ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, Jun
- Transactions on Data Hiding and Multimedia Security II
- The Disappearing Computer: Interaction Design, Systems Infrastructures and Applications for Smart Environments
- Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
- Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
- Statistical Network Analysis: Models, Issues, and New Directions: ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, Pa, USA, June 29, 20
- Service-Oriented Computing: Agents, Semantics, and Engineering: AAMAS 2007 International Workshop, SOCASE 2007 Honolulu, Hi, USA, May 14, 2007 Proceed
- Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, Apweb 2007, and 8th International Conference on Web-Age Information Manage
- Intelligence and Security Informatics: Biosurveillance: Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
- Computational and Ambient Intelligence: 9th International Work-Conference on Artificial Neural Networks, Iwann 2007, San Sebasti??n, Spain, June 20-22
- Algorithmic Aspecte in Information and Management: Third International Conference, Aaim 2007, Portland, Or, USA, June 6-8, 2007, Proceedings
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 4th International Conference, CPAIOR 2007 Bruss
- Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development
- Integer Programming and Combinatorial Optimization: 12th International Ipco Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings
- Logical Foundations of Computer Science: International Symposium, Lfcs 2007, New York, NY, USA, June 4-7, 2007, Proceedings
- Advances in Cryptology - EUROCRYPT 2007: 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, S
- Managing Traffic Performance in Converged Networks: 20th International Teletraffic Congress, Itc20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings
- Wired/Wireless Internet Communications: 5th International Conference, WWIC 2007 Coimbra, Portugal, May 23-25, 2007 Proceedings
- Comparative Evaluation of XML Information Retrieval Systems: 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, Inex 20
- The Semantic Web: Research and Applications: 4th European Semantic Web Conference, Eswc 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings
- Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior
- Applied Cryptography and Network Security: 5th International Conference, Acns 2007, Zhuhai, China, June 5-8, 2007, Proceedings
- Image Analysis: 15th Scandinavian Conference, Scia 2007, Aalborg, Denmark, June 10-24, 2007, Proceedings
- Embedded Software and Systems: Third International Conference, Icess 2007, Daegu, Korea, May 14-16, 2007, Proceedings
- Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
- Experimental and Efficient Algorithms: 6th International Workshop, Wea 2007, Rome, Italy, June 6-8, 2007, Proceedings
- Service Availability: 4th International Service Availability Symposium, ISAS 2007 Durham, NH, USA, May 21-22, 2007 Proceedings
- Bio-Inspired Modeling of Cognitive Tasks: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, Iwinac 200
- Nature Inspired Problem-Solving Methods in Knowledge Engineering: Second International Work-Conference on the Interplay Between Natural and Artificial
- Model Driven Architecture - Foundations and Applications: Third European Conference, Ecmda-Fa 2007, Haifa, Israel, June 11-15, 2007, Proceedings
- Distributed Applications and Interoperable Systems: 7th Ifip Wg 6.1 International Conference, Dais 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
- Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
- Optical Network Design and Modeling: 11th International Ifip-Tc6 Conference, Ondm 2007, Athens, Greece, May 29-31, 2007, Proceedings
- Computational Geometry and Graph Theory: International Conference, Kyotocggt 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers
- Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
- Advances in Web and Network Technologies, and Information Management: Apweb/Waim 2007 International Workshops: Dbman 2007, Webetrends 2007, Pais 2007
- Graph-Based Representations in Pattern Recognition: 6th Iapr-Tc-15 International Workshop, Gbrpr 2007, Alicante, Spain, June 11-13, 2007, Proceedings
- Learning Theory: 20th Annual Conference on Learning Theory, Colt 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings
- Geosensor Networks: Second International Conference, Gsn 2006, Boston, Ma, USA, October 1-3, 2006, Revised Selected and Invited Papers
- Pervasive Computing for Quality of Life Enhancement: 5th International Conference on Smart Homes and Health Telematics, Ost 2007, Nara, Japan, June 21
- Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, Refsq 2007, Trondheim, Norway, June 11-12, 2007, Pro
- Inter-Domain Management: First International Conference on Autonomous Infrastructure, Management and Security, Aims 2007, Oslo, Norway, June 21
- Data Integration in the Life Sciences: 4th International Workshop, Dils 2007, Philadelphia, Pa, USA, June 27-29, 2007, Proceedings
- Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
- Petri Nets and Other Models of Concurrency -- Icatpn 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of
- Arithmetic of Finite Fields: First International Workshop, Waifi 2007, Madrid, Spain, June 21-22, 2007, Proceedings
- Distributed Computing in Sensor Systems: Third IEEE International Conference, Dcoss 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
- Human-Computer Interaction.Interaction Design and Usability: 12th International Conference, Hci International 2007, Beijing, China, July 22-27, 2007,
- Human-Computer Interaction.Interaction Platforms and Techniques: 12th International Conference, Hci International 2007, Beijing, China, July 22-27, 20
- Human-Computer Interaction.Hci Intelligent Multimodal Interaction Environments: 12th International Conference, Hci International 2007, Beijing, China,
- Human-Computer Interaction.Hci Applications and Services: 12th International Conference, Hci International 2007, Beijing, China, July 22-27, 2007, Pro
- Universal Acess in Human Computer Interaction. Coping with Diversity: Coping with Diversity, 4th International Conference on Universal Access in Human
- Universal Access in Human-Computer Interaction. Ambient Interaction: 4th International Conference on Universal Access in Human-Computer Interaction, U
- Universal Access in Human-Computer Interaction. Applications and Services: 4th International Conference on Universal Access in Human-Computer Interact
- Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design: Symposium on Human Interface 2007, Held as Par
- Human Interface and the Management of Information. Interacting in Information Environments: Symposium on Human Interface 2007, Held as Part of Hci Int
- Usability and Internationalization. Hci and Culture: Second International Conference on Usability and Internationalization, Ui-Hcii 2007, Held as Part
- Usability and Internationalization. Global and Local User Interfaces: Second International Conference on Usability and Internationalization, Ui-Hcii 2
- Digital Human Modeling: First International Conference, Dhm 2007, Helt as Part of Hci International 2007, Beijing, China, July 22-27, 2007, Pr
- Engineering Psychology and Cognitive Ergonomics: 7th International Conference, Epce 2007, Held as Part of Hci International 2007, Beijing, China, July
- Virtual Reality: Second International Conference, Icvr 2007, Held as Part of Hci International 2007, Beijing, China, July 22-27, 2007,
- Online Communities and Social Computing: Second International Conference, Ocsc 2007, Held as Part of Hci International 2007, Beijing, China, July 22-2
- Foundations of Augmented Cognition: Third International Conference, Fac 2007, Held as Part of Hci International 2007, Beijing, China, July 22-27, 2007
- Ergonomics and Health Aspects of Work with Computers: International Conference, Ehawc 2007, Held as Part of Hci International 2007, Beijing, China, Ju
- Information Hiding: 9th International Workshop, Ih 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers
- Intercultural Collaboration: First International Workshop, Iwic 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers
- Smart Graphics: 8th International Symposium, Sg 2007, Kyoto, Japan, June 25-27, 2007, Proceedings
- New Trends in Applied Artificial Intelligence: 20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent
- Machine Learning and Data Mining in Pattern Recognition: 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings
- Security and Privacy in Ad-Hoc and Sensor Networks: 4th European Workshop, Esas 2007, Cambridge, UK, July 2-3, 2007, Proceedings
- Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P
- Pairing-Based Cryptography - Pairing 2007: First International Conference, Pairing 2007, Tokyo, Japan, July 2-4, 2007, Proceedings
- Logic, Language, Information and Computation: 14th International Workshop, Wollic 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
- Multimedia Content Analysis and Mining: International Workshop, McAm 2007, Weihai, China, June 30-July 1, 2007, Proceedings
- Detection of Intrusions and Malware, and Vulnerability Assessment: 4th International Conference, Dimva 2007 Lucerne, Switzerland, July 12-13, 2007 Pro
- Combinatorial Pattern Matching: 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings
- Testing of Software and Communicating Systems: 19th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2007, 7th International Workshop, Fates 2007, T
- Public Key Infrastructure: 4th European Pki Workshop: Theory and Practice, Europki 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings
- Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings
- Information Processing in Medical Imaging: 20th International Conference, Ipmi 2007, Kerkrade, the Netherlands, July 2-6, 2007, Proceedings
- Information Security and Privacy: 12th Australasian Conference, Acisp 2007, Townsville, Australia, July 2-4, 2007, Proceedings
- Data Management.Data, Data Everywhere: 24th British National Conference on Databases, Bncod 24, Glasgow, UK, July 3-5, 2007, Proceedings
- Developments in Language Theory: 11th International Conference, Dlt 2007, Turku, Finland, July 3-6, 2007, Proceedings
- Product-Focused Software Process Improvement: 8th International Conference, Profes 2007, Riga, Latvia, July 2-4, 2007, Proceedings
- Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings
- Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, UK, July 2-5, 2007, Proceedings
- Natural Language Processing and Information Systems: 12th International Conference on Applications of Natural Language to Information Systems, Nldb 20
- Fast Software Encryption: 14th International Workshop, Fse 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
- Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
- Automata, Languages and Programming: 34th International Colloquium, Icalp 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
- Computing and Combinatorics:
|
