|
|
|
Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan.
by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Iglesias, Andres [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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
|
|
|
|
Artificial Intelligence. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova.
by Nowaczyk, Sławomir [editor.] | Biecek, Przemysław [editor.] | Chung, Neo Christopher [editor.] | Vallati, Mauro [editor.] | Skruch, Paweł [editor.] | Jaworek-Korjakowska, Joanna [editor.] | Parkinson, Simon [editor.] | Nikitas, Alexandros [editor.] | Atzmüller, Martin [editor.] | Kliegr, Tomáš [editor.] | Schmid, Ute [editor.] | Bobek, Szymon [editor.] | Lavrac, Nada [editor.] | Peeters, Marieke [editor.] | van Dierendonck, Roland [editor.] | Robben, Saskia [editor.] | Mercier-Laurent, Eunika [editor.] | Kayakutlu, Gülgün [editor.] | Owoc, Mieczyslaw Lech [editor.] | Mason, Karl [editor.] | Wahid, Abdul [editor.] | Bruno, Pierangela [editor.] | Calimeri, Francesco [editor.] | Cauteruccio, Francesco [editor.] | Terracina, Giorgio [editor.] | Wolter, Diedrich [editor.] | Leidner, Jochen L [editor.] | Kohlhase, Michael [editor.] | Dimitrova, Vania [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
|
|
|
|
Reproducible Research in Pattern Recognition [electronic resource] : First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers / edited by Bertrand Kerautret, Miguel Colom, Pascal Monasse.
by Kerautret, Bertrand [editor.] | Colom, Miguel [editor.] | Monasse, Pascal [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger.
by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings / edited by Silvana Castano, Panos Vassiliadis, Laks Lakshmanan, Mong Li Lee.
by Castano, Silvana [editor.] | Vassiliadis, Panos [editor.] | Lakshmanan, Laks [editor.] | Lee, Mong Li [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
|
|
|
|
Advances in Model and Data Engineering in the Digitalization Era [electronic resource] : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi.
by Mosbah, Mohamed [editor.] | Kechadi, Tahar [editor.] | Bellatreche, Ladjel [editor.] | Gargouri, Faiez [editor.] | Guegan, Chirine Ghedira [editor.] | Badir, Hassan [editor.] | Beheshti, Amin [editor.] | Gammoudi, Mohamed Mohsen [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] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath.
by McIver, Annabelle [editor.] | Horvath, Andras [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar.
by Jansen, David N [editor.] | Prabhakar, Pavithra [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
|
|
|
|
Dependable Computing - EDCC 2024 Workshops [electronic resource] : SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings / edited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini.
by Sangchoolie, Behrooz [editor.] | Adler, Rasmus [editor.] | Hawkins, Richard [editor.] | Schleiss, Philipp [editor.] | Arteconi, Alessia [editor.] | Mancini, Adriano [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
|
|
|
|
Ethical and Legal Aspects of Computing [electronic resource] : A Professional Perspective from Software Engineering / by Gerard O'Regan.
by O'Regan, Gerard [author.] | 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
|
|
|
|
Data Privacy Management, Cryptocurrencies and Blockchain Technology [electronic resource] : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Giovanni Livraga, Ruben Rios.
by Garcia-Alfaro, Joaquin [editor.] | Herrera-Joancomartí, Jordi [editor.] | Livraga, Giovanni [editor.] | Rios, Ruben [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
|
|
|
|
Programming with Actors [electronic resource] : State-of-the-Art and Research Perspectives / edited by Alessandro Ricci, Philipp Haller.
by Ricci, Alessandro [editor.] | Haller, Philipp [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
|
|
|
|
Security Protocols XXVI [electronic resource] : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers / edited by Vashek Matyáš, Petr Švenda, Frank Stajano, Bruce Christianson, Jonathan Anderson.
by Matyáš, Vashek [editor.] | Švenda, Petr [editor.] | Stajano, Frank [editor.] | Christianson, Bruce [editor.] | Anderson, Jonathan [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
|
|
|
|
Security Standardisation Research [electronic resource] : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / edited by Cas Cremers, Anja Lehmann.
by Cremers, Cas [editor.] | Lehmann, Anja [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky.
by Bae, Kyungmin [editor.] | Ölveczky, Peter Csaba [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
|
|
|
|
Autonomous Agents and Multiagent Systems. Best and Visionary Papers [electronic resource] : AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers / edited by Francesco Amigoni, Arunesh Sinha.
by Amigoni, Francesco [editor.] | Sinha, Arunesh [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
|
|
|
|
Networked Systems [electronic resource] : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers / edited by Andreas Podelski, François Taïani.
by Podelski, Andreas [editor.] | Taïani, François [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
|
|
|
|
Managing Information Technology [electronic resource] / by Francisco Castillo, Korina Monoso.
by Castillo, Francisco [author.] | Monoso, Korina [author.] | SpringerLink (Online service). Edition: 2nd ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Emerging Technologies for Authorization and Authentication [electronic resource] : First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings / edited by Andrea Saracino, Paolo Mori.
by Saracino, Andrea [editor.] | Mori, Paolo [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
|
|
|
|
Infrared Small Target Detection [electronic resource] : Theory, Methods, and Algorithms. / by Hu Zhu, Yushan Pan, Lizhen Deng, Guoxia Xu.
by Zhu, Hu [author.] | Pan, Yushan [author.] | Deng, Lizhen [author.] | Xu, Guoxia [author.] | 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
|
