Suchergebnisse - "Lecture Notes in Computer Science. Theoretical Computer Science and General Issues"

A Theory of History Dependent Abstractions for Learning Interface Automata.

Autoren: Aarts, Fides

Schlagworte: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Software Science.

Index Begriffe: 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.

Autoren: Eekelen, M.C.J.D. van

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

Index Begriffe: Book (monograph)

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

Preface.

Autoren: Geuvers, H.

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

Index Begriffe: 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

Autoren: Koutny, M. Aarts, Fides Heidarian, F. et al.

Quelle: 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~

Index Begriffe: 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

Autoren: Eekelen, M. Van Geuvers, H. Schmaltz, J. et al.

Quelle: 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~

Index Begriffe: 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