Esparza, Javier.
概要
| 作品: | 6 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings /
by:
ATVA (Symposium) (2019 :); Chen, Yu-Fang.; Cheng, Chih-Hong.; Esparza, Javier.; SpringerLink (Online service)
(書目-電子資源)
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.; Lakos, Charles.; SpringerLink (Online service); 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)
(書目-電子資源)
Taming the infinities of concurrency = essays dedicated to Javier Esparza on the occasion of his 60th birthday /
by:
Esparza, Javier.; SpringerLink (Online service); Kučera, Antonín.; Kiefer, Stefan.; Křetínský, Jan.
(書目-電子資源)
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
Computational complexity.
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.
Computer Science Logic and Foundations of Programming.
Petri nets- Congresses.
Computer security
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Computer science.