 | | | | | |
| Bild | | | | Bestellen |
|
100% |
|
|
|
€ 23,13*
pro Stück |
|
100% |
|
|
|
€ 12,13*
pro Stück |
|
100% |
|
|
|
€ 10,39*
pro Stück |
|
100% |
|
|
|
€ 7,92*
pro Stück |
|
95% |
|
Application and Theory of Petri Nets 2002 (1 Angebot) Invited Papers.- Making Work Flow: On the Application of Petri Nets to Business Process Management.- Model Validation -- A Theoretical Issue?.- The Real-Time Refinement Calculus: A Foundation for M... |
Springer Verlag 9783540437871 |
€ 49,99*
pro Stück |
|
95% |
|
Theory and Applications of Neural Networks (1 Angebot) This volume contains the papers from the first British Neural Network Society meeting held at Queen Elizabeth Hall, King's College, London on 18--20 April 1990. The meeting was sponsored by the Lon... |
Springer Verlag 9783540196501 |
€ 49,99*
pro Stück |
|
94% |
|
High Performance Computing - HiPC 2007 (1 Angebot) Keynote Addresses (Abstracts).- The Future Is Parallel But It May Not Be Easy.- Petaflop/s, Seriously.- High Performance Data Mining - Application for Discovery of Patterns in the Global Climate Sy... |
Springer Verlag 9783540772194 |
€ 99,99*
pro Stück |
|
94% |
|
Semantics of Systems of Concurrent Processes (1 Angebot) This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introdu... |
Springer Verlag 9783540534792 |
€ 49,99*
pro Stück |
|
94% |
|
Intelligent Agents and Multi-Agent Systems (1 Angebot) A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- Specifying DIMA Multi-agents Models Using Maude.- picoPlangent: An ... |
Springer Verlag 9783540253402 |
€ 49,99*
pro Stück |
|
94% |
|
|
Springer Verlag 9783540752363 |
€ 49,99*
pro Stück |
|
94% |
|
Petri Nets for Systems Engineering (1 Angebot) Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to ill... |
Springer Verlag 9783540412175 |
€ 99,99*
pro Stück |
|
94% |
|
Petri Nets for Systems Engineering (1 Angebot) Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to ill... |
Springer Verlag 9783642074479 |
€ 89,99*
pro Stück |
|
94% |
|
|
Springer Verlag 9783662558614 |
€ 49,99*
pro Stück |
|
94% |
|
Concurrent Object-Oriented Programming and Petri Nets (1 Angebot) Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential... |
Springer Verlag 9783540419426 |
€ 99,99*
pro Stück |
|
94% |
|
P-Functions and Boolean Matrix Factorization (1 Angebot) Instructions and models of algorithm implementation.- The synthesis of algorithms.- The formulation of algorithms synthesis in terms of P-functions.- The synthesis of (or)-interpreted matrix-instru... |
Springer Verlag 9783540133582 |
€ 49,99*
pro Stück |
|
|
