|
|
|
Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer.
by Johnsen, Einar Broch [editor.] | Schaefer, Ina [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son.
by El Fallah-Seghrouchni, Amal [editor.] | Ricci, Alessandro [editor.] | Son, Tran Cao [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
|
|
|
|
Collaboration and Technology [electronic resource] : 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings / edited by Armanda Rodrigues, Benjamim Fonseca, Nuno Preguiça.
by Rodrigues, Armanda [editor.] | Fonseca, Benjamim [editor.] | Preguiça, Nuno [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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.
by Hooker, John [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter.
by Furia, Carlo A [editor.] | Winter, Kirsten [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
|
|
|
|
Electronic Government and the Information Systems Perspective [electronic resource] : 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3-5, 2018, Proceedings / edited by Andrea Kő, Enrico Francesconi.
by Kő, Andrea [editor.] | Francesconi, Enrico [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
|
|
|
|
Computer Security [electronic resource] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I / edited by Javier Lopez, Jianying Zhou, Miguel Soriano.
by Lopez, Javier [editor.] | Zhou, Jianying [editor.] | Soriano, Miguel [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
|
|
|
|
Computer Security [electronic resource] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / edited by Javier Lopez, Jianying Zhou, Miguel Soriano.
by Lopez, Javier [editor.] | Zhou, Jianying [editor.] | Soriano, Miguel [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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings / edited by Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko.
by Tang, Shaojie [editor.] | Du, Ding-Zhu [editor.] | Woodruff, David [editor.] | Butenko, Sergiy [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
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings / edited by Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders.
by Blanc-Talon, Jacques [editor.] | Helbert, David [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [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
|
|
|
|
Software Architecture [electronic resource] : 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings / edited by Carlos E. Cuesta, David Garlan, Jennifer Pérez.
by Cuesta, Carlos E [editor.] | Garlan, David [editor.] | Pérez, Jennifer [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
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings / edited by Khalid Saeed, Władysław Homenda.
by Saeed, Khalid [editor.] | Homenda, Władysław [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
|
|
|
|
Speech and Computer [electronic resource] : 20th International Conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, Proceedings / edited by Alexey Karpov, Oliver Jokisch, Rodmonga Potapova.
by Karpov, Alexey [editor.] | Jokisch, Oliver [editor.] | Potapova, Rodmonga [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
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / edited by Vlad Rusu.
by Rusu, Vlad [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 and Cryptography for Networks [electronic resource] : 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings / edited by Dario Catalano, Roberto De Prisco.
by Catalano, Dario [editor.] | De Prisco, Roberto [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
|
|
|
|
Algorithmic Game Theory [electronic resource] : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / edited by Xiaotie Deng.
by Deng, Xiaotie [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
|
|
|
|
Runtime Verification [electronic resource] : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / edited by Bernd Finkbeiner, Leonardo Mariani.
by Finkbeiner, Bernd [editor.] | Mariani, Leonardo [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
|
|
|
|
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
by Mercaş, Robert [editor.] | Reidenbach, Daniel [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
|
|
|
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 - July 4, 2019, Proceedings / edited by Jan Lellmann, Martin Burger, Jan Modersitzki.
by Lellmann, Jan [editor.] | Burger, Martin [editor.] | Modersitzki, Jan [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
|
|
|
|
Cyber Security Cryptography and Machine Learning [electronic resource] : Third International Symposium, CSCML 2019, Beer-Sheva, Israel, June 27-28, 2019, Proceedings / edited by Shlomi Dolev, Danny Hendler, Sachin Lodha, Moti Yung.
by Dolev, Shlomi [editor.] | Hendler, Danny [editor.] | Lodha, Sachin [editor.] | Yung, Moti [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
|
