Stoelinga, Mariëlle.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.