 | | | | |
Bild | | | | Bestellen |
|
|
|
|
Springer Verlag 9783031376894 |
€ 29,99*
pro Stück |
|
|
Multi-Winner Voting with Approval Preferences (1 Angebot) From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval prefere... |
Springer Verlag 9783031090158 |
€ 29,99*
pro Stück |
|
|
Parallel Algorithms and Architectures (1 Angebot) Deterministic simulation of idealized parallel computers on more realistic ones.- Convex hull of randomly chosen points from a polytope.- Dataflow computing.- Parallel in sequence -- Towards the ar... |
Springer Verlag 9783540180999 |
€ 29,99*
pro Stück |
|
|
STACS 84 (1 Angebot) Key-problems and key-methods in computational geometry.- Some recent results on squarefree words.- Transformations realizing fairness assumptions for parallel programs.- Computing the largest empty... |
Springer Verlag 9783540129202 |
€ 29,99*
pro Stück |
|
|
Semantics of Concurrent Computation (1 Angebot) The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent ... |
Springer Verlag 9783540095118 |
€ 29,99*
pro Stück |
|
|
|
Springer Verlag 9783031513343 |
€ 29,99*
pro Stück |
|
|
The Munich Project CIP (1 Angebot) 0 : Introduction to the project CIP.- I : Informal survey of the language.- II : Description of the language.- III : Formal definition of the language. |
Springer Verlag 9783540151876 |
€ 29,99*
pro Stück |
|
|
The Vienna Development Method: The Meta-Language (1 Angebot) On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of g... |
Springer Verlag 9783540087663 |
€ 29,99*
pro Stück |
|
|
Cellular Automata and Discrete Complex Systems (1 Angebot) This volume constitutes the thoroughly refereed proceedings of the 21st International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2015, held in Turku, Finland, in June 2015... |
Springer Verlag 9783662472200 |
€ 30,00*
pro Stück |
|
|
GI -- 11. Jahrestagung (1 Angebot) Semantik von Programmiersprachen.- Invariance of Approximative Semantics with Respect to Program Transformations.- Description of Parameterized Compiler Modules.- Static-Scope-LISP: Zerlegung Eines... |
Springer Verlag 9783540108849 |
€ 30,37*
pro Stück |
|
|
|
Springer Verlag 9783658476502 |
€ 30,43*
pro Stück |
|
|
|
KIT Scientific Publishing 9783866446236 |
€ 30,45*
pro Stück |
|
|
|
|
€ 30,82*
pro Stück |
|
|
|
|
€ 30,82*
pro Stück |
|
|
Praxiswissen User Requirements (1 Angebot) User Requirements Engineering schlägt die Brücke zwischen Human-centred Design (HCD) und Requirements Engineering. Es verbindet User-Research-Methoden mit Theorie und Methoden der Anforderungsanaly... |
|
€ 30,82*
pro Stück |
|
|
