| Your search for 43982 returns 1180 document(s) |
| Rairo Technique Science Informations |
|
Call Number: [2 (1983): 1-6, 3 (1984): 1-6, 4 (1985): 1-6, 4 (1985): 1-6, 5 (1986): 1-6, 7 (1988): 1-6] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Recherche Operations |
|
Call Number: [17 (1988): 2-4, 18 (1984): 1-4, 19 (1985): 1-4, 20 (1986): 1-4, 22 (1988): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Apii-Jesa European |
|
Call Number: 30 (1996): 1-4 | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Analyse Numerique Numerical Analysis |
|
Call Number: [16 (1982): 1-4, 18(1984): 1-4, 20 (1986): 1-6, 19 (1985): 1-4, 22 (1988): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Automatique System Analysis & Control |
|
Call Number: [16 (1982): 1-4, 17 (1983): 1-4, 17 (1983): 1-4, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Automatique theorique Theoritical Informatics |
|
Call Number: [8 (1983); 1,3-4, 20 (1986): 1-4, 20 (1986): 1-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Mathematical Modelling and Numerical Analysis |
|
Call Number: [19 (1985): 1-3, 19 (1985): 1-3, 20 (1986): 1-3, 20 (1986): 4, 22 (1988): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rairo Automatique Production Informatique Industeielle |
|
Call Number: [19 (1985): 1-4, 20 (1986): 1-6, 22 (1988): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
|
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result