Results
|
|
3621.
|
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.
|
|
|
3622.
|
|
|
|
3623.
|
Emerging Trends in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers / edited by Takashi Washio, Jun Luo. by
- Washio, Takashi [editor.]
- Luo, Jun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7769
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.
|
|
|
3624.
|
|
|
|
3625.
|
|
|
|
3626.
|
|
|
|
3627.
|
|
|
|
3628.
|
|
|
|
3629.
|
|
|
|
3630.
|
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.
|
|
|
3631.
|
Comprehensive and Clinical Anatomy of the Middle Ear [electronic resource] / by Salah Mansour, Jacques Magnan, Hassan Haidar, Karen Nicolas, Stéphane Louryan. by
- Mansour, Salah [author.]
- Magnan, Jacques [author.]
- Haidar, Hassan [author.]
- Nicolas, Karen [author.]
- Louryan, Stéphane [author.]
- SpringerLink (Online service)
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.
|
|
|
3632.
|
Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter. by
- Bezhanishvili, Guram [editor.]
- Löbner, Sebastian [editor.]
- Marra, Vincenzo [editor.]
- Richter, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7758
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.
|
|
|
3633.
|
|
|
|
3634.
|
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.
|
|
|
3635.
|
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.
|
|
|
3636.
|
|
|
|
3637.
|
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by
- Garcia-Alfaro, Joaquin [editor.]
- Cuppens, Frédéric [editor.]
- Cuppens-Boulahia, Nora [editor.]
- Miri, Ali [editor.]
- Tawbi, Nadia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7743
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.
|
|
|
3638.
|
|
|
|
3639.
|
|
|
|
3640.
|
|
