Su búsqueda retornó 2 resultados.

Resultados
		Controlled Natural Language [recurso electrónico] : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / edited by Brian Davis, Gordon J. Pace, Adam Wyner. por Davis, Brian [editor.] \| Pace, Gordon J [editor.] \| Wyner, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9767Origen: 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) .
		Runtime Verification [recurso electrónico] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann. por Barringer, Howard [editor.] \| Falcone, Ylies [editor.] \| Finkbeiner, Bernd [editor.] \| Havelund, Klaus [editor.] \| Lee, Insup [editor.] \| Pace, Gordon [editor.] \| Rosu, Grigore [editor.] \| Sokolsky, Oleg [editor.] \| Tillmann, Nikolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6418Origen: 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.

Con tecnología Koha