Fraser, Gordon.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(1998 :); Fraser, Gordon.; Gargantini, Angelo.; SpringerLink (Online service)
(書目-電子資源)
Search based software engineering4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(1998 :); Fraser, Gordon.; SpringerLink (Online service); Teixeira de Souza, Jerffeson.
(書目-電子資源)
Testing - practice and research techniques5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(1998 :); Bottaci, Leonardo.; Fraser, Gordon.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineering28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
(1998 :); Boronat, Artur.; Fraser, Gordon.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Pattern Recognition.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Academic-industrial collaboration
Operating Systems.
Computation by Abstract Devices.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Computer System Implementation.
Natural Language Processing (NLP).