|
|
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / edited by Einar Broch Johnsen, Luigia Petre.
by Johnsen, Einar Broch [editor.] | Petre, Luigia [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / edited by Orna Grumberg, Michael Huth.
by Grumberg, Orna [editor.] | Huth, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy.
by McCarthy, Jay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Fun with Algorithms [electronic resource] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings / edited by Evangelos Kranakis, DANNY KRIZANC, Flaminia Luccio.
by Kranakis, Evangelos [editor.] | KRIZANC, DANNY [editor.] | Luccio, Flaminia [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
|
|
|
|
Medical Imaging and Augmented Reality [electronic resource] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, Proceedings / edited by Hongen Liao, P.J. Eddie Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang.
by Liao, Hongen [editor.] | Edwards, P.J. Eddie [editor.] | Pan, Xiaochuan [editor.] | Fan, Yong [editor.] | Yang, Guang-Zhong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Biomedical Image Registration [electronic resource] : 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014, Proceedings / edited by Sebastien Ourselin, Marc Modat.
by Ourselin, Sebastien [editor.] | Modat, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings / edited by Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen.
by Vassiliadis, Stamatis [editor.] | Berekovic, Mladen [editor.] | Hämäläinen, Timo D [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II / edited by De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang.
by Huang, De-Shuang [editor.] | Zhang, Xiao-Ping [editor.] | Huang, Guang-Bin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers / edited by Panos M. Pardalos, Mauricio G.C. Resende, Chrysafis Vogiatzis, Jose L. Walteros.
by Pardalos, Panos M [editor.] | Resende, Mauricio G.C [editor.] | Vogiatzis, Chrysafis [editor.] | Walteros, Jose L [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Advances in Computer Science - ASIAN 2004, Higher Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / edited by Michael J. Maher.
by Maher, Michael J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Adolescent Brain Cognitive Development Neurocognitive Prediction [electronic resource] : First Challenge, ABCD-NP 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / edited by Kilian M. Pohl, Wesley K. Thompson, Ehsan Adeli, Marius George Linguraru.
by Pohl, Kilian M [editor.] | Thompson, Wesley K [editor.] | Adeli, Ehsan [editor.] | Linguraru, Marius George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Geometric Science of Information [electronic resource] : 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part II / edited by Frank Nielsen, Frédéric Barbaresco.
by Nielsen, Frank [editor.] | Barbaresco, Frédéric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Geometric Science of Information [electronic resource] : 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I / edited by Frank Nielsen, Frédéric Barbaresco.
by Nielsen, Frank [editor.] | Barbaresco, Frédéric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Swarm Intelligence [electronic resource] : 13th International Conference, ANTS 2022, Málaga, Spain, November 2-4, 2022, Proceedings / edited by Marco Dorigo, Heiko Hamann, Manuel López-Ibáñez, José García-Nieto, Andries Engelbrecht, Carlo Pinciroli, Volker Strobel, Christian Camacho-Villalón.
by Dorigo, Marco [editor.] | Hamann, Heiko [editor.] | López-Ibáñez, Manuel [editor.] | García-Nieto, José [editor.] | Engelbrecht, Andries [editor.] | Pinciroli, Carlo [editor.] | Strobel, Volker [editor.] | Camacho-Villalón, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu.
by Bowen, Jonathan P [editor.] | Li, Qin [editor.] | Xu, Qiwen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII [electronic resource] : Special Issue on Big Data for Complex Urban Systems / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Amin Anjomshoaa, Patrick C. K. Hung, Dominik Kalisch, Stanislav Sobolevsky.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Anjomshoaa, Amin [editor.] | Hung, Patrick C. K [editor.] | Kalisch, Dominik [editor.] | Sobolevsky, Stanislav [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI [electronic resource] : Special Issue on Data and Security Engineering / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Dang, Tran Khanh [editor.] | Thoai, Nam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala.
by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala.
by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI [electronic resource] : Selected Papers from ACOMP 2013 / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Dang, Tran Khanh [editor.] | Thoai, Nam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
