Results
|
141.
|
Mobile Computing, Applications, and Services [electronic resource] : 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012. Revised Selected Papers / edited by David Uhler, Khanjan Mehta, Jennifer L. Wong. by
- Uhler, David [editor.]
- Mehta, Khanjan [editor.]
- Wong, Jennifer L [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 110
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.
|
|
142.
|
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.
|
|
143.
|
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.
|
|
144.
|
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.
|
|
145.
|
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.
|
|
146.
|
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.
|
|
147.
|
|
|
148.
|
|
|
149.
|
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.
|
|
150.
|
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.
|
|
151.
|
|
|
152.
|
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.
|
|
153.
|
|
|
154.
|
Pervasive Computing and the Networked World [electronic resource] : Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu, Atilla Elçi. by
- Zu, Qiaohong [editor.]
- Hu, Bo [editor.]
- Elçi, Atilla [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7719
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.
|
|
155.
|
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 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 Matthias Felleisen, Philippa Gardner. by
- Felleisen, Matthias [editor.]
- Gardner, Philippa [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7792
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.
|
|
156.
|
|
|
157.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 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 Ranjit Jhala, Koen De Bosschere. by
- Jhala, Ranjit [editor.]
- Bosschere, Koen De [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7791
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.
|
|
158.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 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 Vittorio Cortellessa, Dániel Varró. by
- Cortellessa, Vittorio [editor.]
- Varró, Dániel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7793
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.
|
|
159.
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by
- Dediu, Adrian-Horia [editor.]
- Martín-Vide, Carlos [editor.]
- Truthe, Bianca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7810
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.
|
|
160.
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 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 Frank Pfenning. by
- Pfenning, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
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.
|