|
|
|
Artificial Intelligence of Things [electronic resource] : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I / edited by Rama Krishna Challa, Gagangeet Singh Aujla, Lini Mathew, Amod Kumar, Mala Kalra, S. L. Shimi, Garima Saini, Kanika Sharma.
by Challa, Rama Krishna [editor.] | Aujla, Gagangeet Singh [editor.] | Mathew, Lini [editor.] | Kumar, Amod [editor.] | Kalra, Mala [editor.] | Shimi, S. L [editor.] | Saini, Garima [editor.] | Sharma, Kanika [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I / edited by Xiang-he Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, Lei Liu.
by Sun, Xiang-he [editor.] | Qu, Wenyu [editor.] | Stojmenovic, Ivan [editor.] | Zhou, Wanlei [editor.] | Li, Zhiyang [editor.] | Guo, Hua [editor.] | Min, Geyong [editor.] | Yang, Tingting [editor.] | Wu, Yulei [editor.] | Liu, Lei [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 Visual Computing [electronic resource] : Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I / edited by Richard Boyle, Bahram Parvin, Darko Koracin, Nikos Paragios, Syeda-Mahmood Tanveer, Tao Ju, Zicheng Liu, Sabine Coquillart, Carolina Cruz-Neira, Torsten Möller, Tom Malzbender.
by Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Paragios, Nikos [editor.] | Tanveer, Syeda-Mahmood [editor.] | Ju, Tao [editor.] | Liu, Zicheng [editor.] | Coquillart, Sabine [editor.] | Cruz-Neira, Carolina [editor.] | Möller, Torsten [editor.] | Malzbender, Tom [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.
by Ábrahám, Erika [editor.] | Huisman, Marieke [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.
by Shen, Xipeng [editor.] | Mueller, Frank [editor.] | Tuck, James [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
|
|
|
|
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / edited by Martina Seidl, Nikolai Tillmann.
by Seidl, Martina [editor.] | Tillmann, Nikolai [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
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / edited by Paolo Arcaini, Tao Yue, Erik M. Fredericks.
by Arcaini, Paolo [editor.] | Yue, Tao [editor.] | Fredericks, Erik M [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
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings / edited by John Krogstie, Andreas L. Opdahl, Guttorm Sindre.
by Krogstie, John [editor.] | Opdahl, Andreas L [editor.] | Sindre, Guttorm [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / edited by András Horváth, Katinka Wolter.
by Horváth, András [editor.] | Wolter, Katinka [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
|
|
|
|
Bridging the Gap Between AI and Reality [electronic resource] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings / edited by Bernhard Steffen.
by Steffen, Bernhard [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 Transport Systems [electronic resource] : 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings / edited by Ana Lucia Martins, Joao C. Ferreira, Alexander Kocian, Ulpan Tokkozhina, Berit Irene Helgheim, Svein Bråthen.
by Martins, Ana Lucia [editor.] | Ferreira, Joao C [editor.] | Kocian, Alexander [editor.] | Tokkozhina, Ulpan [editor.] | Helgheim, Berit Irene [editor.] | Bråthen, Svein [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
|
|
|
|
Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster.
by Lukowicz, Paul [editor.] | Thiele, Lothar [editor.] | Tröster, Gerhard [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
|
|
|
|
Future Access Enablers for Ubiquitous and Intelligent Infrastructures [electronic resource] : 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings / edited by Dragan Perakovic, Lucia Knapcikova.
by Perakovic, Dragan [editor.] | Knapcikova, Lucia [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
|
|
|
|
Business Process Management [electronic resource] : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke.
by Weske, Mathias [editor.] | Montali, Marco [editor.] | Weber, Ingo [editor.] | vom Brocke, Jan [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
|
|
|
|
Mobile Web and Intelligent Information Systems [electronic resource] : 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings / edited by Muhammad Younas, Irfan Awan, George Ghinea, Marisa Catalan Cid.
by Younas, Muhammad [editor.] | Awan, Irfan [editor.] | Ghinea, George [editor.] | Catalan Cid, Marisa [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
|
|
|
|
Current Trends in Web Engineering [electronic resource] : ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers / edited by Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodríguez.
by Pautasso, Cesare [editor.] | Sánchez-Figueroa, Fernando [editor.] | Systä, Kari [editor.] | Murillo Rodríguez, Juan Manuel [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
|
|
|
|
CyberSecurity in a DevOps Environment [electronic resource] : From Requirements to Monitoring / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato.
by Sadovykh, Andrey [editor.] | Truscan, Dragos [editor.] | Mallouli, Wissam [editor.] | Cavalli, Ana Rosa [editor.] | Seceleanu, Cristina [editor.] | Bagnato, Alessandra [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
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.
by Atig, Mohamed Faouzi [editor.] | Bensalem, Saddek [editor.] | Bliudze, Simon [editor.] | Monsuez, Bruno [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
|
