Search Results - Computer programming / software engineering

Suggested Topics within your search.
  • Showing 1 - 24 results of 24
Refine Results
  1. 1
    Cover Image

    Software engineering 1 : abstraction and modelling / D. Bjørner. by Bjørner, D. (Dines), 1937-

    Published 2006
    Book
    Save to List
    Saved in:
  2. 2
    Cover Image

    Software engineering 3 : domains, requirements, and software design / D. Bjørner. by Bjørner, D. (Dines), 1937-

    Published 2006
    Book
    Save to List
    Saved in:
  3. 3
    Cover Image

    Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. by Schmid, U. (Ute)

    Published 2003

    Book
    Save to List
    Saved in:
  4. 4
    Cover Image

    The computer boys take over computers, programmers, and the politics of technical expertise / Nathan Ensmenger. by Ensmenger, Nathan, 1972-

    Published 2010
    Get full text
    eBook
    Save to List
    Saved in:
  5. 5
    Cover Image

    Fourth International Workshop on Software Engineering for Automotive Systems (SEAS 2007) proceedings, ICSE 2007 workshops : [20-26 May 2007, Minneapolis ICSE 2007 / sponsored by IE...

    Published 2007
    Get full text
    eBook
    Save to List
    Saved in:
  6. 6
    Cover Image

    IEE proceedings.


    Serial
    Save to List
    Saved in:
  7. 7
    Cover Image

    IEEE transactions on software engineering.


    Serial
    Save to List
    Saved in:
  8. 8
    Cover Image

    IEEE transactions on software engineering


    Serial
    Save to List
    Saved in:
  9. 9
    Cover Image

    Proceedings, 29th International Conference on Software Engineering ICSE 2007 companion volume : 20-26 May 2007, Minneapolis, Minnesota / sponsored by IEEE Computer Society Technica...

    Published 2007
    Get full text
    eBook
    Save to List
    Saved in:
  10. 10
    Cover Image

    Proceedings, 29th International Conference on Software Engineering sponsored by IEEE Computer Society Technical Council on Software Engineering [and] the ACM Special Interest Group...

    Published 2007
    Get full text
    eBook
    Save to List
    Saved in:
  11. 11
    Cover Image

    ICSE '08 proceedings of the thirtieth International Conference on Software Engineering : Leipzig, Germany, May 10-18, 2008 / sponsored by ACM SIGSOFT & IEEE CS in co-operation with...

    Published 2008
    Get full text
    eBook
    Save to List
    Saved in:
  12. 12
    Cover Image

    APSEC 2006 XIII Asia-Pacific Software Engineering Conference : proceedings : [Bangalore, India, 6-8 December, 2006] / edited by Pankaj Jalote ; sponsored by IEEE Computer Society ....

    Published 2006
    Get full text
    eBook
    Save to List
    Saved in:
  13. 13
    Cover Image

    APSEC 2007 14th Asia-Pacific Software Engineering Conference : proceedings : Nagoya, Aichi, Japan, 4-7 December, 2007 / sponsored by the Special Interest Group on Software Engineer...

    Published 2007
    Get full text
    eBook
    Save to List
    Saved in:
  14. 14
    Cover Image

    Proceedings, 15th Asia-Pacific Software Engineering Conference proceedings : 2-5 December 2008, Beijing, China / sponsored by National Natural Science Foundation of China, Institut...

    Published 2008
    Get full text
    eBook
    Save to List
    Saved in:
  15. 15
    Cover Image

    Agile processes in software engineering and extreme programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014. Proceedings / Giovanni Cantone, Michele Marche...

    Published 2014

    eBook
    Save to List
    Saved in:
  16. 16
    Cover Image

    Constructing correct software / John Cooke. by Cooke, John, 1947-

    Edition: 2nd ed.
    Book
    Save to List
    Saved in:
  17. 17
    Cover Image

    Metaheuristic search using genetic algorithms for Boothroyd's design for assembly by Saul D. Santilan-Gutierrez

    Published 1997
    Subjects: “…Computer software…”
    Get full text
    Default Thesis
    Save to List
    Saved in:
  18. 18
    Cover Image

    Semantic web and model-driven engineering Fernando Silva Parreiras. by Parreiras, Fernando Silva

    Published 2012
    Get full text
    eBook
    Save to List
    Saved in:
  19. 19
    Cover Image

    SMT2Test: from SMT formulas to effective test cases by Chengyu Zhang, Zhendong Su

    Published 2024
    Subjects: “…Software engineering…”
    Get full text
    Default Article
    Save to List
    Saved in:
  20. 20
    Cover Image

    Computer, network, software, and hardware engineering with applications Norman F. Schneidewind. by Schneidewind, Norman

    Published 2012
    Get full text
    eBook
    Save to List
    Saved in:
  21. 21
    Cover Image

    Pure functions in C: A small keyword for automatic parallelization by T Süß, Lars Nagel, MA Vef, A Brinkmann, D Feld, T Soddemann

    Published 2020
    Subjects: “…Computer Software…”
    Get full text
    Default Article
    Save to List
    Saved in:
  22. 22
    Cover Image

    A satisficing bi-directional model transformation engine using mixed integer linear programming by Glenn Callow, Roy Kalawsky

    Published 2013
    Subjects: “…Computer Software…”
    Get full text
    Default Article
    Save to List
    Saved in:
  23. 23
    Cover Image

    E-commerce and web technologies : 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005 / proceedings ; Kurt Bauknecht, Birgit Pröll, Hannes Werthner (...

    Published 2005
    Book
    Save to List
    Saved in:
  24. 24
    Cover Image

    E-commerce and web technologies : 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 / proceedings ; Kurt Bauknecht, Birgit Pröll, Hannes Werthner (eds....

    Published 2006

    Book
    Save to List
    Saved in:

Search Tools: