語系
Majumdar, Rupak.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-電子資源)
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:)
(書目-電子資源)
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.
Computer Science.
Programming Techniques.
System analysis
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Computer software- Verification
Computer Science