Results
|
|
2021.
|
|
|
|
2022.
|
|
|
|
2023.
|
|
|
|
2024.
|
|
|
|
2025.
|
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.
|
|
|
2026.
|
|
|
|
2027.
|
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.
|
|
|
2028.
|
|
|
|
2029.
|
|
|
|
2030.
|
|
|
|
2031.
|
|
|
|
2032.
|
|
|
|
2033.
|
|
|
|
2034.
|
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.
|
|
|
2035.
|
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.
|
|
|
2036.
|
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.
|
|
|
2037.
|
|
|
|
2038.
|
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.
|
|
|
2039.
|
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.
|
|
|
2040.
|
|
