登入選單
Google圖書搜尋
Eight Papers on Formal Verification
作者
SRI International. Computer Science Laboratory / Patrick Lincoln / Sam Owre / Natarajan Shankar / John Rushby / Friedrich von Henke
出版1993
ISBN
OCLC:31321280
主題
Fault-tolerant computing
Mechanized Formal Verification - Seven Papers
作者
SRI International. Computer Science Laboratory / David Cyrluk / Patrick Lincoln / Sam Owre / Pallath Narendran / Sreeranga Ragan / John Rushby / Natarajan Shankar / Jens Ulrick Skakkebaek / Mandayam Srivas / Friedrich von Henke
出版1995
ISBN
OCLC:34274221
主題
Electronic digital computers
Abstract Datatypes in PVS.
作者
SRI International. Computer Science Laboratory / Natarajan Shankar
出版1993
ISBN
OCLC:31321271
主題
Abstract data types (Computer science)
Verified Software: Theories, Tools, Experiments
作者
Natarajan Shankar / James Woodcock
出版Springer Science & Business Media, 2008-09-22
ISBN
9783540878728 / 3540878726
主題
Computers
Linear Logic and Proof Theory: Three Papers
作者
SRI International. Computer Science Laboratory / Patrick Lincoln / Andre Scedrov / Natarajan Shankar / Timothy Winkler
出版1993
ISBN
OCLC:31321295
主題
Proof theory
Mechanical Verification of a Schematic Byzantine C...
作者
Natarajan Shankar
出版1991
ISBN
NASA:31769000514722
主題
Computer programs
Mechanized Verification of Real-time Systems Using...
作者
SRI International. Computer Science Laboratory / Natarajan Shankar
出版1992
ISBN
OCLC:31360529
主題
Real-time data processing
A Duration Calculus proof checker
作者
SRI International. Computer Science Laboratory / Jens U. Skakkebaek / Natarajan Shankar
出版1993
ISBN
OCLC:31321278
主題
Real-time data processing
Mechanical Verification of a Schematic Protocol fo...
作者
Natarajan Shankar
出版1991
ISBN
OCLC:24764544
主題
Computer network protocols
Proof-checking metamathematics
作者
Natarajan Shankar
出版1986
ISBN
OCLC:17800030
主題
Automatic theorem proving
A Lazy Approach to Compositional Verification
作者
SRI International. Computer Science Laboratory / Natarajan Shankar
出版1993
ISBN
OCLC:31321292
主題
Distributed parameter systems
Integrated formal analysis of timed-triggered ethe...
作者
Bruno Dutertre
出版2012
ISBN
OCLC:808419931
Thermal Reactivity Study of Solvent Refined Coal
作者
Natarajan Shankar
出版1985
ISBN
OCLC:18120811
主題
Coal liquefaction
Towards Mechanical Metamathematics
作者
Natarajan Shankar / University of Texas at Austin. Institute for Computing Science
出版1984
ISBN
OCLC:17847282
主題
Automatic theorem proving
Analyzing Student Artefacts
作者
Min Pyng Chen / Cher Ping Lim / Peter Freebody / John G. Hedberg / Libo Guo / Christine Hui Li Chin / Mani Le Vasan / Doreen Tan / Phillip Alexander Towndrow / Ole C. Brudvik / Muthukumar S. Lakshmanan / Julie Poh Gek Lim / Tze Mien Lim / Uma Natarajan / Suneeta Anil Pathak / Sunitha Shankar / Charmaine Ming Shann Sam / Christine Sze Yin Tan / Angela Ting Ling Tiu / Wendy Ting Yik Tiu
出版2006
ISBN
OCLC:1369025184
主題
Activity programs in education
AFM '07
出版2007
ISBN
OCLC:261341166
主題
Computer software
Methodology for Selection and Evaluation of Pedest...
作者
Shankar Natarajan
出版2007
ISBN
OCLC:213370944
Viewing New Product Development Through the Real O...
作者
Vivek Shankar Natarajan
出版2006
ISBN
0542942844 / 9780542942846
主題
Industrial management
Speech and Language Technologies
作者
Ivo Ipsic
出版IntechOpen, 2011-06-21
ISBN
9533073225 / 9789533073224
主題
Computers
Numerical Simulation and Experimental Verification...
作者
Shankar Natarajan
出版2003
ISBN
OCLC:1071835646
主題
Gas flow
Modeling the Pneumatic Relay Valve of an S-cam Air...
作者
Shankar Vilayannur Natarajan
出版2005
ISBN
OCLC:62219610
Fast Erasing Techniques and Erase Modeling for NOR...
作者
Shankar Natarajan
出版2003
ISBN
OCLC:56141460
主題
Flash memories (Computers)
Shri S. Natarajan, a Great Educationist
作者
Subbiah Natarajan
出版Madras : S. Natarajan Memorial Committee, [pref. 1978], 1978
ISBN
UOM:39015035604878
主題
Education
Framework for Selection and Evaluation of Bicycle ...
作者
Shankar Natarajan / Michael J. Demetsky / Kenneth E. Lantz
出版2008
ISBN
LCCN:2008379164
主題
Bicycles
SV - the Mastermind
作者
R. Natarajan (Prof.)
出版2002
ISBN
OCLC:499193451
主題
Industrialists
Timeless in Time
作者
A. R. Natarajan
出版1999
ISBN
UOM:39015054172427
主題
Hindu Philosophers
Mother Azhagammal
作者
A. R. Natarajan
出版2006
ISBN
UOM:39015070114767
主題
Hindus
Matters that Matter
作者
Natarajan Viswanathan
出版2003
ISBN
8178750279 / 9788178750279
New Dawn
作者
Arni Ramachandra Natarajan / Ramana Maharshi Centre for Learning
出版2002
ISBN
8188261033 / 9788188261031
主題
Spiritual life
The Hidden Power
作者
Natarajan A R
出版1996
ISBN
8185378452 / 9788185378459