Search Result Save to File Save as CSV
Your search for 37944 returns 102 document(s)
From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract) (263-272)
Author: Marc Gyssens Jan Paredaens Dirk Van Gucht; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Computer Information S. Abstract J.
Call Number: [44 (1996): 1-3, 44 (1996): 4-6] | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to abstract Algebra
Author: Mac Duffee, Cyrus Colton; | Call Number: 512 Mac i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Abstract machines and grammars/ Water J. Savitch
Author: Savitch, Walter J.; | Call Number: 005.133 Sav a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Abstract data conversion/Nico Verwer
Author: Verwer, Nico; | Call Number: 005.72 Ver a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next