Results
|
41.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by José L. Ayala, Delong Shang, Alex Yakovlev. by
- Ayala, José L [editor.]
- Shang, Delong [editor.]
- Yakovlev, Alex [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7606
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.
|
|
42.
|
Security Protocols XVII [electronic resource] : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe. by
- Christianson, Bruce [editor.]
- Malcolm, James A [editor.]
- Matyáš, Vashek [editor.]
- Roe, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7028
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.
|
|
43.
|
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.
|
|
44.
|
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.
|
|
45.
|
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.
|
|
46.
|
Cognitive Agents for Virtual Environments [electronic resource] : First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Frank Dignum, Cyril Brom, Koen Hindriks, Martin Beer, Deborah Richards. by
- Dignum, Frank [editor.]
- Brom, Cyril [editor.]
- Hindriks, Koen [editor.]
- Beer, Martin [editor.]
- Richards, Deborah [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7764
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.
|
|
47.
|
Passive and Active Measurement [electronic resource] : 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings / edited by Matthew Roughan, Rocky Chang. by
- Roughan, Matthew [editor.]
- Chang, Rocky [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7799
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.
|
|
48.
|
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.
|
|
49.
|
|
|
50.
|
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages [electronic resource] : 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings / edited by Ira Diethelm, Roland T. Mittermeir. by
- Diethelm, Ira [editor.]
- Mittermeir, Roland T [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7780
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.
|
|
51.
|
Wireless Sensor Networks [electronic resource] : 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings / edited by Piet Demeester, Ingrid Moerman, Andreas Terzis. by
- Demeester, Piet [editor.]
- Moerman, Ingrid [editor.]
- Terzis, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7772
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.
|
|
52.
|
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.
|
|
53.
|
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.
|
|
54.
|
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.
|
|
55.
|
Graph Drawing [electronic resource] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / edited by Walter Didimo, Maurizio Patrignani. by
- Didimo, Walter [editor.]
- Patrignani, Maurizio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7704
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.
|
|
56.
|
|
|
57.
|
Information and Communication Technology [electronic resource] : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings / edited by Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You. by
- Mustofa, Khabib [editor.]
- Neuhold, Erich J [editor.]
- Tjoa, A Min [editor.]
- Weippl, Edgar [editor.]
- You, Ilsun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7804
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.
|
|
58.
|
|
|
59.
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young. by
- Camara, Oscar [editor.]
- Mansi, Tommaso [editor.]
- Pop, Mihaela [editor.]
- Rhode, Kawal [editor.]
- Sermesant, Maxime [editor.]
- Young, Alistair [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7746
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.
|
|
60.
|
|