 | | | | |
| Bild | | | |
|
|
|
|
Graph Drawing (1 Angebot) The 11th International Symposium on Graph Drawing (GD 2003) was held on September 21-24, 2003, at the Universit` a degli Studi di Perugia, Perugia, Italy. GD 2003 attracted 93 participants from aca... |
Springer Verlag 9783540208310 |
€ 99,99*
pro Stück |
|
|
Theory and Applications of Satisfiability Testing (1 Angebot) Satisfiability and Computing van der Waerden Numbers.- An Algorithm for SAT Above the Threshold.- Watched Data Structures for QBF Solvers.- How Good Can a Resolution Based SAT-solver Be?.- A Local ... |
Springer Verlag 9783540208518 |
€ 49,99*
pro Stück |
|
|
Comprehensive Mathematics for Computer Scientists 2 (1 Angebot) This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst volume in two - gards: Part III ?rst adds topology, di?erential, and integra... |
Springer Verlag 9783540208617 |
€ 74,99*
pro Stück |
|
|
Agent-Mediated Knowledge Management (1 Angebot) Towards Agent-Mediated Knowledge Management.- Towards Agent-Mediated Knowledge Management.- Section I: Collaboration and Peer-to-Peer Support.- Peer-Mediated Distributed Knowledge Management.- The ... |
Springer Verlag 9783540208686 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540208754 |
€ 49,99*
pro Stück |
|
|
Mobile Datenbanksysteme (1 Angebot) 1 -- Konzepte.- 1 Einführung.- 2 Mobile Computing.- 3 Architekturen mobiler Informationssysteme.- 4 Replikation und Synchronisation.- 5 Mobile Transaktionen.- 6 Anfrageverarbeitung.- 7 Informations... |
Springer Verlag 9783540208860 |
€ 93,45*
pro Stück |
|
|
Security in Pervasive Computing (1 Angebot) Invited Talks (Abstracts).- The Age of Pervasive Computing - Everything Smart, Everything Connected?.- Cyber Assist Project and Its Security Requirement.- Security in Pervasive Computing.- The Impo... |
Springer Verlag 9783540208877 |
€ 49,99*
pro Stück |
|
|
Advances in Multivariate Data Analysis (1 Angebot) This volume contains a selection of papers presented during the biennial meeting of the CLAssification and Data Analysis Group (CLADAG) of the Societa Italiana di Statistica which was orga nized by... |
Springer Verlag 9783540208891 |
€ 99,99*
pro Stück |
|
|
Formal Approaches to Software Testing (1 Angebot) Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the... |
Springer Verlag 9783540208945 |
€ 49,99*
pro Stück |
|
|
Membrane Computing (1 Angebot) Proton Pumping P Systems.- A Binary Data Structure for Membrane Processors: Connectivity Arrays.- Parsing with Active P Automata.- Universality of Minimal Symport/Antiport: Five Membranes Suffice.-... |
Springer Verlag 9783540208952 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540208983 |
€ 119,99*
pro Stück |
|
|
|
Springer Verlag 9783540209089 |
€ 74,99*
pro Stück |
|
|
111 Thesen zur erfolgreichen Softwareentwicklung (1 Angebot) Ziel dieses Buches ist es, Managern Argumente und Entscheidungshilfen für die Einführung effizienter Techniken der Softwareentwi- lung zu geben, und Praktiker von der Notwendigkeit effizienter Soft... |
Springer Verlag 9783540209102 |
€ 62,61*
pro Stück |
|
|
Computer Music Modeling and Retrieval (1 Angebot) Some Projects and Reflections on Algorithmic Music.- Real-Time Beat EstimationUsing Feature Extraction.- Towards a General Architecture for Musical Archive Information Systems.- The Study of Musica... |
Springer Verlag 9783540209225 |
€ 99,99*
pro Stück |
|
|
Regulated Agent-Based Social Systems (1 Angebot) Invited Paper.- How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS.- Topic A: Social Theory for Agent Technology.- Communicational Patterns as Basis of Organizational Structures.... |
Springer Verlag 9783540209232 |
€ 49,99*
pro Stück |
|
