Search Result Save to File Save as CSV
Your search for 39708 returns 2766 document(s)
Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Correctness of programs with functional procedures, (LNCS-Lecture Notes in Computer Science 131)Hal. 94-112
Author: J.W. de Bakker; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
EVALUATION OF DATABASE RECURSIVE LOGIC PROGRAMS AS RECURRENT FUNCTION SERIES(177-189)
Author: Georges GARDARIN, Christophe de MAINDREVILLE; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Some common pascal programs/ Based on the book some common basic programs
Call Number: 005.133 Osb m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
On the First-Order Expressibillity of Recursive Queries (311-323)
Author: Stavros S. Cosmadakis; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 450-451
Author: Jon Sneyers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modeling constraint programs with software technology standards, (LNCS-Lecture Notes in Computer Science 3709) Hal 850
Author: Matthias Hoche; Stefan Jahnichen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next