Tasiran, Serdar.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Tasiran, Serdar.; Reynolds, Andrew.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
SpringerLink (Online service); Tasiran, Serdar.; Qadeer, Shaz.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer System Implementation.
Artificial intelligence.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programs
Computer network architectures.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Information theory.
System Performance and Evaluation.
Logic in AI.
The Computing Profession.
Computer Science.
Computer simulation.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computer science.
Computer system failures.
Computer Hardware.
Programming languages (Electronic computers).
Computer software
Computer Science Logic and Foundations of Programming.