Boon Thau Loo – författare
Visar alla böcker från författaren Boon Thau Loo. Handla med fri frakt och snabb leverans.
4 produkter
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Vivek Nigam, Tajana Ban Kirigin m. fl.
Häftad, 2020
678 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Mitsuhiro Okada, Boon Thau Loo m. fl.
E-bok, 2020
903 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Declarative Networking
Av Boon Thau Loo, Wenchao Zhou
Häftad, 2012
376 kr
Lägg i varukorg
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query language for …
Declarative Networking
Av Wenchao Zhou, Boon Thau Loo
E-bok, 2022
460 kr
Lägg i varukorg
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query language for …
