Resultados
|
|
|
|
|
|
|
|
Formal Methods: Foundations and Applications [recurso electrónico] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. por Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6527Origen: 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.
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. por Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6605Origen: 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.
|
|
|
|
|
|
|
|
|
Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch. por Berry, Daniel [editor.] | Franch, Xavier [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6606Origen: 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.
|
|
|
Compiler Construction [recurso electrónico] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop. por Knoop, Jens [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6601Origen: 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.
|
|
|
Discrete Geometry for Computer Imagery [recurso electrónico] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / edited by Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even. por Debled-Rennesson, Isabelle [editor.] | Domenjoud, Eric [editor.] | Kerautret, Bertrand [editor.] | Even, Philippe [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6607Origen: 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: T385.
|
|
|
|
|
|
|
|
|
Agents and Artificial Intelligence [recurso electrónico] : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred, Bernadette Sharp. por Filipe, Joaquim [editor.] | Fred, Ana [editor.] | Sharp, Bernadette [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 129Origen: 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.
|
|
|
Evolutionary Multi-Criterion Optimization [recurso electrónico] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings / edited by Ricardo H. C. Takahashi, Kalyanmoy Deb, Elizabeth F. Wanner, Salvatore Greco. por Takahashi, Ricardo H. C [editor.] | Deb, Kalyanmoy [editor.] | Wanner, Elizabeth F [editor.] | Greco, Salvatore [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6576Origen: 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.
|
|
|
Privacy and Security Issues in Data Mining and Machine Learning [recurso electrónico] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin. por Dimitrakakis, Christos [editor.] | Gkoulalas-Divanis, Aris [editor.] | Mitrokotsa, Aikaterini [editor.] | Verykios, Vassilios S [editor.] | Saygin, Yücel [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6549Origen: 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.
|
|
|
|
|
|
|
|
|
User-Centric Technologies and Applications [recurso electrónico] : Proceedings of the CONTEXTS 2011 Workshop / edited by José M. Molina, José Ramón Casar Corredera, Manuel Felipe Cátedra Pérez, Javier Ortega-García, Ana M. Bernardos Barbolla. por Molina, José M [editor.] | Corredera, José Ramón Casar [editor.] | Pérez, Manuel Felipe Cátedra [editor.] | Ortega-García, Javier [editor.] | Barbolla, Ana M. Bernardos [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 94Origen: 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.
|
|
|
|
|
|
Highlights in Practical Applications of Agents and Multiagent Systems [recurso electrónico] : 9th International Conference on Practical Applications of Agents and Multiagent Systems / edited by Javier Bajo Pérez, Juan M. Corchado, María N. Moreno, Vicente Julián, Philippe Mathieu, Joaquin Canada-Bago, Alfonso Ortega, Antonio Fernández Caballero. por Pérez, Javier Bajo [editor.] | Corchado, Juan M [editor.] | Moreno, María N [editor.] | Julián, Vicente [editor.] | Mathieu, Philippe [editor.] | Canada-Bago, Joaquin [editor.] | Ortega, Alfonso [editor.] | Caballero, Antonio Fernández [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 89Origen: 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.
|