Suggested Topics within your search.
Showing 1 - 20 results of 22 for search 'Springer,' Refine Results
  1. 1
    Introduction to software quality / Gerard O'Regan.
    “...Springer,...”
    Book
    Save to List
    Saved in:
  2. 2
    Formal foundations for software engineering methods / Heinrich Hussmann.
    by Hussmann, Heinrich, 1959-
    Published 1997
    “...Springer,...”
    Book
    Save to List
    Saved in:
  3. 3
    Innovations in systems and software engineering
    “...Springer....”
    Get full text
    Serial
    Save to List
    Saved in:
  4. 4
    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
    “...Springer,...”
    Book
    Save to List
    Saved in:
  5. 5
    Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Ralf-Detlef Kutsche, Herbert Weber (eds.).
    Published 2002
    “...Springer,...”
    Book
    Save to List
    Saved in:
  6. 6
    Agile software engineering / Orit Hazzan and Yael Dubinsky.
    by Hazzan, Orit 1962-
    Published 2008
    “...Springer,...”
    Book
    Save to List
    Saved in:
  7. 7
    Software product lines : research issues in engineering and management / Timo Käkölä, Juan Carlos Dueñas (eds.).
    Published 2006
    “...Springer,...”
    Book
    Save to List
    Saved in:
  8. 8
    Software engineering 1 : abstraction and modelling / D. Bjørner.
    by Bjørner, D. (Dines), 1937-
    Published 2006
    “...Springer,...”
    Book
    Save to List
    Saved in:
  9. 9
    Software engineering 2 : specification of systems and languages / D. Bjørner.
    by Bjørner, D. (Dines), 1937-
    Published 2006
    “...Springer,...”
    Book
    Save to List
    Saved in:
  10. 10
    Software engineering 3 : domains, requirements, and software design / D. Bjørner.
    by Bjørner, D. (Dines), 1937-
    Published 2006
    “...Springer,...”
    Book
    Save to List
    Saved in:
  11. 11
    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 (eds.).
    Published 2005
    “...Springer,...”
    Book
    Save to List
    Saved in:
  12. 12
    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
    “...Springer,...”
    Book
    Save to List
    Saved in:
  13. 13
    Constructing correct software / John Cooke.
    by Cooke, John, 1947-
    Published 2005
    Edition: 2nd ed.
    “...Springer,...”
    Book
    Save to List
    Saved in:
  14. 14
    Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat,eds.
    Published 1996
    “...Springer,...”
    Book
    Save to List
    Saved in:
  15. 15
    Agent-oriented software engineering : reflections on architectures, methodologies, languages, and frameworks / Onn Shehory, Arnon Sturm, editors.
    Published 2014
    “...Springer,...”
    Book
    Save to List
    Saved in:
  16. 16
    Sensor systems and software : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, revised selected papers / Francisco Martins, Luis Lopes, Herve Paulino, (eds.).
    Published 2012
    “...Springer,...”
    Book
    Save to List
    Saved in:
  17. 17
    Autonomy requirements engineering for space missions / Emil Vassev, Mike Hinchey.
    “...Springer,...”
    Book
    Save to List
    Saved in:
  18. 18
    Guide to scientific computing in C++ Joe Pitt-Francis, Jonathan Whiteley.
    Edition: Second edition.
    “...Springer,...”
    Get full text
    eBook
    Save to List
    Saved in:
  19. 19
    Automotive software engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen / Jörg Schäuffele, Thomas Zurawka.
    by Schäuffele, Jörg
    Published 2016
    Edition: 6. Aufl.
    “...Springer Vieweg,...”
    Book
    Save to List
    Saved in:
  20. 20
    HCI International 2021 - Posters 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa.
    Published 2021
    Edition: 1st ed. 2021.
    “...Springer International Publishing : Imprint: Springer,...”
    Get full text
    eBook
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search