|
|
|
Integrated Formal Methods [electronic resource] : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
by Dongol, Brijesh [editor.] | Troubitsyna, Elena [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
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 20th International Conference, CISIM 2021, Ełk, Poland, September 24-26, 2021, Proceedings / edited by Khalid Saeed, Jiří Dvorský.
by Saeed, Khalid [editor.] | Dvorský, Jiří [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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Christine Zarges, Sébastien Verel.
by Zarges, Christine [editor.] | Verel, Sébastien [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings / edited by Pascal Caron, Ludovic Mignot.
by Caron, Pascal [editor.] | Mignot, Ludovic [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
|
|
|
|
The Transdisciplinary Reach of Design Science Research [electronic resource] : 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings / edited by Andreas Drechsler, Aurona Gerber, Alan Hevner.
by Drechsler, Andreas [editor.] | Gerber, Aurona [editor.] | Hevner, Alan [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
|
|
|
|
Artificial General Intelligence [electronic resource] : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings / edited by Ben Goertzel, Matt Iklé, Alexey Potapov, Denis Ponomaryov.
by Goertzel, Ben [editor.] | Iklé, Matt [editor.] | Potapov, Alexey [editor.] | Ponomaryov, Denis [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / edited by Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano.
by Podnar Žarko, Ivana [editor.] | Broering, Arne [editor.] | Soursos, Sergios [editor.] | Serrano, Martin [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
|
|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2017 [electronic resource] : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings / edited by Wieland Fischer, Naofumi Homma.
by Fischer, Wieland [editor.] | Homma, Naofumi [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings / edited by Alexander Romanovsky, Elena A. Troubitsyna.
by Romanovsky, Alexander [editor.] | Troubitsyna, Elena A [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
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
by Petrucci, Laure [editor.] | Seceleanu, Cristina [editor.] | Cavalcanti, Ana [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz.
by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [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
|
|
|
|
Search Based Software Engineering [electronic resource] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / edited by Tim Menzies, Justyna Petke.
by Menzies, Tim [editor.] | Petke, Justyna [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
|
|
|
|
UbiComp 2005: Ubiquitous Computing [electronic resource] : 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings / edited by Michael Beigl, Stephen Intille, Jun Rekimoto, Hideyuki Tokuda.
by Beigl, Michael [editor.] | Intille, Stephen [editor.] | Rekimoto, Jun [editor.] | Tokuda, Hideyuki [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
|
|
|
|
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by Holger Giese.
by Giese, Holger [author.] | 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
|
|
|
|
Model-Driven Architecture - Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / edited by Arend Rensink, Jos Warmer.
by Rensink, Arend [editor.] | Warmer, Jos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 8th International Workshop, MLMI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Proceedings / edited by Qian Wang, Yinghuan Shi, Heung-Il Suk, Kenji Suzuki.
by Wang, Qian [editor.] | Shi, Yinghuan [editor.] | Suk, Heung-Il [editor.] | Suzuki, Kenji [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 Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I / edited by Salem Benferhat, Karim Tabia, Moonis Ali.
by Benferhat, Salem [editor.] | Tabia, Karim [editor.] | Ali, Moonis [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
|
|
|
|
Parallel Processing and Applied Mathematics, Part II [electronic resource] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings / 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. 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 Data Management and Graph Online Querying [electronic resource] : VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers / edited by Fusheng Wang, Gang Luo, Chunhua Weng, Arijit Khan, Prasenjit Mitra, Cong Yu.
by Wang, Fusheng [editor.] | Luo, Gang [editor.] | Weng, Chunhua [editor.] | Khan, Arijit [editor.] | Mitra, Prasenjit [editor.] | Yu, Cong [editor.] | 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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings / edited by Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang.
by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [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
|
