Výsledky vyhledávání - "Lecture Notes in Computer Science. Theoretical Computer Science and General issues"

A Theory of History Dependent Abstractions for Learning Interface Automata.

Autoři: Aarts, Fides

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Software Science.

Témata: Part of book or chapter of book.

URL: https://doi.org/10.1007/978-3-642-32940-1_18
http://hdl.handle.net/2066/103288

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings.

Autoři: Eekelen, M.C.J.D. van

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Data Science., Digital Security., Software Science.

Témata: Book (monograph)

URL: http://hdl.handle.net/2066/91946
https://doi.org/10.1007/978-3-642-22863-6

Preface.

Autoři: Geuvers, H.

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General issues., Data Science., Digital Security., Software Science.

Témata: Part of book or chapter of book.

URL: http://hdl.handle.net/2066/92217
https://repository.ubn.ru.nl//bitstream/handle/2066/92217/92217.pdf

A Theory of History Dependent Abstractions for Learning Interface Automata

Autoři: Koutny, M. Aarts, Fides Heidarian, F. a další

Zdroj: Koutny, M. (ed.), CONCOR 2012 - Concurrency theory : CONCUR 2012- Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings; 240; 255; 9783642329395; Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454; Koutny, M. (ed.), CONCOR 2012 - Concurrency theory : CONCUR 2012- Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings~~240~255~~9783642329395~~~~Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454~

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues

URL: http://hdl.handle.net/2066/103288
https://doi.org/10.1007/978-3-642-32940-1_18
Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454

Preface

Autoři: Eekelen, M. Van Geuvers, H. Schmaltz, J. a další

Zdroj: Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings; V; VI; 9783642228629; Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898; Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings~~V~VI~~9783642228629~~~~Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898~

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General issues

URL: http://hdl.handle.net/2066/92217
Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898