Results
|
81.
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
- Czarnecki, Krzysztof [editor.]
- Hedin, Görel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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.
|
|
82.
|
|
|
83.
|
Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by María José Escalona, José Cordeiro, Boris Shishkov. by
- Escalona, María José [editor.]
- Cordeiro, José [editor.]
- Shishkov, Boris [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 303
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.
|
|
84.
|
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by
- Cámara, Javier [editor.]
- Lemos, Rogério de [editor.]
- Ghezzi, Carlo [editor.]
- Lopes, Antónia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7740
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.
|
|
85.
|
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by
- Glück, Robert [editor.]
- Yokoyama, Tetsuo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7581
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.
|
|
86.
|
Exploring Services Science [electronic resource] : 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings / edited by João Falcão e Cunha, Mehdi Snene, Henriqueta Nóvoa. by
- Falcão e Cunha, João [editor.]
- Snene, Mehdi [editor.]
- Nóvoa, Henriqueta [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 143
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.
|
|
87.
|
|
|
88.
|
|
|
89.
|
Architecture of Computing Systems – ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick. by
- Kubátová, Hana [editor.]
- Hochberger, Christian [editor.]
- Daněk, Martin [editor.]
- Sick, Bernhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7767
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.
|
|
90.
|
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.
|
|
91.
|
|
|
92.
|
Web Information Systems and Technologies [electronic resource] : 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers / edited by José Cordeiro, Karl-Heinz Krempels. by
- Cordeiro, José [editor.]
- Krempels, Karl-Heinz [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 140
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.
|
|
93.
|
Domain Engineering [electronic resource] : Product Lines, Languages, and Conceptual Models / edited by Iris Reinhartz-Berger, Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin. by
- Reinhartz-Berger, Iris [editor.]
- Sturm, Arnon [editor.]
- Clark, Tony [editor.]
- Cohen, Sholom [editor.]
- Bettin, Jorn [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.
|
|
94.
|
Selected Topics in Performance Evaluation and Benchmarking [electronic resource] : 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by
- Nambiar, Raghunath [editor.]
- Poess, Meikel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7755
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.
|
|
95.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
- Piterman, Nir [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
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.
|
|
96.
|
Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil. by
- Csuhaj-Varjú, Erzsébet [editor.]
- Gheorghe, Marian [editor.]
- Rozenberg, Grzegorz [editor.]
- Salomaa, Arto [editor.]
- Vaszil, György [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7762
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.
|
|
97.
|
S-BPM ONE - Running Processes [electronic resource] : 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings / edited by Herbert Fischer, Josef Schneeberger. by
- Fischer, Herbert [editor.]
- Schneeberger, Josef [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 360
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.
|
|
98.
|
System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein. by
- Haugen, Øystein [editor.]
- Reed, Rick [editor.]
- Gotzhein, Reinhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7744
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.
|
|
99.
|
Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore. by
- Tribastone, Mirco [editor.]
- Gilmore, Stephen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7587
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.
|
|
100.
|
Enterprise Interoperability [electronic resource] : 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings / edited by Marten van Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems. by
- Sinderen, Marten van [editor.]
- Oude Luttighuis, Paul [editor.]
- Folmer, Erwin [editor.]
- Bosems, Steven [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 144
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.
|