Тема, жанр, tags: Logics and Meanings of Programs » Page 332 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs » Page 332

book Advances in Petri Nets 1989

Advances in Petri Nets 1989

djvu

Author: M. Ajmone Marsan (auth.) Grzegorz Rozenberg (eds.)
Language: English
Year: 1990

00

26.01.2024

1

0

book Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

djvu

Author: Norman Ramsey (auth.) Manuel V. Hermenegildo Daniel Cabeza (eds.)
Language: English
Year: 2005

00

26.01.2024

5

0

book Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

pdf

Author: Gert Smolka (auth.) Chris Hankin (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi

Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi

pdf

Author: Christine Hofmeister (auth.) Ralf Reussner Johannes Mayer Judith A. Stafford Sven Overhage Steffen Becker Patrick J. Schroeder (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0

book Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

pdf

Author: Byron Cook (auth.) Werner Damm Holger Hermanns (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems

Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems

pdf

Author: Ken Kennedy Charles Koelbel (auth.) Santosh Pande Dharma P. Agrawal (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

pdf

Author: Mary Lou Soffa (auth.) Evelyn Duesterwald (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

pdf

Author: Robert Nieuwenhuis José Miguel Rivero (auth.) Paliath Narendran Michael Rusinowitch (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

djvu

Author: Claude Kirchner (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

pdf

Author: Cinzia Bernardeschi Nicoletta De Francesco (auth.) Agostino Cortesi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0