語系
Majumdar, Rupak.
概要
作品: | 2 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Networked systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /
by:
NETYS (Conference) (2020 :); Majumdar, Rupak.; SpringerLink (Online service); Georgiou, Chryssis.
(書目-電子資源)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service); International SPIN Workshop (2008 :)
(書目-語言資料,印刷品)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
Majumdar, Rupak.; Tabuada, Paulo.; SpringerLink (Online service); HSCC 2009 ((2009 :)
(書目-語言資料,印刷品)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
Majumdar, Rupak.; SpringerLink (Online service); Kuncak, Viktor.; CAV (Conference) (2017 :)
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
Majumdar, Rupak.; SpringerLink (Online service); Kuncak, Viktor.; CAV (Conference) (2017 :)
(書目-電子資源)
Symbolic algorithms for verification and control.
by:
Majumdar, Rupak.; University of California, Berkeley.
(書目-電子資源)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
Majumdar, Rupak.; SpringerLink (Online service); Bartocci, Ezio.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Logics and Meanings of Programs.
System analysis- Congresses.
Information Systems and Communication Service.
Software Engineering/Programming and Operating Systems.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Special Purpose and Application-Based Systems.
System design- Congresses.
Computer Science
Formal methods (Computer science)
Wireless communication systems
Computer software- Testing
The Computing Profession.
Artificial Intelligence.
Computer software- Verification
Computer Science.
Hybrid computers
Simulation and Modeling.
Computer Communication Networks.
System Performance and Evaluation.
Computer networks
Cloud computing
Mobile computing