|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 23rd International Conference, NEW2AN 2023, and 16th Conference, ruSMART 2023, Dubai, United Arab Emirates, December 21-22, 2023, Proceedings, Part I / edited by Yevgeni Koucheryavy, Ahmed Aziz.
by Koucheryavy, Yevgeni [editor.] | Aziz, Ahmed [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
NASA Formal Methods [electronic resource] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings / edited by Nathaniel Benz, Divya Gopinath, Nija Shi.
by Benz, Nathaniel [editor.] | Gopinath, Divya [editor.] | Shi, Nija [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data Engineering and Automated Learning -- IDEAL 2014 [electronic resource] : 15th International Conference, Salamanca, Spain, September 10-12, 2014, Proceedings / edited by Emilio Corchado, José A. Lozano, Héctor Quintián, Hujun Yin.
by Corchado, Emilio [editor.] | Lozano, José A [editor.] | Quintián, Héctor [editor.] | Yin, Hujun [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings / edited by Yong Zhang, Dongjing Miao, Rolf Möhring.
by Zhang, Yong [editor.] | Miao, Dongjing [editor.] | Möhring, Rolf [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings / edited by Toyotaro Suzumura, Mayumi Bono.
by Suzumura, Toyotaro [editor.] | Bono, Mayumi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Big Data [electronic resource] : 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part I / edited by Xiangyu Song, Ruyi Feng, Yunliang Chen, Jianxin Li, Geyong Min.
by Song, Xiangyu [editor.] | Feng, Ruyi [editor.] | Chen, Yunliang [editor.] | Li, Jianxin [editor.] | Min, Geyong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings / edited by Gagandeep Singh, Caterina Urban.
by Singh, Gagandeep [editor.] | Urban, Caterina [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
|
|
|
|
Applied Assistive Technologies and Informatics for Students with Disabilities [electronic resource] / edited by Rajesh Kaluri, Mufti Mahmud, Thippa Reddy Gadekallu, Dharmendra Singh Rajput, Kuruva Lakshmanna.
by Kaluri, Rajesh [editor.] | Mahmud, Mufti [editor.] | Gadekallu, Thippa Reddy [editor.] | Rajput, Dharmendra Singh [editor.] | Lakshmanna, Kuruva [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Data Warehousing and Knowledge Discovery [electronic resource] : 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings / edited by Ladjel Bellatreche, Mukesh K. Mohania.
by Bellatreche, Ladjel [editor.] | Mohania, Mukesh K [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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings / edited by Kai Rannenberg, Prokopios Drogkaris, Cédric Lauradoux.
by Rannenberg, Kai [editor.] | Drogkaris, Prokopios [editor.] | Lauradoux, Cédric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / edited by Markus Müller-Olm, Helmut Seidl.
by Müller-Olm, Markus [editor.] | Seidl, Helmut [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
|
|
|
|
Logic and Engineering of Natural Language Semantics [electronic resource] : 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready.
by Bekki, Daisuke [editor.] | Mineshima, Koji [editor.] | McCready, Elin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / edited by Gethin Norman, William Sanders.
by Norman, Gethin [editor.] | Sanders, William [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
|
|
|
|
Asynchronous Many-Task Systems and Applications [electronic resource] : Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings / edited by Patrick Diehl, Joseph Schuchart, Pedro Valero-Lara, George Bosilca.
by Diehl, Patrick [editor.] | Schuchart, Joseph [editor.] | Valero-Lara, Pedro [editor.] | Bosilca, George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence for Neuroscience and Emotional Systems [electronic resource] : 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I / edited by José Manuel Ferrández Vicente, Mikel Val Calvo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Val Calvo, Mikel [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Bioinspired Systems for Translational Applications: From Robotics to Social Engineering [electronic resource] : 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II / edited by José Manuel Ferrández Vicente, Mikel Val Calvo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Val Calvo, Mikel [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / edited by Davide Di Ruscio, Dániel Varró.
by Di Ruscio, Davide [editor.] | Varró, Dániel [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings / edited by Magnús M. Halldórsson.
by Halldórsson, Magnús M [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
|
|
|
|
Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III / edited by Chu Kiong Loo, Yap Keem Siah, Kok Wai Wong, Andrew Teoh Beng Jin, Kaizhu Huang.
by Loo, Chu Kiong [editor.] | Keem Siah, Yap [editor.] | Wong, Kok Wai [editor.] | Beng Jin, Andrew Teoh [editor.] | Huang, Kaizhu [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
|
|
|
|
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna.
by Butler, Michael [editor.] | Jones, Cliff [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [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
|
