Stoelinga, Mariëlle.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
by:
van den Bos, Petra.; Stoelinga, Mariëlle.; Jansen, Nils.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental Approaches to Software Engineering = 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
by:
SpringerLink (Online service); Stoelinga, Mariëlle.; Guerra, Esther.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental Approaches to Software Engineering = 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
by:
SpringerLink (Online service); Stoelinga, Mariëlle.; Guerra, Esther.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
Stoelinga, Mariëlle.; André, Étienne.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer engineering.
Data Structures and Information Theory.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Information theory.
Software engineering.
Theory of Computation.
Natural language processing (Computer science).
Logic in AI.
Data structures (Computer science).
Programming Techniques.
Computer programming.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Special purpose computers.
Computer Engineering and Networks.
Logic programming.
Special Purpose and Application-Based Systems.
Computer systems.
Simulation and Modeling.
Natural Language Processing (NLP).
Computer science.
Computers.