Your search for 38763 returns 5069 document(s) |
SG logic - a formal analysis technique for authentication protocols, (LNCS-Lecture Notes in Computer Science 1361) Hal 159-176 |
Author: Sigrid Gurgens; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated analysis of an audio control protocol, (LNCS-Lecture Notes in Computer Science 939) Hal 381-394 |
Author: Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient timing analysis of a class of petri nets, (LNCS-Lecture Notes in Computer Science 939) Hal 423-436 |
Author: Henrik Hulgaard; Steven M. Burns; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616 |
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
VITAK: a visual tool for analysis of rules beavior in active database (LNCS-Lecture Notes in Computer Science 985) |
Author: Emmanuel Benazet, Herve Guehl, Mokrane Bouzeghoub; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 113-127 |
Author: Thom Fruhwirth; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 265-279 |
Author: Bernd Brarel; Michael Hanus; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Polynomial interpretations as a basis for termination analysis of logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 311-325 |
Author: Manh Thang Nguyen; Danny De Schreye; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409 |
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Shallow morphological analysis in monolingual information retrieval for Dutch, German, and Italian, (LNCS-Lecture Notes in Computer Science 2406), Hal. 262-277 |
Author: Christof Monz; Maaten de Rijke; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|