Mechanizing proof: computing, risk, and trust
0
Type: Book
"570" Result
Sort By:
Annotation
Présentation Apprendre à configurer, upgrader et dépanner un PC sous Windows Vous souhaitez vous initier au métier de technicien de maintenance, de "correspondant micro" ou de responsable de parc de PC. Ou tout simplement être capable d'upgrader et de dépanner votre PC personnel…
This is the first book to address the uses of handheld computers within clinical practice and considers the many different possible applications of handheld computers in a medical environment.
Constraint satisfaction in logic programming
0
Type: Book
Constraint satisfaction in Logic programming
0
Type: Book
Constraint satisfaction in logic programming
0
Type: Book
Constraint satisfaction in logic programming
0
Type: Book
This is a comprehensive account of the syntax and semantics of a new programming language called [script capitals]LDL. In it are provided descriptions, both at the informal and formal level, of every [script capitals]LDL construct. The informal descriptions to not presuppose a h…
This is a comprehensive account of the syntax and semantics of a new programming language called [script capitals]LDL. In it are provided descriptions, both at the informal and formal level, of every [script capitals]LDL construct. The informal descriptions to not presuppose a h…
Logic for computer science
by Clarke, Michael, Reeves, Steve
fromInternational computer science series
0
Type: Book
Logic for computer science
by Clarke, Michael, Reeves, Steve
fromInternational computer science series
0
Type: Book