語系
Majumdar, Rupak.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Palsberg, Jens.; Majumdar, Rupak.; Havelund, Klaus, (1955-); SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Tabuada, Paulo.; Majumdar, Rupak.
(書目-電子資源)
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); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
System design
Artificial Intelligence (incl. Robotics)
Hybrid computers
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Simulation and Modeling.
Programming Techniques.
Computer Science.
System analysis
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Processor Architectures.
Computer software- Verification
Computation by Abstract Devices.
Computer Science