Princeton Series in Computer Science – serie
Visar alla böcker i serien Princeton Series in Computer Science. Handla med fri frakt och snabb leverans.
4 produkter
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Häftad, 2014
1071 kr
Lägg i varukorg
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design …
Implementation of Prolog
Häftad, 2014
648 kr
Lägg i varukorg
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this …
Recent Advances in Global Optimization
Av Christodoulos A. Floudas, Panos M. Pardalos
Inbunden, 2016
5585 kr
Lägg i varukorg
This book will present the papers delivered at the first U.S. conference devoted exclusively to global optimization and will thus provide valuable insights into the significant research on the topic that has been emerging during recent years. Held at Princeton University in May 1991, the conference …
Implementation of Prolog
Inbunden, 2016
2760 kr
Lägg i varukorg
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this …
