Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 20 արդյունքները 155 այս փնտրման համար '', հարցման ժամանակը: 0.02s Հստակեցնել արդյունքները
  1. 1
    Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
    Գիրք
    Հրապարակվել է 1993
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Structured programming.
    Ամսագիր
    Հրապարակվել է 1989
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Eclipse : an integrated project support environment /
    Գիրք
    Հրապարակվել է 1989
    Պահել ցուցակում
    Պահպանված է:
  4. 4
    The B language and method : a guide to practical formal development /
    Գիրք
    Lano, K.
    Հրապարակվել է 1996
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /
    Գիրք
    Baber, Robert Laurence
    Հրապարակվել է 1988
    Պահել ցուցակում
    Պահպանված է:
  6. 6
    Integrated project support environments /
    Գիրք
    Հրապարակվել է 1985
    Պահել ցուցակում
    Պահպանված է:
  7. 7
    Software development : fashioning the baroque /
    Գիրք
    Ince, D. (Darrel)
    Հրապարակվել է 1988
    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
    Գիտաժողովի նյութեր
    Հրապարակվել է 1995
    Պահել ցուցակում
    Պահպանված է:
  9. 9
    Industrial software technology /
    Գիրք
    Հրապարակվել է 1987
    Պահել ցուցակում
    Պահպանված է:
  10. 10
    Hardware/software co-design : an annotated bibliography: 350 bibliographical references /
    Գիրք
    Buchenrieder, Klaus
    Հրապարակվել է 1994
    Պահել ցուցակում
    Պահպանված է:
  11. 11
    Insect transformation /
    Գիրք
    Carpenter, George Herbert, 1865-1939
    Հրապարակվել է 1921
    Պահել ցուցակում
    Պահպանված է:
  12. 12
    Developing safety systems : a guide using Ada /
    Գիրք
    Pyle, I. C. (Ian C.), 1934-
    Հրապարակվել է 1991
    Պահել ցուցակում
    Պահպանված է:
  13. 13
    Software acquisition management : managing the acquisition of custom software systems /
    Գիրք
    Marciniak, John J.
    Հրապարակվել է 1990
    Table of Contents
    Contributor biographical information
    Publisher description
    Պահել ցուցակում
    Պահպանված է:
  14. 14
    Measures for excellence : reliable software on time, within budget /
    Գիրք
    Putnam, Lawrence H.
    Հրապարակվել է 1992
    Պահել ցուցակում
    Պահպանված է:
  15. 15
    A knowledge based approach to software development : ESPRIT Project ASPIS /
    Գիրք
    Հրապարակվել է 1991
    Պահել ցուցակում
    Պահպանված է:
  16. 16
    The field programming environment : a friendly integrated environment for learning and development /
    Գիրք
    Reiss, Steven P., 1951-
    Հրապարակվել է 1995
    Պահել ցուցակում
    Պահպանված է:
  17. 17
    The Imperative future : principles of executable temporal logic /
    Գիրք
    Հրապարակվել է 1996
    Պահել ցուցակում
    Պահպանված է:
  18. 18
    Building enterprise solutions with Visual Studio 6 /
    Գիրք
    Benage, Don
    Հրապարակվել է 1999
    Պահել ցուցակում
    Պահպանված է:
  19. 19
    UNIX software development tools : UNIX SVR4.2.
    Գիրք
    Հրապարակվել է 1992
    Պահել ցուցակում
    Պահպանված է:
  20. 20
    Excel 2000 developer's handbook /
    Գիրք
    Cottingham, Marion
    Հրապարակվել է 1999
    Publisher description
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը