Results
|
|
3921.
|
|
|
|
3922.
|
|
|
|
3923.
|
|
|
|
3924.
|
|
|
|
3925.
|
|
|
|
3926.
|
|
|
|
3927.
|
|
|
|
3928.
|
|
|
|
3929.
|
Software Quality. Increasing Value in Software and Systems Development [electronic resource] : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. by
- Winkler, Dietmar [editor.]
- Biffl, Stefan [editor.]
- Bergsmann, Johannes [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 133
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.
|
|
|
3930.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
- Giacobazzi, Roberto [editor.]
- Berdine, Josh [editor.]
- Mastroeni, Isabella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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.
|
|
|
3931.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
- Lämmel, Ralf [editor.]
- Saraiva, João [editor.]
- Visser, Joost [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
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.
|
|
|
3932.
|
|
|
|
3933.
|
|
|
|
3934.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by
- Jürjens, Jan [editor.]
- Livshits, Benjamin [editor.]
- Scandariato, Riccardo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7781
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.
|
|
|
3935.
|
Computational Color Imaging [electronic resource] : 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings / edited by Shoji Tominaga, Raimondo Schettini, Alain Trémeau. by
- Tominaga, Shoji [editor.]
- Schettini, Raimondo [editor.]
- Trémeau, Alain [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7786
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.
|
|
|
3936.
|
Security and Privacy in Communication Networks [electronic resource] : 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers / edited by Angelos D. Keromytis, Roberto Di Pietro. by
- Keromytis, Angelos D [editor.]
- Pietro, Roberto Di [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 106
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.
|
|
|
3937.
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Penousal Machado, James McDermott, Adrian Carballal. by
- Machado, Penousal [editor.]
- McDermott, James [editor.]
- Carballal, Adrian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7834
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.
|
|
|
3938.
|
|
|
|
3939.
|
Databases in Networked Information Systems [electronic resource] : 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings / edited by Aastha Madaan, Shinji Kikuchi, Subhash Bhalla. by
- Madaan, Aastha [editor.]
- Kikuchi, Shinji [editor.]
- Bhalla, Subhash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7813
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.
|
|
|
3940.
|
|