語系
Majumdar, Rupak.
概要
| 作品: | 6 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
SpringerLink (Online service); Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kuncak, Viktor.
(書目-語言資料,印刷品)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
Bartocci, Ezio.; SpringerLink (Online service); Majumdar, Rupak.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
Majumdar, Rupak.; SpringerLink (Online service); Georgiou, Chryssis.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Majumdar, Rupak.; Havelund, Klaus, (1955-); SpringerLink (Online service); Palsberg, Jens.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
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.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
SpringerLink (Online service); Tabuada, Paulo.; Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
Georgiou, Chryssis.; Majumdar, Rupak.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
Bartocci, Ezio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Majumdar, Rupak.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computers.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Software Engineering.
Data Structures and Information Theory.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Hybrid computers
Information theory.
System Performance and Evaluation.
Computers, Special purpose.
The Computing Profession.
Data structures (Computer science).
Computer Science.
Special purpose computers.
Computer communication systems.
Information Systems and Communication Service.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computing Milieux.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.