| Your search for 38047 returns 2721 document(s) |
| Protocols using anonymous connections: mobile applications, (LNCS-Lecture Notes in Computer Science 1361) Hal 13-23 |
|
Author: Michael G. Reed; Paul F. Syverson; David M. Goldschlag; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11 |
|
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
|
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The rabin index and chain automata, with applications to automata and games, (LNCS-Lecture Notes in Computer Science 939) Hal 253-266 |
|
Author: Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin P. Varaiya; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Experiences from applications of RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 52-63 |
|
Author: Bent Dandanell; Jesper Gortz; Jan Storbank Pedersen; Eld Zierau; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249 |
|
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applications of spatial data structures: computer graphics, image processing, and GIS/Hanan Samat |
|
Author: Samet, Hanan; | Call Number: 005.73 Sam a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Genetic programming an intoduction: on the automatic evotion of computer prgrams and its applications/ Wolfgang Banzhaf |
|
Call Number: 006.31 Gen | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Wavelets for computer graphics:theory and applications/Eric J. Stollnitz;Tony D. DeRose;David H. Salesin |
|
Author: Stollnitz, Eric J.; | Call Number: 515.243 3 Sto w | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Build your own Z80 computer: design guidelines and applications notes/Steve Ciarcia |
|
Author: Ciarcia, Steve; | Call Number: 621.39 Cia b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result