Results
|
1141.
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
- Logozzo, Francesco [editor.]
- Fähndrich, Manuel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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.
|
|
1142.
|
Multi-Agent-Based Simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers / edited by Francesca Giardini, Frédéric Amblard. by
- Giardini, Francesca [editor.]
- Amblard, Frédéric [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7838
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.
|
|
1143.
|
Grand Successes and Failures in IT. Public and Private Sectors [electronic resource] : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2013, Bangalore, India, June 27-29, 2013. Proceedings / edited by Yogesh K. Dwivedi, Helle Zinner Henriksen, David Wastell, Rahul De’. by
- Dwivedi, Yogesh K [editor.]
- Henriksen, Helle Zinner [editor.]
- Wastell, David [editor.]
- De’, Rahul [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 402
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.
|
|
1144.
|
Computer Networks [electronic resource] : 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera. by
- Kwiecień, Andrzej [editor.]
- Gaj, Piotr [editor.]
- Stera, Piotr [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 370
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.
|
|
1145.
|
Information Processing in Medical Imaging [electronic resource] : 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings / edited by James C. Gee, Sarang Joshi, Kilian M. Pohl, William M. Wells, Lilla Zöllei. by
- Gee, James C [editor.]
- Joshi, Sarang [editor.]
- Pohl, Kilian M [editor.]
- Wells, William M [editor.]
- Zöllei, Lilla [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7917
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.
|
|
1146.
|
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
- Bernardo, Marco [editor.]
- Vink, Erik de [editor.]
- Pierro, Alessandra Di [editor.]
- Wiklicky, Herbert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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.
|
|
1147.
|
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by
- Duddy, Keith [editor.]
- Kappel, Gerti [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7909
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.
|
|
1148.
|
Image Analysis [electronic resource] : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings / edited by Joni-Kristian Kämäräinen, Markus Koskela. by
- Kämäräinen, Joni-Kristian [editor.]
- Koskela, Markus [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7944
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.
|
|
1149.
|
|
|
1150.
|
Functional Imaging and Modeling of the Heart [electronic resource] : 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings / edited by Sébastien Ourselin, Daniel Rueckert, Nicolas Smith. by
- Ourselin, Sébastien [editor.]
- Rueckert, Daniel [editor.]
- Smith, Nicolas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7945
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.
|
|
1151.
|
Combinatorial Pattern Matching [electronic resource] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings / edited by Johannes Fischer, Peter Sanders. by
- Fischer, Johannes [editor.]
- Sanders, Peter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7922
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.
|
|
1152.
|
Trust and Trustworthy Computing [electronic resource] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / edited by Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp. by
- Huth, Michael [editor.]
- Asokan, N [editor.]
- Čapkun, Srdjan [editor.]
- Flechais, Ivan [editor.]
- Coles-Kemp, Lizzie [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7904
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.
|
|
1153.
|
SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by
- Khendek, Ferhat [editor.]
- Toeroe, Maria [editor.]
- Gherbi, Abdelouahed [editor.]
- Reed, Rick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7916
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.
|
|
1154.
|
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
- Veanes, Margus [editor.]
- Viganò, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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.
|
|
1155.
|
Open Source Software: Quality Verification [electronic resource] : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings / edited by Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti. by
- Petrinja, Etiel [editor.]
- Succi, Giancarlo [editor.]
- Ioini, Nabil El [editor.]
- Sillitti, Alberto [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 404
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.
|
|
1156.
|
|
|
1157.
|
|
|
1158.
|
Global Design and Local Materialization [electronic resource] : 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings / edited by Jianlong Zhang, Chengyu Sun. by
- Zhang, Jianlong [editor.]
- Sun, Chengyu [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 369
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.
|
|
1159.
|
|
|
1160.
|
Applied Cryptography and Network Security [electronic resource] : 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings / edited by Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini. by
- Jacobson, Michael [editor.]
- Locasto, Michael [editor.]
- Mohassel, Payman [editor.]
- Safavi-Naini, Reihaneh [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7954
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.
|