Тема, жанр, tags: Programming Techniques,Software Engineering,Programming Languages Compilers Interpreters,Logics and » Page 348 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Techniques,Software Engineering,Programming Languages Compilers Interpreters,Logics and » Page 348

book ECOOP 2007 – Object-Oriented Programming: 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

ECOOP 2007 – Object-Oriented Programming: 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

pdf

Author: Joe Armstrong (auth.) Erik Ernst (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

djvu

Author: C. A. R. Hoare (auth.) Ernst-Rüdiger Olderog Bernhard Steffen (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

pdf

Author: Andrea Omicini Franco Zambonelli (auth.) João Leite Andrea Omicini Leon Sterling Paolo Torroni (eds.)
Language: English
Year: 2004

00

26.01.2024

1

0

book Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

pdf

Author: Leon Sterling (auth.) Matteo Baldoni Tran Cao Son M. Birna van Riemsdijk Michael Winikoff (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

pdf

Author: Nicoletta Fornara Marco Colombetti (auth.) Matteo Baldoni Tran Cao Son M. Birna van Riemsdijk Michael Winikoff (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book DIANA An Intermediate Language for Ada

DIANA An Intermediate Language for Ada

djvu

Author: Gerhard Goos William A. Wulf Arthur Evans Jr. Kenneth J. Butler (eds.)
Language: English
Year: 1983

00

26.01.2024

0

0

book CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

pdf

Author: Fred B. Schneider (auth.) Luís Caires Vasco T. Vasconcelos (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Constraint Processing: Selected Papers

Constraint Processing: Selected Papers

djvu

Author: Andreas Podelski Peter Van Roy (auth.) Manfred Meyer (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

pdf

Author: David Aspinall Stephen Gilmore (auth.) Gilles Barthe Lilian Burdy Marieke Huisman Jean-Louis Lanet Traian Muntean (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0

book Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

pdf

Author: C. A. R. Hoare (auth.) Ernst-Rüdiger Olderog Bernhard Steffen (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0