1
Publicado em 2006
Sumário: ... -- Cooperating Answer Set Programming -- Predicate Introduction Under Stable and Well-Founded Semantics...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Eckel, Bruce.
Publicado em 2006
Sumário: ... -- Arrays -- Containers in depth -- I/O -- Enumerated types -- Annotations -- Concurrency -- Graphical user...
Table of contents
Livro
3
Publicado em 2007
Sumário: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
Obter o texto integral
Recurso Electrónico livro electrónico