Produkty
Przeglądaj produkty i porównuj ceny u różnych sprzedawców. Ceny aktualizujemy na bieżąco.
- S Stochastic Optimal Control Theory with Application in Self-Tuning Control
- G Geometric Theory for Infinite Dimensional Systems
- C Control of Partial Differential Equations
- E Efficient Structures for Geometric Data Management
- C Concurrency 88
- A Advances in Object-Oriented Database Systems
- C Computational Geometry and its Applications
- F Formal Techniques in Real-Time and Fault-Tolerant Systems
- G GPS-Techniques Applied to Geodesy and Surveying
- C CSL '87
- V VDM '88. VDM - The Way Ahead
- I ICDT '88
- N Numerical Geology
- S State-Space Models of Lumped and Distributed Systems
- A Attribute Grammars
- N Natural Language at the Computer
- P Principles of Data Mining and Knowledge Discovery
- I Information Retrieval Techniques for Speech Applications
- C COTS-Based Software Systems
- D Digital and Image Geometry
- S Software Engineering - ESEC '95
- U Unifying Petri Nets
- M Memory Management
- C Conditional and Typed Rewriting Systems
- D Databases in Telecommunications II
- V Variations on Constants
- T Transactional Agents
- A Agent Systems, Mobile Agents, and Applications
- W Wavelet Analysis and Its Applications
- F FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
- A Advanced Conceptual Modeling Techniques
- A Algorithms - ESA 2000
- C Cryptographic Hardware and Embedded Systems -- CHES 2003
- F Field Programmable Logic and Applications
- O Operator Functions and Localization of Spectra
- M Modular Programming Languages
- I Intelligent Search on XML Data
- P Peer-to-Peer Systems II
- A Adiabatic Perturbation Theory in Quantum Dynamics
- A Advances in Web-Age Information Management
- P Practice and Theory of Automated Timetabling IV
- E Empirical Methods and Studies in Software Engineering
- R Rules in Database Systems
- T Theorem Proving in Higher Order Logics
- E Extreme Programming and Agile Methods - XP/Agile Universe 2003
- S SDL 2003: System Design
- N New Horizons in Information Management
- D Discrete Mathematics and Theoretical Computer Science
- P Programming Languages: Implementations, Logics and Programs
- B Bioorganic Chemistry of Biological Signal Transduction
- S Self-Stabilizing Systems
- G Graph Based Representations in Pattern Recognition
- L Learning Classifier Systems
- S Surgery Simulation and Soft Tissue Modeling
- L Logic Based Program Synthesis and Transformation
- O OpenMP Shared Memory Parallel Programming
- A Applications and Theory of Petri Nets 2003
- P Parallel Algorithms for Irregularly Structured Problems
- A Asymptotic Combinatorics with Applications to Mathematical Physics
- T Trust Management
- M Metainformatics
- E Experimental and Efficient Algorithms
- M Mathematical Foundation of Programming Semantics
- C Computational Science — ICCS 2003
- N Negation and Control in Prolog
- C CONPAR 86
- I Implementation of Functional Languages
- C Concepts in User Interfaces
- M Molecular Dynamics
- A Advanced Functional Programming
- Q Quantitative Evaluation of Computing and Communication Systems
- H Higher Order Logic Theorem Proving and Its Applications
- F Field-Programmable Logic and Applications
- C CONCUR '95 Concurrency Theory
- L Logic and Computational Complexity
- F Fast Software Encryption
- N Network-Based Parallel Computing - Communication, Architecture, and Applications
- P Public Key Cryptography
- T The Theory of Symmetry Actions in Quantum Mechanics
- C Cryptographic Hardware and Embedded Systems - CHES 2000
- G Grid Computing Security
- L Learning Software Organizations: Methodology and Applications
- H High Performance Computing - HiPC 2000
- G Grid Computing - GRID 2000
- A Approximation Algorithms for Combinatorial Optimization
- G General Decoupling Theory of Multivariable Process Control Systems
- S SOFSEM 2000: Theory and Practice of Informatics
- P Perturbations, Approximations and Sensitivity Analysis of Optimal Control Systems
- P Problèmes choisis de mathématiques supérieures
- D Decoherence and Entropy in Complex Systems
- T The Design of Dynamic Data Structures
- M Mathematical Structure of the Singularities at the Transitions Between Steady States in Hydrodynamic
- M Mathematical Theory of Nonequilibrium Steady States
- G General Hybrid Orthogonal Functions and their Applications in Systems and Control
- R Recent Advances in Control and Optimization of Manufacturing Systems
- C Colloquium on Automatic Control
- I ICAOS ’96 12th International Conference on Analysis and Optimization of Systems
- R Recursive Nonlinear Estimation
- C Control of Nonlinear Multibody Flexible Space Structures
- C Control Using Logic-Based Switching