|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Fr�ed�eric Lang, Francesco Flammini.
by Lang, Fr�ed�eric [editor.] | Flammini, Francesco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales.
by Croitoru, Madalina [editor.] | Rudolph, Sebastian [editor.] | Woltran, Stefan [editor.] | Gonzales, Christophe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Persuasive Technology [electronic resource] : 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings / edited by Thomas MacTavish, Santosh Basapur.
by MacTavish, Thomas [editor.] | Basapur, Santosh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 5th International Workshop, MLMI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings / edited by Guorong Wu, Daoqiang Zhang, Luping Zhou.
by Wu, Guorong [editor.] | Zhang, Daoqiang [editor.] | Zhou, Luping [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawiński, Kulwadee Somboonviwat.
by Nguyen, Ngoc Thanh [editor.] | Attachoo, Boonwat [editor.] | Trawiński, Bogdan [editor.] | Somboonviwat, Kulwadee [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.
by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Pairing-Based Cryptography - Pairing 2013 [electronic resource] : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / edited by Zhenfu Cao, Fangguo Zhang.
by Cao, Zhenfu [editor.] | Zhang, Fangguo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Project Management and Engineering [electronic resource] : Selected Papers from the 17th International AEIPRO Congress held in Logro�no, Spain, in 2013 / edited by Jos�e Luis Ayuso Mu�noz, Jos�e Luis Yag�ue Blanco, Salvador F. Capuz-Rizo.
by Ayuso Mu�noz, Jos�e Luis [editor.] | Yag�ue Blanco, Jos�e Luis [editor.] | Capuz-Rizo, Salvador F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Passive and Active Measurement [electronic resource] : 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014, Proceedings / edited by Michalis Faloutsos, Aleksandar Kuzmanovic.
by Faloutsos, Michalis [editor.] | Kuzmanovic, Aleksandar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / edited by Bhaskar Krishnamachari, Amy L. Murphy, Niki Trigoni.
by Krishnamachari, Bhaskar [editor.] | Murphy, Amy L [editor.] | Trigoni, Niki [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.
by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014 [electronic resource] : 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part I / edited by Polina Golland, Nobuhiko Hata, Christian Barillot, Joachim Hornegger, Robert Howe.
by Golland, Polina [editor.] | Hata, Nobuhiko [editor.] | Barillot, Christian [editor.] | Hornegger, Joachim [editor.] | Howe, Robert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
China Satellite Navigation Conference (CSNC) 2015 Proceedings: Volume I [electronic resource] / edited by Jiadong Sun, Jingnan Liu, Shiwei Fan, Xiaochun Lu.
by Sun, Jiadong [editor.] | Liu, Jingnan [editor.] | Fan, Shiwei [editor.] | Lu, Xiaochun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Video Technology - PSIVT 2015 Workshops [electronic resource] : RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto.
by Huang, Fay [editor.] | Sugimoto, Akihiro [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Linked Open Data -- Creating Knowledge Out of Interlinked Data [electronic resource] : Results of the LOD2 Project / edited by S�oren Auer, Volha Bryl, Sebastian Tramp.
by Auer, S�oren [editor.] | Bryl, Volha [editor.] | Tramp, Sebastian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings / edited by Claire Le Goues, Shin Yoo.
by Goues, Claire Le [editor.] | Yoo, Shin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part I / edited by Hendrik Decker, Lenka Lhotsk�a, Sebastian Link, Marcus Spies, Roland R. Wagner.
by Decker, Hendrik [editor.] | Lhotsk�a, Lenka [editor.] | Link, Sebastian [editor.] | Spies, Marcus [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Functional Imaging and Modeling of the Heart [electronic resource] : 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings / edited by S�ebastien Ourselin, Daniel Rueckert, Nicolas Smith.
by Ourselin, S�ebastien [editor.] | Rueckert, Daniel [editor.] | Smith, Nicolas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
New Production Technologies in Aerospace Industry [electronic resource] : Proceedings of the 4th Machining Innovations Conference, Hannover, September 2013 / edited by Berend Denkena.
by Denkena, Berend [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Rules on the Web. From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman.
by Bikakis, Antonis [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
