|
|
|
Automated Deduction - CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate Schmidt.
by Schmidt, Renate [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009, Proceedings / edited by Daniel Cremers, Yuri Boykov, Andrew Blake, Frank R. Schmidt.
by Cremers, Daniel [editor.] | Boykov, Yuri [editor.] | Blake, Andrew [editor.] | Schmidt, Frank R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Mine, David Schmidt.
by Mine, Antoine [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania.
by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh K [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania.
by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh K [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Radio Frequency Identification: Security and Privacy Issues [electronic resource] : Security and Privacy Issues 9th International Workshop, RFIDsec 2013, Graz, Austria, July 9-11, 2013, Revised Selected Papers / edited by Michael Hutter, Jörn-Marc Schmidt.
by Hutter, Michael [editor.] | Schmidt, Jörn-Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Thoracic Image Analysis [electronic resource] : Second International Workshop, TIA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / edited by Jens Petersen, Raúl San José Estépar, Alexander Schmidt-Richberg, Sarah Gerard, Bianca Lassen-Schmidt, Colin Jacobs, Reinhard Beichel, Kensaku Mori.
by Petersen, Jens [editor.] | San José Estépar, Raúl [editor.] | Schmidt-Richberg, Alexander [editor.] | Gerard, Sarah [editor.] | Lassen-Schmidt, Bianca [editor.] | Jacobs, Colin [editor.] | Beichel, Reinhard [editor.] | Mori, Kensaku [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Image Analysis for Moving Organ, Breast, and Thoracic Images [electronic resource] : Third International Workshop, RAMBO 2018, Fourth International Workshop, BIA 2018, and First International Workshop, TIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Bernhard Kainz, Gabriel Maicas, Reinhard R. Beichel, Anne Martel, Lena Maier-Hein, Kanwal Bhatia, Tom Vercauteren, Ozan Oktay, Gustavo Carneiro, Andrew P. Bradley, Jacinto Nascimento, Hang Min, Matthew S. Brown, Colin Jacobs, Bianca Lassen-Schmidt, Kensaku Mori, Jens Petersen, Raúl San José Estépar, Alexander Schmidt-Richberg, Catarina Veiga.
by Stoyanov, Danail [editor.] | Taylor, Zeike [editor.] | Kainz, Bernhard [editor.] | Maicas, Gabriel [editor.] | Beichel, Reinhard R [editor.] | Martel, Anne [editor.] | Maier-Hein, Lena [editor.] | Bhatia, Kanwal [editor.] | Vercauteren, Tom [editor.] | Oktay, Ozan [editor.] | Carneiro, Gustavo [editor.] | Bradley, Andrew P [editor.] | Nascimento, Jacinto [editor.] | Min, Hang [editor.] | Brown, Matthew S [editor.] | Jacobs, Colin [editor.] | Lassen-Schmidt, Bianca [editor.] | Mori, Kensaku [editor.] | Petersen, Jens [editor.] | San José Estépar, Raúl [editor.] | Schmidt-Richberg, Alexander [editor.] | Veiga, Catarina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
