Author books / Книги автора Natarajan Shankar (auth.) Lars-Henrik Eriksson Peter Alexander Lindsay (eds.) » Page 41 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Natarajan Shankar (auth.) Lars-Henrik Eriksson Peter Alexander Lindsay (eds.) » Page 41

book FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

pdf

Author: Natarajan Shankar (auth.) Lars-Henrik Eriksson Peter Alexander Lindsay (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Hybrid Systems II

Hybrid Systems II

djvu

Author: Eugene Asarin Oded Maler Amir Pnueli (auth.) Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

djvu

Author: John Lygeros Datta N. Godbole Shankar Sastry (auth.) Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

djvu

Author: Eugene Asarin (auth.) Thomas A. Henzinger Shankar Sastry (eds.)
Language: English
Year: 1998

00

27.01.2024

1

0

book Discrete mathematics structures

Discrete mathematics structures

pdf

Author: Shankar G. Rao
Language: English
Year: 2009

00

27.01.2024

8

0

book Metamathematics, machines and Goedel's proof

Metamathematics, machines and Goedel's proof

djvu

Author: N. Shankar
Language: English
Year: 1994

00

27.01.2024

0

0

book Nonlinear systems: analysis, stability, and control

Nonlinear systems: analysis, stability, and control

djvu

Author: Shankar Sastry
Language: English
Year: 1999

00

27.01.2024

2

0

book Linear control theory: Structure, robustness, and optimization

Linear control theory: Structure, robustness, and optimization

pdf

Author: Shankar P. Bhattacharyya Aniruddha Datta Lee H. Keel
Language: English
Year: 2009

00

27.01.2024

1

0

book Linear Control Theory: Structure, Robustness, and Optimization

Linear Control Theory: Structure, Robustness, and Optimization

pdf

Author: Shankar P. Bhattacharyya Aniruddha Datta Lee H. Keel
Language: English
Year: 2009

00

27.01.2024

3

0

book Cardiovascular MRI in Congenital Heart Disease: An Imaging Atlas

Cardiovascular MRI in Congenital Heart Disease: An Imaging Atlas

pdf

Author: Dr. Shankar Sridharan Gemma Price Dr. Oliver Tann Dr. Marina Hughes Dr. Vivek Muthurangu Professor Andrew M. Taylor (auth.)
Language: English
Year: 2010

00

27.01.2024

0

0