Resultados
|
|
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). Series Lecture Notes in Computer Science ; 9675Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) .
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl. por Butler, Michael [editor.] | Raschke, Alexander [editor.] | Hoang, Thai Son [editor.] | Reichl, Klaus [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10817Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] | Juckeland, Guido [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
The art of assembly language / by Randall Hyde. por Hyde, Randall. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: eng. Detalles de publicación: San Francisco : No Starch Press, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA 76.73 .A8 H93 2003, ...
|
|
|
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). Series Lecture Notes in Computer Science ; 9706Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) .
|
|
|
Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani. por Galmiche, Didier [editor.] | Schulz, Stephan [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10900Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani. por Galmiche, Didier [editor.] | Schulz, Stephan [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10900Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Automated Technology for Verification and Analysis [recurso electrónico] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. por Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9938Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) .
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] | Wang, Chao [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11138Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Safety, Reliability, and Security [recurso electrónico] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch. por Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9922Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) .
|
|
|
|
|
|
Concepts of programming languages / Robert W. Sebesta. por Sebesta, Robert W. Edición: 8th ed.Tipo de material: Texto; Forma literaria:
No es ficción ; Audiencia:
Especializado; Detalles de publicación: Boston : Pearson Addison Wesley, c2008Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA76.7 S42 2008, ...
|
|
|
Coordination Models and Languages [recurso electrónico] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Alberto Lluch Lafuente, José Proença. por Lluch Lafuente, Alberto [editor.] | Proença, José [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9686Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) .
|
|
|
Coordination Models and Languages [electronic resource] : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / edited by Giovanna Di Marzo Serugendo, Michele Loreti. por Di Marzo Serugendo, Giovanna [editor.] | Loreti, Michele [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 10852Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Critical Systems: Formal Methods and Automated Verification [recurso electrónico] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. por ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9933Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) .
|