Author books / Книги автора Manindra Agrawal P. S. Thiagarajan (auth.) Rajeev Alur George J. Pappas (eds.) » Page 35 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Manindra Agrawal P. S. Thiagarajan (auth.) Rajeev Alur George J. Pappas (eds.) » Page 35

book Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

pdf

Author: Manindra Agrawal P. S. Thiagarajan (auth.) Rajeev Alur George J. Pappas (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

pdf

Author: Rajeev Alur (auth.) José Meseguer Grigore Roşu (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Artificial intelligence and expert systems for engineers

Artificial intelligence and expert systems for engineers

pdf

Author: C.S. Krishnamoorthy S. Rajeev
Language: English
Year: 1996

00

26.01.2024

0

0

book Apache CXF Web Service Development

Apache CXF Web Service Development

pdf

Author: Naveen Balani Rajeev Hathi
Language: English
Year: 2009

00

26.01.2024

0

0

book Engineering electromagnetics: applications

Engineering electromagnetics: applications

pdf

Author: Rajeev Bansal
Language: English
Year: 2006

00

26.01.2024

0

0

book Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

djvu

Author: Bernard Boigelot Patrice Godefroid (auth.) Rajeev Alur Thomas A. Henzinger (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Algorithms — ESA 2002: 10th Annual European Symposium Rome, Italy, September 17–21, 2002 Proceedings

Algorithms — ESA 2002: 10th Annual European Symposium Rome, Italy, September 17–21, 2002 Proceedings

pdf

Author: William Cook (auth.) Rolf Möhring Rajeev Raman (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

pdf

Author: Rajeev Alur P. Madhusudan (auth.) Marco Bernardo Flavio Corradini (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

djvu

Author: Rajeev Alur Limor Fix Thomas A. Henzinger (auth.) David L. Dill (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings

Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings

pdf

Author: Torben Hagerup Rajeev Raman (auth.) Martti Penttonen Erik Meineche Schmidt (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0