Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide,... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The new field of cryptographic currencies and consensus ledgers, commonly referred to as blockchains, is receiving increasing interest from various different communities.
Bemærk: Kan ikke leveres før jul.
The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the... Læs mere
Bemærk: Kan ikke leveres før jul.
The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the... Læs mere
Bemærk: Kan ikke leveres før jul.
The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the... Læs mere
Bemærk: Kan ikke leveres før jul.
The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the... Læs mere
Bemærk: Kan ikke leveres før jul.
This two volume set (CCIS 1451 and 1452) constitutes the refereed... Læs mere
Bemærk: Kan leveres før jul.
This book brings feminist philosophy, in the shape of feminist ethics, politics and legal theory, to an analysis of computer ethics problems including hacking, privacy, surveillance, cyberstalking and Internet dating.
Bemærk: Kan leveres før jul.
Table of Contents: Introduction / Routing in a Graph: Correctness / Routing in a Graph: Complexity / Routing and Leader Election in a Distributed System / Mutual Exclusion in a... Læs mere
Bemærk: Kan leveres før jul.
Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Table of Contents: Models for... Læs mere
Bemærk: Kan leveres før jul.