|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part II / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu.
by Legunsen, Owolabi [editor.] | Rosu, Grigore [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
|
|
|
|
Human-Centered Software Engineering [electronic resource] : 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings / edited by Regina Bernhaupt, Carmelo Ardito, Stefan Sauer.
by Bernhaupt, Regina [editor.] | Ardito, Carmelo [editor.] | Sauer, Stefan [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
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 19th International Conference, MDAI 2022, Sant Cugat, Spain, August 30 - September 2, 2022, Proceedings / edited by Vicenç Torra, Yasuo Narukawa.
by Torra, Vicenç [editor.] | Narukawa, Yasuo [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
|
|
|
|
Pervasive Computing [electronic resource] : Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / edited by Hans W. Gellersen, Roy Want, Albrecht Schmidt.
by Gellersen, Hans W [editor.] | Want, Roy [editor.] | Schmidt, Albrecht [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
|
|
|
|
An Introduction to the Planning Domain Definition Language [electronic resource] / by Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.
by Haslum, Patrik [author.] | Lipovetzky, Nir [author.] | Magazzeni, Daniele [author.] | Muise, Christian [author.] | 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
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings / edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek.
by Dewar, Megan [editor.] | Prałat, Paweł [editor.] | Szufel, Przemysław [editor.] | Théberge, François [editor.] | Wrzosek, Małgorzata [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
|
|
|
|
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
|
|
|
|
Human-Computer Interaction. Interaction Technologies [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
Perspectives on Business Intelligence [electronic resource] / by Raymond T. Ng, Patricia C. Arocena, Denilson Barbosa, Giuseppe Carenini, Luiz Gomes, Stephan Jou, Anthony Leung, Evangelos Milios, Renée J. Miller, John Mylopoulos, Rachel A Pottinger, Frank Tompa, Eric Yu.
by Ng, Raymond T [author.] | Arocena, Patricia C [author.] | Barbosa, Denilson [author.] | Carenini, Giuseppe [author.] | Gomes, Luiz [author.] | Jou, Stephan [author.] | Leung, Anthony [author.] | Milios, Evangelos [author.] | Miller, Renée J [author.] | Mylopoulos, John [author.] | Pottinger, Rachel A [author.] | Tompa, Frank [author.] | Yu, Eric [author.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Automatic Disambiguation of Author Names in Bibliographic Repositories [electronic resource] / by Anderson A. Ferreira, Marcos André Gonçalves, Alberto H. F. Laender.
by Ferreira, Anderson A [author.] | Gonçalves, Marcos André [author.] | Laender, Alberto H. F [author.] | 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
|
|
|
|
Video Structure Meaning [electronic resource] / by Brian C O'Connor, Richard L. Anderson.
by O'Connor, Brian C [author.] | Anderson, Richard L [author.] | 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
|
|
|
|
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
|
|
|
|
Web Indicators for Research Evaluation [electronic resource] : A Practical Guide / by Michael Thelwall.
by Thelwall, Michael [author.] | 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
|
|
|
|
Dynamic Information Retrieval Modeling [electronic resource] / by Grace Hui Yang, Marc Sloan, Jun Wang.
by Yang, Grace Hui [author.] | Sloan, Marc [author.] | Wang, Jun [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
iRODS Primer [electronic resource] : Integrated Rule-Oriented Data System / by Arcot Rajasekar, Reagan Moore, Chien-Yi Hou, Christopher A. Lee, Richard Marciano, Michael Wan, Wayne Schroder, Sheau-Yen Chen.
by Rajasekar, Arcot [author.] | Moore, Reagan [author.] | Hou, Chien-Yi [author.] | Lee, Christopher A [author.] | Marciano, Richard [author.] | Wan, Michael [author.] | Schroder, Wayne [author.] | Chen, Sheau-Yen [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2018, Warsaw, Poland, September 17 - 19, 2018, Proceedings / edited by Leszek J. Chmielewski, Ryszard Kozera, Arkadiusz Orłowski, Konrad Wojciechowski, Alfred M. Bruckstein, Nicolai Petkov.
by Chmielewski, Leszek J [editor.] | Kozera, Ryszard [editor.] | Orłowski, Arkadiusz [editor.] | Wojciechowski, Konrad [editor.] | Bruckstein, Alfred M [editor.] | Petkov, Nicolai [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
|
|
|
|
Transactions on Pattern Languages of Programming IV [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford.
by Noble, James [editor.] | Johnson, Ralph [editor.] | Zdun, Uwe [editor.] | Wallingford, Eugene [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
|
