Su búsqueda retornó 7749 resultados.

Resultados
		Audio Source Separation [electronic resource] / edited by Shoji Makino. por Makino, Shoji [editor.] \| SpringerLink (Online service). Series Signals and Communication TechnologyEdició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) .
		Augmented Intelligence and Intelligent Tutoring Systems [electronic resource] : 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings / edited by Claude Frasson, Phivos Mylonas, Christos Troussas. por Frasson, Claude [editor.] \| Mylonas, Phivos [editor.] \| Troussas, Christos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13891Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Augmented Reality [electronic resource] : Where We Will All Live / by Jon Peddie. por Peddie, Jon [author.] \| SpringerLink (Online service). Edición: 2nd ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (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). Series Lecture Notes in Computer Science ; 5955Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: Q334 -342.
		Automata, Languages and Programming [recurso electrónico] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. por Abramsky, Samson [editor.] \| Gavoille, Cyril [editor.] \| Kirchner, Claude [editor.] \| Meyer auf der Heide, Friedhelm [editor.] \| Spirakis, Paul G [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6199Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: QA76.9 .A43.
		Automata, Languages and Programming [recurso electrónico] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / edited by Luca Aceto, Monika Henzinger, Jirí Sgall. por Aceto, Luca [editor.] \| Henzinger, Monika [editor.] \| Sgall, Jirí [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6756Origen: 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 .L63.
		Automated Analysis of the Oximetry Signal to Simplify the Diagnosis of Pediatric Sleep Apnea [electronic resource] : From Feature-Engineering to Deep-Learning Approaches / by Fernando Vaquerizo Villar. por Vaquerizo Villar, Fernando [author.] \| SpringerLink (Online service). Series Springer Theses, Recognizing Outstanding Ph.D. ResearchEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Automated and Electric Vehicle: Design, Informatics and Sustainability [electronic resource] / edited by Yue Cao, Yuanjian Zhang, Chenghong Gu. por Cao, Yue [editor.] \| Zhang, Yuanjian [editor.] \| Gu, Chenghong [editor.] \| SpringerLink (Online service). Series Recent Advancements in Connected Autonomous Vehicle Technologies ; 3Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Automated Deduction – CADE-23 [recurso electrónico] : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. por Bjørner, Nikolaj [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6803Origen: 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.
		Automated Deduction in Geometry [recurso electrónico] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. por Schreck, Pascal [editor.] \| Narboux, Julien [editor.] \| Richter-Gebert, Jürgen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6877Origen: 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.
		Automated Guided Vehicle Systems [electronic resource] : A Guide - With Practical Applications - About The Technology - For Planning / by Günter Ullrich, Thomas Albrecht. por Ullrich, Günter [author.] \| Albrecht, Thomas [author.] \| SpringerLink (Online service). Edición: 2nd ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023Acceso 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 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). Series Lecture Notes in Computer Science ; 6186Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Automated Reasoning with Analytic Tableaux and Related Methods [recurso electrónico] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. por Brünnler, Kai [editor.] \| Metcalfe, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6793Origen: 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.
		Automated Software and Service Composition [recurso electrónico] : A Survey and Evaluating Review / by Felix Mohr. por Mohr, Felix [author.] \| SpringerLink (Online service). Series SpringerBriefs in Computer ScienceOrigen: 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 [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). Series Lecture Notes in Computer Science ; 6252Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: QA76.758.
		Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. por Bultan, Tevfik [editor.] \| Hsiung, Pao-Ann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6996Origen: 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.
		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) .

		Audio Source Separation [electronic resource] / edited by Shoji Makino. por Makino, Shoji [editor.] \| SpringerLink (Online service). Series Signals and Communication TechnologyEdició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) .
		Augmented Intelligence and Intelligent Tutoring Systems [electronic resource] : 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings / edited by Claude Frasson, Phivos Mylonas, Christos Troussas. por Frasson, Claude [editor.] \| Mylonas, Phivos [editor.] \| Troussas, Christos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13891Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Augmented Reality [electronic resource] : Where We Will All Live / by Jon Peddie. por Peddie, Jon [author.] \| SpringerLink (Online service). Edición: 2nd ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (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). Series Lecture Notes in Computer Science ; 5955Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: Q334 -342.
		Automata, Languages and Programming [recurso electrónico] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. por Abramsky, Samson [editor.] \| Gavoille, Cyril [editor.] \| Kirchner, Claude [editor.] \| Meyer auf der Heide, Friedhelm [editor.] \| Spirakis, Paul G [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6199Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: QA76.9 .A43.
		Automata, Languages and Programming [recurso electrónico] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / edited by Luca Aceto, Monika Henzinger, Jirí Sgall. por Aceto, Luca [editor.] \| Henzinger, Monika [editor.] \| Sgall, Jirí [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6756Origen: 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 .L63.
		Automated Analysis of the Oximetry Signal to Simplify the Diagnosis of Pediatric Sleep Apnea [electronic resource] : From Feature-Engineering to Deep-Learning Approaches / by Fernando Vaquerizo Villar. por Vaquerizo Villar, Fernando [author.] \| SpringerLink (Online service). Series Springer Theses, Recognizing Outstanding Ph.D. ResearchEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Automated and Electric Vehicle: Design, Informatics and Sustainability [electronic resource] / edited by Yue Cao, Yuanjian Zhang, Chenghong Gu. por Cao, Yue [editor.] \| Zhang, Yuanjian [editor.] \| Gu, Chenghong [editor.] \| SpringerLink (Online service). Series Recent Advancements in Connected Autonomous Vehicle Technologies ; 3Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Automated Deduction – CADE-23 [recurso electrónico] : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. por Bjørner, Nikolaj [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6803Origen: 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.
		Automated Deduction in Geometry [recurso electrónico] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. por Schreck, Pascal [editor.] \| Narboux, Julien [editor.] \| Richter-Gebert, Jürgen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6877Origen: 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.
		Automated Guided Vehicle Systems [electronic resource] : A Guide - With Practical Applications - About The Technology - For Planning / by Günter Ullrich, Thomas Albrecht. por Ullrich, Günter [author.] \| Albrecht, Thomas [author.] \| SpringerLink (Online service). Edición: 2nd ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023Acceso 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 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). Series Lecture Notes in Computer Science ; 6186Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Automated Reasoning with Analytic Tableaux and Related Methods [recurso electrónico] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. por Brünnler, Kai [editor.] \| Metcalfe, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6793Origen: 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.
		Automated Software and Service Composition [recurso electrónico] : A Survey and Evaluating Review / by Felix Mohr. por Mohr, Felix [author.] \| SpringerLink (Online service). Series SpringerBriefs in Computer ScienceOrigen: 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 [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). Series Lecture Notes in Computer Science ; 6252Origen: Springer eBooksTipo de material: Texto; 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 Not for loan (1) Signatura topográfica: QA76.758.
		Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. por Bultan, Tevfik [editor.] \| Hsiung, Pao-Ann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6996Origen: 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.
		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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 7749 resultados.