Search Results

  • Showing 1 - 19 results of 19
Refine Results
  1. 1

    Dependable systems : software, computing, networks : research results of the DICS program by SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (xii, 294 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Dependable systems : software, computing, networks : research results of the DICS program
  2. 2

    Touch of class : learning to program well with objects and contracts by Meyer, Bertrand, 1950-

    Published: Springer, 2009
    Description: 1 online resource (1 volume)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Touch of class : learning to program well with objects and contracts
  3. 3

    Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers by SEAFOOD 2007 Zurich, Switzerland, SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (x, 199 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers
  4. 4

    Software engineering approaches for offshore and outsourced development : third international conference : proceedings : SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009 by SEAFOOD 2009 Zurich, Switzerland, SpringerLink (Online service)

    Published: Springer, 2009
    Description: 1 online resource (x, 135 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering approaches for offshore and outsourced development : third international conference : proceedings : SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009
  5. 5

    Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers by TAP 2007 Zurich, Switzerland, SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (viii, 216 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
  6. 6

    Objects, components, models and patterns : 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings by TOOLS (Conference) Zurich, Switzerland), SpringerLink (Online service)

    Published: Springer, 2009
    Description: 1 online resource (xiii, 367 pages).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Objects, components, models and patterns : 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings
  7. 7

    Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings by TOOLS (Conference) Zurich, Switzerland), SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (x, 411 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings
  8. 8

    Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures by SpringerLink (Online service)

    Published: Springer, 2011
    Description: 1 online resource (vi, 212 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
  9. 9

    Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures by LASER Summer School on "Software Engineering: Tools for Practical Software Verification" Elba, Italy, SpringerLink (Online service)

    Published: Springer, 2012
    Description: 1 online resource (181 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
  10. 10

    Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures by SpringerLink (Online service), LASER Summer School on Software Engineering, LASER Summer School on Software Engineering

    Published: Springer, 2015
    Description: 1 online resource (vii, 191 pages) : color illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures
  11. 11

    Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, Oc... by IFIP TC 2 Central and East European Conference on Software Engineering Techniques Poznań, Poland, SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (xi, 303 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : revised selected papers
  12. 12

    Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions by VSTTE (Conference) Zurich, Switzerland), SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (xxiii, 546 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions
  13. 13

    Present and ulterior software engineering by SpringerLink (Online service)

    Published: Springer, 2017
    Description: 1 online resource (viii, 225 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Present and ulterior software engineering
  14. 14

    Software engineering aspects of continuous development and new paradigms of software production and deployment : first International Workshop, DEVOPS 2018, Chateau de Villebrumier,... by DEVOPS (Workshop) Villebrumier, France), SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource (x, 227 pages) : illustrations (some color).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering aspects of continuous development and new paradigms of software production and deployment : first International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised selected papers
  15. 15

    Software technology : methods and tools : 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings by TOOLS (Conference) Tatarstan, Russia), SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource (xviii, 420 pages) : illustrations (some color).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software technology : methods and tools : 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings
  16. 16

    Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : second International Workshop, DEVOPS 2019, Château de Villebrumier... by DEVOPS (Workshop) Villebrumier, France), SpringerLink (Online service)

    Published: Springer, 2020
    Description: 1 online resource (x, 211 pages) : illustrations (some color).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised selected papers
  17. 17

    Handbook of requirements and business analysis by Meyer, Bertrand, 1950-

    Published: Springer, 2022
    Description: 1 online resource (1 volume)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Handbook of requirements and business analysis
  18. 18

    Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers by FISEE (Workshop) Villebrumier, France), SpringerLink (Online service)

    Published: Springer, 2023
    Description: 1 online resource (xv, 109 pages) : illustrations (some color).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers
  19. 19

    The French school of programming by SpringerLink (Online Service)

    Published: Springer International Publishing AG, 2024
    Description: 1 online resource (xxiv, 439 pages) : illustrations (some color).
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    The French school of programming

Search Tools: