Resultados
|
|
Rule-Based Reasoning, Programming, and Applications [recurso electrónico] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. por Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6826Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
|
|
|
High Performance Architecture and Grid Computing [recurso electrónico] : International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings / edited by Archana Mantri, Suman Nandi, Gaurav Kumar, Sandeep Kumar. por Mantri, Archana [editor.] | Nandi, Suman [editor.] | Kumar, Gaurav [editor.] | Kumar, Sandeep [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 169Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
|
|
|
|
|
|
|
|
|
Descriptional Complexity of Formal Systems [recurso electrónico] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. por Holzer, Markus [editor.] | Kutrib, Martin [editor.] | Pighizzini, Giovanni [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6808Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.
|
|
|
|
|
|
|
|
|
Intelligent Open Learning Systems [recurso electrónico] : Concepts, Models and Algorithms / by Przemyslaw Rózewski, Emma Kusztina, Ryszard Tadeusiewicz, Oleg Zaikin. por Rózewski, Przemyslaw [author.] | Kusztina, Emma [author.] | Tadeusiewicz, Ryszard [author.] | Zaikin, Oleg [author.] | SpringerLink (Online service). Series Intelligent Systems Reference Library ; 22Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
|
|
|
|
|
|
e-Technologies and Networks for Development [recurso electrónico] : First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings / edited by Jim James Yonazi, Eliamani Sedoyeka, Ezendu Ariwa, Eyas El-Qawasmeh. por Yonazi, Jim James [editor.] | Sedoyeka, Eliamani [editor.] | Ariwa, Ezendu [editor.] | El-Qawasmeh, Eyas [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 171Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
|
|
|
|
|
|
|
|
|
Towards a Service-Based Internet. ServiceWave 2010 Workshops [recurso electrónico] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / edited by Michel Cezon, Yaron Wolfsthal. por Cezon, Michel [editor.] | Wolfsthal, Yaron [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6569Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
Web Information Systems and Technologies [recurso electrónico] : 6th International Conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010, Revised Selected Papers / edited by Joaquim Filipe, José Cordeiro. por Filipe, Joaquim [editor.] | Cordeiro, José [editor.] | SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 75Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
|
|
|
Perspectives on Soviet and Russian Computing [recurso electrónico] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov. por Impagliazzo, John [editor.] | Proydakov, Eduard [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 357Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.17.
|
|
|
|
|
|
Nonlinear Mathematics for Uncertainty and its Applications [recurso electrónico] / edited by Shoumei Li, Xia Wang, Yoshiaki Okazaki, Jun Kawabe, Toshiaki Murofushi, Li Guan. por Li, Shoumei [editor.] | Wang, Xia [editor.] | Okazaki, Yoshiaki [editor.] | Kawabe, Jun [editor.] | Murofushi, Toshiaki [editor.] | Guan, Li [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 100Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
|
|
|
|
|
|
Interactive Theorem Proving [recurso electrónico] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. por Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6898Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
|