Search Results
-
1
Dependable systems : software, computing, networks : research results of the DICS program
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xii, 294 pages) : illustrations.
eBook -
2
Touch of class : learning to program well with objects and contracts
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (1 volume)
eBook -
3
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers
Published: Springer, 2007SpringerLink - Click here for accessDescription: 1 online resource (x, 199 pages) : illustrations.
Conference Proceeding eBook -
4
Software engineering approaches for offshore and outsourced development : third international conference : proceedings : SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (x, 135 pages) : illustrations.
Conference Proceeding eBook -
5
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Published: Springer, 2007SpringerLink - Click here for accessDescription: 1 online resource (viii, 216 pages) : illustrations.
Conference Proceeding eBook -
6
Objects, components, models and patterns : 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (xiii, 367 pages).
Conference Proceeding eBook -
7
Objects, components, models and patterns : 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, proceedings
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (x, 411 pages) : illustrations.
Conference Proceeding eBook -
8
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (vi, 212 pages) : illustrations.
eBook -
9
Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (181 pages) : illustrations.
Conference Proceeding eBook -
10
Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures
Published: Springer, 2015SpringerLink - Click here for accessDescription: 1 online resource (vii, 191 pages) : color illustrations.
Conference Proceeding eBook -
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...
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xi, 303 pages) : illustrations.
Conference Proceeding eBook -
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
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 546 pages) : illustrations.
Conference Proceeding eBook -
13
Present and ulterior software engineering
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource (viii, 225 pages) : illustrations (some color)
eBook -
14
Software engineering aspects of continuous development and new paradigms of software production and deployment : first International Workshop, DEVOPS 2018, Chateau de Villebrumier,...
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (x, 227 pages) : illustrations (some color).
Conference Proceeding eBook -
15
Software technology : methods and tools : 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (xviii, 420 pages) : illustrations (some color).
Conference Proceeding eBook -
16
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : second International Workshop, DEVOPS 2019, Château de Villebrumier...
Published: Springer, 2020SpringerLink - Click here for accessDescription: 1 online resource (x, 211 pages) : illustrations (some color).
Conference Proceeding eBook -
17
Handbook of requirements and business analysis
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (1 volume)
eBook -
18
Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xv, 109 pages) : illustrations (some color).
Conference Proceeding eBook -
19
The French school of programming
Published: Springer International Publishing AG, 2024SpringerLink - Click here for accessDescription: 1 online resource (xxiv, 439 pages) : illustrations (some color).
eBook