Book serie: / Книги серии: Computer Software Engineering Series » Page 90 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Computer Software Engineering Series » Page 90

book Graph Algorithms

Graph Algorithms

djvu

Author: Shimon Even
Language: English
Year: 1979

00

27.01.2024

1

0

book Fundamentals of Computer Algorithms

Fundamentals of Computer Algorithms

djvu

Author: Ellis Horowitz Sartaj Sahni
Language: English
Year: 1984

00

27.01.2024

0

0

book Fundamentals of programming languages

Fundamentals of programming languages

djvu

Author: Ellis Horowitz
Language: English
Year: 1983

00

27.01.2024

0

0

book Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

pdf

00

27.01.2024

0

0

book Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

pdf

Author: Nicolas Blanc Daniel Kroening (auth.) Marcel Vinícius Medeiros Oliveira Jim Woodcock (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

pdf

Author: Thai Son Hoang Hironobu Kuruma David Basin Jean-Raymond Abrial (auth.) Michael Leuschel Heike Wehrheim (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

djvu

Author: John Launchbury (auth.) Paul Hudak David S. Warren (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

pdf

Author: Boutheina Chetali (auth.) Catherine Dubois (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Assemblers, compilers, and program translation

Assemblers, compilers, and program translation

djvu

Author: Peter Calingaert
Language: English
Year: 1979

00

27.01.2024

0

0

book Antipatterns: Identification, Refactoring, and Management (Auerbach Series on Applied Software Engineering)

Antipatterns: Identification, Refactoring, and Management (Auerbach Series on Applied Software Engineering)

pdf

Author: Phillip A. Laplante Colin J. Neill
Language: English
Year: 2005

00

27.01.2024

1

0