Resultados
|
|
Advances in computer systems architecture : 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005 : proceedings / Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang, eds. por ACSAC 2005 (10 : 2005 : Singapur) | Srikanthan, Thambipillai [editor] | Xue, Jingling, 1962- [editor] | Chang, Chip-Hong [editor]. Series Lecture notes in computer science ; 3740Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2005Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A37 2005.
|
|
|
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8 2006 : proceedings / Chris Jesshope, Colin Egan, eds. por ACSAC 2006 (2006 : Shanghai, China) | Jesshope, Chris R [editor] | Egan, Colin, 1956- [editor]. Series Lecture notes in computer science ; 4186Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: Computer systems architecture | ACSAC 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A37 2006.
|
|
|
|
|
|
|
|
|
Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) por CAV Conference (16 : 2004 : Boston, Massachusetts) | Alur, Rajeev, 1966- [editor] | Peled, Doron A, 1962- [editor]. Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: CAV 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 C38 2004, ...
|
|
|
CONCUR 2006--concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings / Christel Baier, Holger Hermanns, eds. por International Conference on Concurrency Theory (17 : 2006 : Bonn, Alemania) | Baier, Christel [editor] | Hermanns, Holger, 1967- [editor] | CONCUR (17 : 2006 : Bonn, Alemania). Series Lecture notes in computer science ; 4137Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.58 I57 2006, ...
|
|
|
Digital earth moving : first international symposium, DEM 2001, Manno, Switzerland, September 5-7,2001 : proceedings / Caroline Y. Westort, ed. por DEM 2001 (2001 : Manno, Suiza) | Westort, Caroline Y, 1964- [editor]. Series Lecture notes in computer science ; 2181Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TA715 D54, ...
|
|
|
Fast software encryption : 7th International Workshop, FSE 2000 , New York, N Y, USA, april 10-12, 2000 :proceedings / Bruce Schneier, ed. por FSE 2000 (7 : 2000 : New York, New York) | Schneier, Bruce, 1963- [editor]. Series Lecture notes in computer science ; 1978Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 F74 2000.
|
|
|
Information security : 9th International Conference, ISC 2006, Samos Island, Greece, August 30-September 2, 2006 : proceedings / Sokratis K. Katsikas ... [y otros.], eds. por ISC 2006 (9 : 2006 : Isla Samos, Grecia) | Katsikas, Sokratis K [editor] | Information Security Conference (9 : 2006 : Isla Samos, Grecia). Series Lecture notes in computer science ; 4176Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 I73 2006.
|
|
|
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / Stephen W. Gilroy, Michael D. Harrison, eds. por DSVIS 2005 (2005 : Newcastle upon Tyne, Inglaterra) | Gilroy, Stephen W [editor] | Harrison, Michael D [editor]. Series Lecture notes in computer science ; 3941Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: DSVIS 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9I58 D78 2005.
|
|
|
Peer-to-peer systems IV : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005 : revised selected papers / Miguel Castro, Robbert van Renesse, eds. por IPTPS 2005 (4 : (2005 : Ithaca, NY) | Castro, Miguel, 1969- [editor] | Van Renesse, Robbert, 1962- [editor] | Ithaca Peer-to-Peer Systems. International Workshop (4 : 2005 : Ithaca, NY) []. Series Lecture notes in computer science ; 3640 | Hot topicsTipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.525 I67 2005.
|
|
|
Performability has its price : 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006 : proceedings / Burkhard Stiller, Peter Reichl, Bruno Tuffin, eds. por International Workshop on Internet Charging and QoS Technologies (5 : 2006 : Saint-Malo, Francia) | Stiller, Burkhard, 1965- [editor] | Reichl, Peter [editor] | Tuffin, Bruno [editor]. Series Lecture notes in computer science ; 4033Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: International Workshop on Internet Charging and QoS Technologies | ICQT 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK5105.875I57 I558 2006, ...
|
|
|
Privacy enhancing technologies : 5th international workshop, PET 2005, Cavtat, Croatia, May 30-June 1, 2005 : revised selected papers / George Danezis, David Martin, eds. por PET 2005 (5 : 2005 : Cavtat, Croacia) | Danezis, George, 1979- [editor] | Martin, David Michael [editor] | Privacy Enhancing Technologies (5 : 2005 : Cavtat, Croacia). Series Lecture notes in computer science ; 3856Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: PET 2005.Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 P446 2005.
|
|
|
|
|
|
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29 -April 2, 2004 : proceedings / David Schmidt, ed. por European Symposium on Programming (13 : 2004 : Barcelona, España) | Schmidt, David A, 1953- [editor] | ETAPS 2004 (2004 : Barcelona , España). Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 E87 2004.
|
|
|
Progress in cryptology : INDOCRYPT 2000 : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000 : proceedings / Bimal Roy, Eiji Okamoto (eds.) por International Conference in Cryptology in India (2000 : Calcutta, India) | Roy, Bimal [editor] | Okamoto, Eiji [editor]. Series Lecture notes in computer science ; 1977Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG, Otto Harrassowitz Idioma del resumen: HARR Editor: Berlin : Springer Verlag, 2000Otro título: INDOCRYPT 2000.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A25 I55.
|
|
|
|
|
|
Secure data management : third VLDB workshop, SDM 2006, Seoul, Korea, September 10-11, 2006 : proceedings / Willem Jonker, Milan Petkoviâc, eds. por SDM 2006 (2006 : Seoul, Corea) | Jonker, Willem, 1962- [editor] | Petkoviâc, Milan [editor]. Series Lecture notes in computer science ; 4165Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SDM 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D314 S46.
|
|
|
Security and cryptography for networks : 5th international conference, SCN 2006, Maiori, Italy, September 6-8, 2006 : proceedings / Roberto De Prisco, Moti Yung, eds. por SCN 2006 (5 : 2006 : Maiori, Italia) | De Prisco, Roberto, 1968- [editor] | Yung, Moti [editor]. Series Lecture notes in computer science ; 4116Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SCN 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.59 S435 2006.
|
|
|
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.) por International Static Analysis Symposium (11 : 2004 : Verona, Italia) | Giacobbe, Giovanni [editor]. Series Lecture notes in computer science ; v. 3148Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: 11th International Symposium, SAS 2004 | International Symposium, SAS 2004 | SAS 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.6 I578 2004, ...
|