Results
|
1.
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
- Qadeer, Shaz [editor.]
- Tasiran, Serdar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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.
|
|
2.
|
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by
- Frey, Davide [editor.]
- Raynal, Michel [editor.]
- Sarkar, Saswati [editor.]
- Shyamasundar, Rudrapatna K [editor.]
- Sinha, Prasun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7730
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.
|
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by
- Wolff, Burkhart [editor.]
- Gaudel, Marie-Claude [editor.]
- Feliachi, Abderrahmane [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7681
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.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by
- Lemos, Rogério de [editor.]
- Giese, Holger [editor.]
- Müller, Hausi A [editor.]
- Shaw, Mary [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7475
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.
|
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by
- Emde Boas, Peter van [editor.]
- Groen, Frans C. A [editor.]
- Italiano, Giuseppe F [editor.]
- Nawrocki, Jerzy [editor.]
- Sack, Harald [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7741
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.
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
- Păsăreanu, Corina S [editor.]
- Salaün, Gwen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
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.
|
|
7.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by
- Cirne, Walfredo [editor.]
- Desai, Narayan [editor.]
- Frachtenberg, Eitan [editor.]
- Schwiegelshohn, Uwe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7698
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.
|
|
8.
|
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.
|
|
9.
|
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by
- Beckert, Bernhard [editor.]
- Damiani, Ferruccio [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7542
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.
|
|
10.
|
|
|
11.
|
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.
|
|
12.
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by
- Kučera, Antonín [editor.]
- Henzinger, Thomas A [editor.]
- Nešetřil, Jaroslav [editor.]
- Vojnar, Tomáš [editor.]
- Antoš, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7721
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.
|
|
13.
|
|
|
14.
|
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.
|
|
15.
|
|
|
16.
|
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.
|
|
17.
|
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.
|
|
18.
|
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.
|
|
19.
|
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.
|
|
20.
|
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.
|