Su búsqueda retornó 178 resultados.

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) .
		AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata. por Pagallo, Ugo [editor.] \| Palmirani, Monica [editor.] \| Casanovas, Pompeu [editor.] \| Sartor, Giovanni [editor.] \| Villata, Serena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10791Edició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) .
		Algorithmic Aspects of Cloud Computing [recurso electrónico] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos. por Karydis, Ioannis [editor.] \| Sioutas, Spyros [editor.] \| Triantafillou, Peter [editor.] \| Tsoumakos, Dimitrios [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9511Edición: 1st ed. 2016.Origen: 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) .
		Application and Theory of Petri Nets and Concurrency [recurso electrónico] : 37th International Conference, PETRI NETS 2016, Toru?, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel Moldt. por Kordon, Fabrice [editor.] \| Moldt, Daniel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9698Origen: 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) .
		Application and Theory of Petri Nets and Concurrency [electronic resource] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / edited by Victor Khomenko, Olivier H. Roux. por Khomenko, Victor [editor.] \| Roux, Olivier H [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10877Edició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 [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) .
		Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / edited by Jeremy Gibbons, Perdita Stevens. por Gibbons, Jeremy [editor.] \| Stevens, Perdita [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 9715Edició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) .
		Coalgebraic Methods in Computer Science [recurso electrónico] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo. por Hasuo, Ichiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9608Origen: 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) .
		Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers / edited by Corina Cîrstea. por Cîrstea, Corina [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11202Edició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) .
		Computational Autism [recurso electrónico] / by Boris Galitsky. por Galitsky, Boris [author.] \| SpringerLink (Online service). Series Human?Computer Interaction SeriesOrigen: 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) .
		Computational Methods in Systems Biology [electronic resource] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / edited by Milan Češka, David Šafránek. por Češka, Milan [editor.] \| Šafránek, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Bioinformatics ; 11095Edició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 Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9780Origen: 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) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9779Origen: 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) .
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10982Edició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 Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10981Edició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) .

		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) .
		AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata. por Pagallo, Ugo [editor.] \| Palmirani, Monica [editor.] \| Casanovas, Pompeu [editor.] \| Sartor, Giovanni [editor.] \| Villata, Serena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10791Edició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) .
		Algorithmic Aspects of Cloud Computing [recurso electrónico] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos. por Karydis, Ioannis [editor.] \| Sioutas, Spyros [editor.] \| Triantafillou, Peter [editor.] \| Tsoumakos, Dimitrios [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9511Edición: 1st ed. 2016.Origen: 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) .
		Application and Theory of Petri Nets and Concurrency [recurso electrónico] : 37th International Conference, PETRI NETS 2016, Toru?, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel Moldt. por Kordon, Fabrice [editor.] \| Moldt, Daniel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9698Origen: 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) .
		Application and Theory of Petri Nets and Concurrency [electronic resource] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / edited by Victor Khomenko, Olivier H. Roux. por Khomenko, Victor [editor.] \| Roux, Olivier H [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10877Edició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 [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) .
		Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / edited by Jeremy Gibbons, Perdita Stevens. por Gibbons, Jeremy [editor.] \| Stevens, Perdita [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 9715Edició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) .
		Coalgebraic Methods in Computer Science [recurso electrónico] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo. por Hasuo, Ichiro [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9608Origen: 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) .
		Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers / edited by Corina Cîrstea. por Cîrstea, Corina [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11202Edició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) .
		Computational Autism [recurso electrónico] / by Boris Galitsky. por Galitsky, Boris [author.] \| SpringerLink (Online service). Series Human?Computer Interaction SeriesOrigen: 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) .
		Computational Methods in Systems Biology [electronic resource] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / edited by Milan Češka, David Šafránek. por Češka, Milan [editor.] \| Šafránek, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Bioinformatics ; 11095Edició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 Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9780Origen: 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) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9779Origen: 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) .
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10982Edició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 Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10981Edició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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 178 resultados.