 | | | | |
Bild | | | | Bestellen |
|
|
|
Category Theory and Computer Programming (1 Angebot) Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure -- Higher types in categ... |
Springer Verlag 9783540171621 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540171799 |
€ 49,99*
pro Stück |
|
|
Combinators and Functional Programming Languages (1 Angebot) Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Catégoriques et Implémentation des Langages Fonctionnels.- Combinators and lam... |
Springer Verlag 9783540171843 |
€ 29,99*
pro Stück |
|
|
Advanced Programming Environments (1 Angebot) Source level debuggers: Experience from the design and implementation of chillscope.- Data-oriented incremental programming environments.- Context-sensitive editing with PSG environments.- Editing ... |
Springer Verlag 9783540171898 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540172154 |
€ 51,39*
pro Stück |
|
|
Mechanismen zur Synchronisation paralleler Prozesse (1 Angebot) Thema und Gliederung der Arbeit.- 1 Parallelität und Synchronisation.- 1.1 Einleitung.- 1.2 Prozeßstrukturierungsmodelle.- 1.3 Parallele Programmierkonstrukte.- 1.4 Synchronisationsprobleme.- 1.5 S... |
Springer Verlag 9783540172178 |
€ 51,39*
pro Stück |
|
|
Graph-Theoretic Concepts in Computer Science (1 Angebot) Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts. Their complexit... |
Springer Verlag 9783540172185 |
€ 49,99*
pro Stück |
|
|
STACS 87 (1 Angebot) Towards a theory of relativizations: Positive relativizations.- Natural semantics.- On local routing of two-terminal nets.- Geometric relations among Voronoi diagrams.- Finding the largest empty re... |
Springer Verlag 9783540172192 |
€ 46,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987. |
Springer Verlag 9783540172208 |
€ 34,99*
pro Stück |
|
|
|
Springer Verlag 9783540172222 |
€ 51,39*
pro Stück |
|
|
|
Springer Verlag 9783540176114 |
€ 34,99*
pro Stück |
|
|
Rechnerstrukturen (1 Angebot) 1. Nachrichtendarstellung und Nachrichtenebenen.- 1.1 Informationsverarbeitung.- 1.2 Binäre Nachrichten.- 1.3 Entwerfen auf verschiedenen Nachrichtenebenen.- 2. Die Hauptblockebene.- 2.1 Struktur u... |
Springer Verlag 9783540176183 |
€ 46,68*
pro Stück |
|
|
Content-Addressable Memories (1 Angebot) Due to continual progress in the large-scale integration of semiconductor circuits, parallel computing principles can already be met in low-cost sys tems: numerous examples exist in image processin... |
Springer Verlag 9783540176251 |
€ 49,99*
pro Stück |
|
|
VDM '87. VDM - A Formal Method at Work (1 Angebot) VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented devel... |
Springer Verlag 9783540176541 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540176602 |
€ 34,99*
pro Stück |
|
|
