Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 346 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 346

book Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

pdf

Author: Joël Ouaknine James Worrell (auth.) Franck Cassez Claude Jard (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java

pdf

Author: Jim Alves-Foss Deborah Frincke (auth.) Jim Alves-Foss (eds.)
Language: English
Year: 1999

00

26.01.2024

1

0

book Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

pdf

Author: David Kitchin Adrian Quark William Cook Jayadev Misra (auth.) David Lee Antónia Lopes Arnd Poetzsch-Heffter (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

pdf

Author: Michael Backes Birgit Pfitzmann Michael Waidner (auth.) Alessandro Aldini Roberto Gorrieri Fabio Martinelli (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

pdf

Author: E. Allen Emerson (auth.) Sanjiv Kapoor Sanjiva Prasad (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

pdf

Author: Max A. Alekseyev Pavel A. Pevzner (auth.) Kamal Lodaya Meena Mahajan (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

pdf

Author: Maurice Herlihy (auth.) V. Arvind Sanjiva Prasad (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Generic Model Management: Concepts and Algorithms

Generic Model Management: Concepts and Algorithms

pdf

Author: Sergey Melnik (auth.)
Language: English
Year: 2004

00

26.01.2024

2

0

book Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers

pdf

Author: Hubert Baumeister Nora Koch (auth.) Corrado Priami (eds.)
Language: English
Year: 2003

00

26.01.2024

3

0

book Global Optimization and Constraint Satisfaction: First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers

Global Optimization and Constraint Satisfaction: First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers

pdf

Author: Nikolaos V. Sahinidis (auth.) Christian Bliek Christophe Jermann Arnold Neumaier (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0