Тема, жанр, tags: Algorithm Analysis and Problem Complexity,Software Engineering,Software Engineering/Programming and » Page 1470 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Algorithm Analysis and Problem Complexity,Software Engineering,Software Engineering/Programming and » Page 1470

book Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

pdf

Author: Yann Thierry-Mieg Denis Poitrenaud Alexandre Hamez Fabrice Kordon (auth.) Stefan Kowalewski Anna Philippou (eds.)
Language: English
Year: 2009

00

26.01.2024

3

0

book Quality of Software Architectures. Models and Architectures: 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

Quality of Software Architectures. Models and Architectures: 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

pdf

Author: Danilo Ardagna Carlo Ghezzi Raffaela Mirandola (auth.) Steffen Becker Frantisek Plasil Ralf Reussner (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

pdf

Author: Amador Durán Beatriz Bernárdez Marcela Genero Mario Piattini (auth.) Thomas Baar Alfred Strohmeier Ana Moreira Stephen J. Mellor (eds.)
Language: English
Year: 2004

00

26.01.2024

2

0

book Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

pdf

Author: Ole Lehrmann Madsen (auth.) Reinhard Wilhelm (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

djvu

Author: Carolyn Talcott (auth.) Mauro Boscarol Luigia Carlucci Aiello Giorgio Levi (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

djvu

Author: Deepak Kapur (auth.) Harald Ganzinger (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

pdf

Author: Jean-Pierre Jouannaud Ralf Treinen (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Hubert Comon Claude Marché Ralf Treinen (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

pdf

Author: Andrew Pitts (auth.) Rocco De Nicola (eds.)
Language: English
Year: 2007

00

26.01.2024

2

0

book Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

pdf

Author: Olivier Danvy (auth.) Samson Abramsky (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

pdf

Author: Wim Vanhoof (auth.) Sandro Etalle (eds.)
Language: English
Year: 2005

00

26.01.2024

3

0