| | | | | |
| Bild | | | | Bestellen |
|
|
95% |
|
|
Thermo Fisher Scientific 5571 |
ab € 0,12065* pro Stück |
|
95% |
|
Stochastic Algorithms: Foundations and Applications (1 Angebot) Prospects of Quantum Informatics.- A Converging ACO Algorithm for Stochastic Combinatorial Optimization.- Optimality of Randomized Algorithms for the Intersection Problem.- Stochastic Algorithms fo... |
Springer Verlag 9783540201038 |
€ 49,99* pro Stück |
|
95% |
|
|
Thermo Fisher Scientific 5586 |
ab € 0,16181* pro Stück |
|
95% |
|
Perspectives of Systems Informatics (1 Angebot) This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia),... |
Springer Verlag 9783540708803 |
€ 49,99* pro Stück |
|
95% |
|
|
Thermo Fisher Scientific 5587 |
ab € 0,17129* pro Stück |
|
95% |
|
|
Springer Verlag 9783662653029 |
€ 89,99* pro Stück |
|
95% |
|
Traffic and Granular Flow ' 03 (1 Angebot) These proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as their predecessors. Both the realistic modelling of granular media and tra... |
Springer Verlag 9783642065194 |
€ 199,99* pro Stück |
|
95% |
|
Programming Languages and their Definition (1 Angebot) Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on... |
Springer Verlag 9783540133780 |
€ 49,99* pro Stück |
|
95% |
|
Unconventional Programming Paradigms (1 Angebot) Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, compet... |
Springer Verlag 9783540278849 |
€ 49,99* pro Stück |
|
95% |
|
Reachability Problems (1 Angebot) 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings |
Springer Verlag 9783030897154 |
€ 79,99* pro Stück |
|
95% |
|
Reachability Problems (1 Angebot) This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachabi... |
Springer Verlag 9783642044199 |
€ 49,99* pro Stück |
|
95% |
|
Reachability Problems (1 Angebot) This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. |
Springer Verlag 9783031191343 |
€ 54,99* pro Stück |
|
95% |
|
Stepwise Refinement of Distributed Systems (1 Angebot) The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an exec... |
Springer Verlag 9783540525592 |
€ 99,99* pro Stück |
|
95% |
|
Systems and Software Verification (1 Angebot) Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a sy... |
Springer Verlag 9783642074783 |
€ 139,99* pro Stück |
|
95% |
|
Theoretical Aspects of Computing - ICTAC 2009 (1 Angebot) ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan... |
Springer Verlag 9783642034657 |
€ 49,99* pro Stück |
|
|