Resultados
|
|
|
|
|
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.
|
|
|
|
|
|
Smart Spaces and Next Generation Wired/Wireless Networking [recurso electrónico] : 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings / edited by Sergey Balandin, Yevgeni Koucheryavy, Honglin Hu. por Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | Hu, Honglin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6869Origen: 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.
|
|
|
Electronic Government [recurso electrónico] : 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. Proceedings / edited by Marijn Janssen, Hans J. Scholl, Maria A. Wimmer, Yao-hua Tan. por Janssen, Marijn [editor.] | Scholl, Hans J [editor.] | Wimmer, Maria A [editor.] | Tan, Yao-hua [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6846Origen: 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 .C66.
|
|
|
|
|
|
Artificial General Intelligence [recurso electrónico] : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings / edited by Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks. por Schmidhuber, Jürgen [editor.] | Thórisson, Kristinn R [editor.] | Looks, Moshe [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6830Origen: 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: Q334 -342.
|
|
|
Trust, Privacy and Security in Digital Business [recurso electrónico] : 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings / edited by Steven Furnell, Costas Lambrinoudakis, Günther Pernul. por Furnell, Steven [editor.] | Lambrinoudakis, Costas [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6863Origen: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [recurso electrónico] : 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings / edited by Leslie Ann Goldberg, Klaus Jansen, R. Ravi, José D. P. Rolim. por Goldberg, Leslie Ann [editor.] | Jansen, Klaus [editor.] | Ravi, R [editor.] | Rolim, José D. P [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6845Origen: 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 .A43.
|
|
|
Trends in Functional Programming [recurso electrónico] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók. por Page, Rex [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6546Origen: 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.7 -76.73.
|
|
|
Algebra and Coalgebra in Computer Science [recurso electrónico] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. por Corradini, Andrea [editor.] | Klin, Bartek [editor.] | Cîrstea, Corina [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6859Origen: 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.
|
|
|
Data Management in Grid and Peer-to-Peer Systems [recurso electrónico] : 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa. por Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6864Origen: 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.
|
|
|
Haptic and Audio Interaction Design [recurso electrónico] : 6th International Workshop, HAID 2011, Kusatsu, Japan, August 25-26, 2011. Proceedings / edited by Eric W. Cooper, Victor V. Kryssanov, Hitoshi Ogawa, Stephen Brewster. por Cooper, Eric W [editor.] | Kryssanov, Victor V [editor.] | Ogawa, Hitoshi [editor.] | Brewster, Stephen [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6851Origen: 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 .U83.
|