語系
Esparza, Javier.
概要
作品: | 6 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Automated technology for verification and analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings /
by:
ATVA (Symposium) (2019 :); Cheng, Chih-Hong.; Esparza, Javier.; SpringerLink (Online service); Chen, Yu-Fang.
(書目-電子資源)
Logics and languages for reliability and security
by:
Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.
(書目-語言資料,印刷品)
Tools and algorithms for the construction and analysis of systems = 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
Esparza, Javier.; Majumdar, Rupak.; SpringerLink (Online service); TACAS 2010 ((2010 :)
(書目-語言資料,印刷品)
Application and theory of petri nets 2002 = 23rd International Conference, ICATPN 2002, Adelaide, Australia, June, 24-30, 2002 : proceedings /
by:
Esparza, Javier.; SpringerLink (Online service); Lakos, Charles.; International Conference on Applications and Theory of Petri Nets (2002 :)
(書目-語言資料,印刷品)
Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part I /
by:
Esparza, Javier.; SpringerLink (Online service)
(書目-電子資源)
Foundations of Software Science and Computation Structures = 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
Esparza, Javier.; SpringerLink (Online service); FOSSACS (Conference) (2017 :); Murawski, Andrzej S.
(書目-電子資源)
Unfoldings = A Partial-Order Approach to Model Checking /
by:
Heljanko, Keijo.; SpringerLink (Online service); Esparza, Javier.
(書目-語言資料,印刷品)
主題
Operating systems (Computers)
Software Engineering.
Theory of Computation.
Computer systems- Reliability
Software engineering
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
System analysis- Congresses.
Machine theory
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Computer software
Automatic theorem proving
System design- Congresses.
Computer Science
Programming Languages, Compilers, Interpreters.
Computer logic
Programming languages (Electronic computers)
Computer programming
Information Storage and Retrieval.
Petri nets- Congresses.
Computer security
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.