Search Result

Save to File Save as CSV

Your search for 38326 returns 2749 document(s)

Lecture notes in computer science: hybrid systems II

Author: Antsaklis, Panos; | Call Number: 005.369 Ant h | Type: Buku

Analyzing logic programs with dynamic scheduling,Hal 240-253

Author: Kim Marriott; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem

Multi-pass execution of functional logic programs,Hal 361-374

Author: Jukka Paakki; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem

Modular Acyclicity and Tail Recursion in Logic Programs (92-101)

Author: Kenneth A.Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem

Inference of Inequality Constraints in Logic Programs (227-240)

Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem

PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440

Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 441-443

Author: Luca Bortolussi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445

Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449

Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3668) Hal 9-13

Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

Prev 6 7 8 9 10 11 12 13 14 15 Next