Results
|
|
4041.
|
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.
|
|
|
4042.
|
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.
|
|
|
4043.
|
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.
|
|
|
4044.
|
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.
|
|
|
4045.
|
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.
|
|
|
4046.
|
Computational Flight Testing [electronic resource] : Results of the Closing Symposium of the German Research Initiative ComFliTe, Braunschweig, Germany, June 11th-12th, 2012 / edited by Norbert Kroll, Rolf Radespiel, Jan Willem Burg, Kaare Sørensen. by
- Kroll, Norbert [editor.]
- Radespiel, Rolf [editor.]
- Burg, Jan Willem [editor.]
- Sørensen, Kaare [editor.]
- SpringerLink (Online service)
Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 123
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.
|
|
|
4047.
|
|
|
|
4048.
|
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.
|
|
|
4049.
|
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.
|
|
|
4050.
|
|
|
|
4051.
|
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.
|
|
|
4052.
|
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.
|
|
|
4053.
|
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.
|
|
|
4054.
|
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.
|
|
|
4055.
|
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.
|
|
|
4056.
|
|
|
|
4057.
|
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.
|
|
|
4058.
|
|
|
|
4059.
|
|
|
|
4060.
|
|
