Su búsqueda retornó 313 resultados. Suscribirse a esta búsqueda

|
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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 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 Libro; Formato: disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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 Libro; Formato: electrónico disponible en línea remoto; 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).

Con tecnología Koha