|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [recurso electrónico] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
por Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material:  Libro; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica (1).
|
|
|
|
Accelerated C# 2010 [recurso electrónico] / by Trey Nash.
por Nash, Trey [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berkeley, CA : Apress, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.7 -76.73] (1).
|
|
|
|
Advanced Lectures on Software Engineering [recurso electrónico] : LASER Summer School 2007/2008 / edited by Peter Müller.
por Müller, Peter [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.758] (1).
|
|
|
|
Advances in Conceptual Modeling – Applications and Challenges [recurso electrónico] : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar.
por Trujillo, Juan [editor.] | Dobbie, Gillian [editor.] | Kangassalo, Hannu [editor.] | Hartmann, Sven [editor.] | Kirchberg, Markus [editor.] | Rossi, Matti [editor.] | Reinhartz-Berger, Iris [editor.] | Zimányi, Esteban [editor.] | Frasincar, Flavius [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.758] (1).
|
|
|
|
Advances in Data Mining. Applications and Theoretical Aspects [recurso electrónico] : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings / edited by Petra Perner.
por Perner, Petra [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica (1).
|
|
|
|
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [recurso electrónico] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione.
por Borrione, Dominique [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: TK7888.4] (1).
|
|
|
|
Agent-Oriented Software Engineering X [recurso electrónico] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz.
por Gleizes, Marie-Pierre [editor.] | Gomez-Sanz, Jorge J [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; 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 [Signatura topográfica: QA76.758] (1).
|
|
|
|
Agent-Oriented Software Engineering XI [recurso electrónico] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes.
por Weyns, Danny [editor.] | Gleizes, Marie-Pierre [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; 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 [Signatura topográfica: QA76.758] (1).
|
|
|
|
Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
por Kuich, Werner [editor.] | Rahonis, George [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; 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 [Signatura topográfica: QA76.9 .L63] (1).
|
|
|
|
Algebraic Methodology and Software Technology [recurso electrónico] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.
por Johnson, Michael [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; 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 [Signatura topográfica: QA76.758] (1).
|
|
|
|
Applications and Theory of Petri Nets [recurso electrónico] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek.
por Lilius, Johan [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA75.5 -76.95] (1).
|
|
|
|
Applications and Theory of Petri Nets [recurso electrónico] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci.
por Kristensen, Lars M [editor.] | Petrucci, Laure [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; 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 [Signatura topográfica: QA75.5 -76.95] (1).
|
|
|
|
Applied ASP .NET 4 in Context [recurso electrónico] / by Adam Freeman.
por Freeman, Adam [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berkeley, CA : Apress, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA75.5 -76.95] (1).
|
|
|
|
Architecting Dependable Systems VII [recurso electrónico] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.
por Casimiro, Antonio [editor.] | Lemos, Rogério [editor.] | Gacek, Cristina [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.758] (1).
|
|
|
|
The art of assembly language / by Randall Hyde.
por Hyde, Randall. Tipo de material: Libro; Formato:
impreso ; Forma literaria:
No es ficción Editor: San Francisco : No Starch Press, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada [Signatura topográfica: QA 76.73 .A8 H93 2003] (2).
|
|
|
|
The art of Prolog [recurso electrónico] : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren.
por Sterling, Leon | Shapiro, Ehud Y. Edición: 2nd ed.Tipo de material: Libro; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Cambridge, Mass. : MIT Press, c1994Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.73 .P76 S74 1994 EB] (1).
|
|
|
|
Automata for Branching and Layered Temporal Structures [recurso electrónico] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis.
por Puppis, Gabriele [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: Q334 -342] (1).
|
|
|
|
Automated Reasoning [recurso electrónico] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ? July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.
por Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica (1).
|
|
|
|
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [recurso electrónico] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.
por Armando, Alessandro [editor.] | Lowe, Gavin [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.9 .A25] (1).
|
|
|
|
Automated Technology for Verification and Analysis [recurso electrónico] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin.
por Bouajjani, Ahmed [editor.] | Chin, Wei-Ngan [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Libro; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica [Signatura topográfica: QA76.758] (1).
|
