Results
|
1.
|
|
|
2.
|
Software Process Improvement and Capability Determination [electronic resource] : 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings / edited by Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling. by
- Woronowicz, Tanja [editor.]
- Rout, Terry [editor.]
- O’Connor, Rory V [editor.]
- Dorling, Alec [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 349
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
3.
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
- Bartocci, Ezio [editor.]
- Ramakrishnan, C. R [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
4.
|
Nordic Contributions in IS Research [electronic resource] : 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings / edited by Margunn Aanestad, Tone Bratteteig. by
- Aanestad, Margunn [editor.]
- Bratteteig, Tone [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 156
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
5.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by
- Braberman, Víctor [editor.]
- Fribourg, Laurent [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8053
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
6.
|
|
|
7.
|
|
|
8.
|
Tools for High Performance Computing 2012 [electronic resource] / edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel. by
- Cheptsov, Alexey [editor.]
- Brinkmann, Steffen [editor.]
- Gracia, José [editor.]
- Resch, Michael M [editor.]
- Nagel, Wolfgang E [editor.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
9.
|
|
|
10.
|
Ontology-Driven Software Development [electronic resource] / edited by Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao. by
- Pan, Jeff Z [editor.]
- Staab, Steffen [editor.]
- Aßmann, Uwe [editor.]
- Ebert, Jürgen [editor.]
- Zhao, Yuting [editor.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
Lean Enterprise Software and Systems [electronic resource] : 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings / edited by Brian Fitzgerald, Kieran Conboy, Ken Power, Ricardo Valerdi, Lorraine Morgan, Klaas-Jan Stol. by
- Fitzgerald, Brian [editor.]
- Conboy, Kieran [editor.]
- Power, Ken [editor.]
- Valerdi, Ricardo [editor.]
- Morgan, Lorraine [editor.]
- Stol, Klaas-Jan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 167
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
15.
|
Multimodal Brain Image Analysis [electronic resource] : Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / edited by Li Shen, Tianming Liu, Pew-Thian Yap, Heng Huang, Dinggang Shen, Carl-Fredrik Westin. by
- Shen, Li [editor.]
- Liu, Tianming [editor.]
- Yap, Pew-Thian [editor.]
- Huang, Heng [editor.]
- Shen, Dinggang [editor.]
- Westin, Carl-Fredrik [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8159
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
16.
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
- Brat, Guillaume [editor.]
- Rungta, Neha [editor.]
- Venet, Arnaud [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
17.
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
- Johnsen, Einar Broch [editor.]
- Petre, Luigia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
18.
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura. by
- Iyoda, Juliano [editor.]
- Moura, Leonardo de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8195
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
19.
|
Beginning software engineering / Rod Stephens. by - Stephens, Rod, 1961- [author.]
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis, IN : Wrox, a Wiley Brand, [2015]Copyright date: ©2015
Availability: No items available.
|
|
20.
|
|