Parker, David.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Management of Knee Osteoarthritis in the Younger, Active Patient = An Evidence-Based Practical Guide for Clinicians /
by:
SpringerLink (Online service); Parker, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II /
by:
Biere, Armin.; SpringerLink (Online service); Parker, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
Parker, David.; SpringerLink (Online service); Wolf, Verena.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I /
by:
Biere, Armin.; SpringerLink (Online service); Parker, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Parker, David.; SpringerLink (Online service); Donaldson, Alastair.
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings /
by:
Parker, David.; SpringerLink (Online service); Bogomolov, Sergiy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Computer engineering.
Computer System Implementation.
Artificial intelligence.
Software engineering.
Theory of Computation.
Sports medicine.
Logics and Meanings of Programs.
Conservative Orthopedics.
Algorithms.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Surgical Orthopedics.
Natural Language Processing (NLP).
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Sports Medicine.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Orthopedics.
Information theory.
Logic in AI.
Natural language processing (Computer science).
Mathematics of Computing.
Architecture, Computer.
Data structures (Computer science).
Computer Science.
Microprogramming .
Special purpose computers.
Computer Engineering and Networks.
Probability and Statistics in Computer Science.
Mathematical statistics.
Logic programming.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computer science.
Computer software