Su búsqueda retornó 3 resultados.

Resultados
		Automated Reasoning [recurso electrónico] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle. por Giesl, Jürgen [editor.] \| Hähnle, Reiner [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6173Origen: 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.
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. por Bennaceur, Amel [editor.] \| Hähnle, Reiner [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11026Edició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) .

Con tecnología Koha