|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker.
by Bogomolov, Sergiy [editor.] | Parker, David [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
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 26th European Conference, ADBIS 2022, Turin, Italy, September 5-8, 2022, Proceedings / edited by Silvia Chiusano, Tania Cerquitelli, Robert Wrembel.
by Chiusano, Silvia [editor.] | Cerquitelli, Tania [editor.] | Wrembel, Robert [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
|
|
|
|
Social Informatics Evolving [electronic resource] / by Pnina Fichman, Madelyn R. Sanfilippo, Howard Rosenbaum.
by Fichman, Pnina [author.] | Sanfilippo, Madelyn R [author.] | Rosenbaum, Howard [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
The Future of Personal Information Management, Part I [electronic resource] : Our Information, Always and Forever / by William Jones.
by Jones, William [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Biomedical and Computational Biology [electronic resource] : Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers / edited by Shiping Wen, Cihui Yang.
by Wen, Shiping [editor.] | Yang, Cihui [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
|
|
|
|
Cognitive Computing - ICCC 2022 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Yujiu Yang, Xiaohui Wang, Liang-Jie Zhang.
by Yang, Yujiu [editor.] | Wang, Xiaohui [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / edited by Jan Jürjens, Frank Piessens, Nataliia Bielova.
by Jürjens, Jan [editor.] | Piessens, Frank [editor.] | Bielova, Nataliia [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings / edited by Dongwon Lee, Yu-Ru Lin, Nathaniel Osgood, Robert Thomson.
by Lee, Dongwon [editor.] | Lin, Yu-Ru [editor.] | Osgood, Nathaniel [editor.] | Thomson, Robert [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
|
|
|
|
NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio.
by Domingo-Pascual, Jordi [editor.] | Manzoni, Pietro [editor.] | Palazzo, Sergio [editor.] | Pont, Ana [editor.] | Scoglio, Caterina [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
|
|
|
|
Principles of Security and Trust [electronic resource] : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Frank Piessens, Luca Viganò.
by Piessens, Frank [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Communications [electronic resource] : Introduction to Communication Systems / by Jerry D. Gibson.
by Gibson, Jerry D [author.] | 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
|
|
|
|
Combinatorial Optimization [electronic resource] : Second International Symposium, ISCO 2012, Athens, Greece, 19-21, Revised Selected Papers / edited by A. Ridha Mahjoub, Vangelis Markakis, Ioannis Milis, Vangelis Th. Paschos.
by Mahjoub, A. Ridha [editor.] | Markakis, Vangelis [editor.] | Milis, Ioannis [editor.] | Paschos, Vangelis Th [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
|
|
|
|
A Modal Approach to the Space-Time Dynamics of Cognitive Biomarkers [electronic resource] / by Tristan D. Griffith, James E. Hubbard Jr., Mark J. Balas.
by Griffith, Tristan D [author.] | Hubbard Jr., James E [author.] | Balas, Mark J [author.] | 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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource].
by 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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Ben Livshits, Riccardo Scandariato.
by Jürjens, Jan [editor.] | Livshits, Ben [editor.] | Scandariato, Riccardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Adversarial Machine Learning [electronic resource] / by Yevgeniy Vorobeychik, Murat Kantarcioglu.
by Vorobeychik, Yevgeniy [author.] | Kantarcioglu, Murat [author.] | 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
|
|
|
|
Judgment Aggregation [electronic resource] : A Primer / by Davide Grossi, Gabriella Pigozzi.
by Grossi, Davide [author.] | Pigozzi, Gabriella [author.] | 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 Swarm Intelligence, Part I [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Chai, Yi [editor.] | Wang, Guoyin [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
|
|
|
|
Answer Set Solving in Practice [electronic resource] / by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub.
by Gebser, Martin [author.] | Kaminski, Roland [author.] | Kaufmann, Benjamin [author.] | Schaub, Torsten [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
|
|
|
|
Introduction to Semi-Supervised Learning [electronic resource] / by Xiaojin Zhu, Andrew. B Goldberg.
by Zhu, Xiaojin [author.] | Goldberg, Andrew. B [author.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
