Book serie: / Книги серии: The Springer International Series in Software Engineering 3 » Page 41 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: The Springer International Series in Software Engineering 3 » Page 41

book Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments

Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments

pdf

Author: Steven G. Woods Alexander E. Quilici Qiang Yang (auth.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

pdf

Author: Walt Truszkowski Harold Hallock Christopher Rouff Jay Karlin James Rash Michael Hinchey Roy Sterritt (auth.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Software Engineering for Game Developers (Software Engineering Series)

Software Engineering for Game Developers (Software Engineering Series)

djvu

Author: Ph.D. John P Flynt Omar Salem
Language: English
Year: 2004

00

27.01.2024

0

0

book Fundamentals of data structures

Fundamentals of data structures

djvu

Author: Ellis Horowitz, Sartaj Sahni
Language: English
Year: 1982

00

27.01.2024

1

0

book Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

pdf

Author: Cliff B. Jones (auth.) George Eleftherakis Mike Hinchey Mike Holcombe (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

pdf

Author: Bran Selic (auth.) Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

pdf

Author: Joost-Pieter Katoen (auth.) Gwen Salaün Bernhard Schätz (eds.)
Language: English
Year: 2011

00

27.01.2024

0

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 Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

pdf

Author: Victor Basili Forrest Shull (auth.) Mingshu Li Barry Boehm Leon J. Osterweil (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

pdf

Author: Wolfgang Paul (auth.) Rajeev Joshi Peter Müller Andreas Podelski (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0