Yazar

Shankar Natarajan

20 cilt bulundu.

Cilt sonuçları

Ghost in the Tamarind

Subramanian Shankar · University of Hawaii Press

352 sayfa · 2017-09-30

Fiction

Mechanical Verification of a Schematic Byzantine Clock Synchronization Algorithm

Natarajan Shankar · Yayınevi bilinmiyor

140 sayfa · 1991

Computer programs

Verified Software: Theories, Tools, Experiments

Natarajan Shankar, Jim Woodcock · Springer

274 sayfa · 2008-09-26

Computers

Automatic theorem provingProof-checking metamathematicsNatarajan Shankar

Proof-checking metamathematics

Natarajan Shankar · Yayınevi bilinmiyor

1398 sayfa · 1986

Automatic theorem proving

Industrial managementViewing New Product Development Through the Real Options LensVivek Shankar Natarajan

Viewing New Product Development Through the Real Options Lens

Vivek Shankar Natarajan · Yayınevi bilinmiyor

Sayfa sayısı yok · 2006

Industrial management

CiltMethodology for Selection and Evaluation of Pedestrian and Bicycle Safety Projects in VirginiaShankar Natarajan

Methodology for Selection and Evaluation of Pedestrian and Bicycle Safety Projects in Virginia

Shankar Natarajan · Yayınevi bilinmiyor

Sayfa sayısı yok · 2007

Kategori yok

Flash memories (Computers)Fast Erasing Techniques and Erase Modeling for NOR Flash MemoriesShankar Natarajan

Fast Erasing Techniques and Erase Modeling for NOR Flash Memories

Shankar Natarajan · Yayınevi bilinmiyor

196 sayfa · 2003

Flash memories (Computers)

BicyclesFramework for Selection and Evaluation of Bicycle and Pedestrian Safety Projects in VirginiaShankar Natarajan, Michael J. Demetsky, Kenneth E. Lantz

Framework for Selection and Evaluation of Bicycle and Pedestrian Safety Projects in Virginia

Shankar Natarajan, Michael J. Demetsky, Kenneth E. Lantz · Yayınevi bilinmiyor

Gas flowNumerical Simulation and Experimental Verification of Gas Flow Through Packed BedsShankar Natarajan

Numerical Simulation and Experimental Verification of Gas Flow Through Packed Beds

Shankar Natarajan · Yayınevi bilinmiyor

164 sayfa · 2003

Gas flow

Fault-tolerant computingEight Papers on Formal VerificationSRI International. Computer Science Laboratory, Patrick Lincoln, Sam Owre, Natarajan Shankar, John Rushby, Friedrich von Henke

Eight Papers on Formal Verification

SRI International. Computer Science Laboratory, Patrick Lincoln, Sam Owre, Natarajan Shankar, John Rushby, Friedrich von Henke · Yayınevi bilinmiyor

165 sayfa · 1993

Fault-tolerant computing

Abstract data types (Computer science)Abstract Datatypes in PVS.SRI International. Computer Science Laboratory, Natarajan Shankar

Abstract Datatypes in PVS.

SRI International. Computer Science Laboratory, Natarajan Shankar · Yayınevi bilinmiyor

56 sayfa · 1993

Abstract data types (Computer science)

Electronic digital computersMechanized Formal Verification - Seven PapersSRI 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

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 · Yayınevi bilinmiyor

Sayfa sayısı yok · 1995

Electronic digital computers

Proof theoryLinear Logic and Proof Theory: Three PapersSRI International. Computer Science Laboratory, Patrick Lincoln, Andre Scedrov, Natarajan Shankar, Timothy Winkler

Linear Logic and Proof Theory: Three Papers

SRI International. Computer Science Laboratory, Patrick Lincoln, Andre Scedrov, Natarajan Shankar, Timothy Winkler · Yayınevi bilinmiyor

54 sayfa · 1993

Proof theory

Computer network protocolsMechanical Verification of a Schematic Protocol for Byzantine Fault-tolerant Clock SynchronizationNatarajan Shankar

Mechanical Verification of a Schematic Protocol for Byzantine Fault-tolerant Clock Synchronization

Natarajan Shankar · Yayınevi bilinmiyor

93 sayfa · 1991

Computer network protocols

Real-time data processingA Duration Calculus proof checkerSRI International. Computer Science Laboratory, Jens U. Skakkebaek, Natarajan Shankar

A Duration Calculus proof checker

SRI International. Computer Science Laboratory, Jens U. Skakkebaek, Natarajan Shankar · Yayınevi bilinmiyor

76 sayfa · 1993

Real-time data processing

CiltIntegrated formal analysis of timed-triggered ethernetBruno Dutertre

Integrated formal analysis of timed-triggered ethernet

Bruno Dutertre · Yayınevi bilinmiyor

28 sayfa · 2012

Kategori yok

Activity programs in educationAnalyzing Student ArtefactsMin 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

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, · Yayınevi bilinmiyor

ComputersSpeech and Language TechnologiesIvo Ipsic

Speech and Language Technologies

Ivo Ipsic · IntechOpen

356 sayfa · 2011-06-21

Computers

Distributed parameter systemsA Lazy Approach to Compositional VerificationSRI International. Computer Science Laboratory, Natarajan Shankar

A Lazy Approach to Compositional Verification

SRI International. Computer Science Laboratory, Natarajan Shankar · Yayınevi bilinmiyor

39 sayfa · 1993

Distributed parameter systems

CiltModeling the Pneumatic Relay Valve of an S-cam Air BrakeShankar Vilayannur Natarajan

Modeling the Pneumatic Relay Valve of an S-cam Air Brake

Shankar Vilayannur Natarajan · Yayınevi bilinmiyor

Sayfa sayısı yok · 2005

Kategori yok