|
|
|
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen.
by Grabowski, Jens [editor.] | Nielsen, Brian [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
|
|
|
|
Information and Communication Technologies [electronic resource] : 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012, Proceedings / edited by Robert Szabo, Attila Vidacs.
by Szabo, Robert [editor.] | Vidacs, Attila [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
|
|
|
|
Progress in Cryptology - INDOCRYPT 2011 [electronic resource] : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011, Proceedings / edited by Daniel J. Bernstein, Sanjit Chatterjee.
by Bernstein, Daniel J [editor.] | Chatterjee, Sanjit [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
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings / edited by Eugenio Cinquemani, Loïc Paulevé.
by Cinquemani, Eugenio [editor.] | Paulevé, Loïc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Communications Security [electronic resource] : 24th International Conference, ICICS 2022, Canterbury, UK, September 5-8, 2022, Proceedings / edited by Cristina Alcaraz, Liqun Chen, Shujun Li, Pierangela Samarati.
by Alcaraz, Cristina [editor.] | Chen, Liqun [editor.] | Li, Shujun [editor.] | Samarati, Pierangela [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
|
|
|
|
Information Hiding [electronic resource] : 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006, Revised Seleceted Papers / edited by Jan Camenisch, Christian Collberg, Neil F. Johnson, Phil Sallee.
by Camenisch, Jan [editor.] | Collberg, Christian [editor.] | Johnson, Neil F [editor.] | Sallee, Phil [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
|
|
|
|
Discovery Science [electronic resource] : 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010, Proceedings / edited by Bernahrd Pfahringer, Geoff Holmes, Achim Hoffman.
by Pfahringer, Bernahrd [editor.] | Holmes, Geoff [editor.] | Hoffman, Achim [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner.
by Hartmann, Sven [editor.] | Kern-Isberner, Gabriele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009, Proceedings / edited by Dimitris Karagiannis, Zhi Jin.
by Karagiannis, Dimitris [editor.] | Jin, Zhi [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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Wasniewski, Jerzy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.
by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [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
|
|
|
|
The Semantic Web - ISWC 2018 [electronic resource] : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part I / edited by Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl.
by Vrandečić, Denny [editor.] | Bontcheva, Kalina [editor.] | Suárez-Figueroa, Mari Carmen [editor.] | Presutti, Valentina [editor.] | Celino, Irene [editor.] | Sabou, Marta [editor.] | Kaffee, Lucie-Aimée [editor.] | Simperl, Elena [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
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 15th International Conference, CDVE 2018, Hangzhou, China, October 21-24, 2018, Proceedings / edited by Yuhua Luo.
by Luo, Yuhua [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
|
|
|
|
Semantic Technology [electronic resource] : 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26-28, 2018, Proceedings / edited by Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki.
by Ichise, Ryutaro [editor.] | Lecue, Freddy [editor.] | Kawamura, Takahiro [editor.] | Zhao, Dongyan [editor.] | Muggleton, Stephen [editor.] | Kozaki, Kouji [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
|
|
|
|
Data Analytics for Renewable Energy Integration. Technologies, Systems and Society [electronic resource] : 6th ECML PKDD Workshop, DARE 2018, Dublin, Ireland, September 10, 2018, Revised Selected Papers / edited by Wei Lee Woon, Zeyar Aung, Alejandro Catalina Feliú, Stuart Madnick.
by Woon, Wei Lee [editor.] | Aung, Zeyar [editor.] | Catalina Feliú, Alejandro [editor.] | Madnick, Stuart [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
|
|
|
|
Plug-and-Play Visual Subgraph Query Interfaces [electronic resource] / by Sourav S. Bhowmick, Byron Choi.
by Bhowmick, Sourav S [author.] | Choi, Byron [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Supply Chain Immunity [electronic resource] : Overcoming our Nation's Sourcing Sickness in a Post-COVID World / by Robert Handfield, Daniel J. Finkenstadt.
by Handfield, Robert [author.] | Finkenstadt, Daniel J [author.] | 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
|
|
|
|
The Semantic Web [electronic resource] : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2-6, 2019, Proceedings / edited by Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller, Karl Hammar.
by Hitzler, Pascal [editor.] | Fernández, Miriam [editor.] | Janowicz, Krzysztof [editor.] | Zaveri, Amrapali [editor.] | Gray, Alasdair J.G [editor.] | Lopez, Vanessa [editor.] | Haller, Armin [editor.] | Hammar, Karl [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
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
by Hospodár, Michal [editor.] | Jirásková, Galina [editor.] | Konstantinidis, Stavros [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
|
|
|
|
Big Scientific Data Management [electronic resource] : First International Conference, BigSDM 2018, Beijing, China, November 30 - December 1, 2018, Revised Selected Papers / edited by Jianhui Li, Xiaofeng Meng, Ying Zhang, Wenjuan Cui, Zhihui Du.
by Li, Jianhui [editor.] | Meng, Xiaofeng [editor.] | Zhang, Ying [editor.] | Cui, Wenjuan [editor.] | Du, Zhihui [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
|
