| Your search for 38938 returns 3685 document(s) |
| Extracting keyphrases from spoken audio documents, (LNCS-Lecture Notes in Computer Science 2773) Hal 36-50 |
|
Author: Alain Desilets; Berry de Bruijin; Joel Martin; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated search for heuristic functions, ((LNCS-Lecture Notes in Computer Science 3709) Hal 843 |
|
Author: Pavel Cejnar; Roman Bartak; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety verification for automated platoon maneuvers: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 154-170 |
|
Author: Ekaterina Dolginova; Nancy Lynch; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New strongly secure authenticated key exchange protocol, (LNCS-Lecture Notes in Computer Science 5576) Hal. 135-144 |
|
Author: Qingfeng Cheng; Chuangui Ma, and Xuexian Hu; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Forward-secrecy WTLS handshake protocol based on XTR, (LNCS-Lecture Notes in Computer Science 5576) Hal 635-643 |
|
Author: Bin Li; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Device authentication/ authorization protocol for home network in next generation security, (LNCS-Lecture Notes in Computer Science 5576) Hal 760-768 |
|
Author: Jong Sik Moon; Deok Gyu Lee; Im-Yeong Lee; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reconfigurable router modules using network protocol wrappers, (LNCS-Lecture Notes in Computer Science 2147) Hal 254-263 |
|
Author: Florian Braun; John Lockwood; Marcel Waldvogel; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling a time-dependent protocol using the circal process algebra, (LNCS-Lecture Notes in Computer Science 1201) Hal 124-138 |
|
Author: Antonio Cerone; Alex J. Cowie; George J. Milne; Philip A. Moseley; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result