Iliano Cervesato – författare
Visar alla böcker från författaren Iliano Cervesato. Handla med fri frakt och snabb leverans.
7 produkter
Advances in Computer Science - ASIAN 2007. Computer and Network Security
12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings
Häftad, 2007
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th Asian Computing Science Conference, ASIAN 2007, held in Doha, Qatar, in December 2007. Covering all current aspects of computer and network security, the papers are organized in topical sections on program security, computer security, …
Advances in Computer Science - ASIAN 2007. Computer and Network Security
12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings
E-bok, 2007
755 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Av Iliano Cervesato, Helmut Veith m. fl.
Häftad, 2008
1122 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were …
Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Av Andrei Voronkov, Helmut Veith m. fl.
E-bok, 2008
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were …
Deductive Spreadsheet
Inbunden, 2013
564 kr
Lägg i varukorg
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal …
Deductive Spreadsheet
E-bok, 2013
755 kr
Lägg i varukorg
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal …
Deductive Spreadsheet
Häftad, 2016
566 kr
Lägg i varukorg
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal …
