|
|
|
Security Standardisation Research [electronic resource] : First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings / edited by Liqun Chen, Chris Mitchell.
by Chen, Liqun [editor.] | Mitchell, Chris [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings / edited by Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu.
by Du, Ding-Zhu [editor.] | Du, Donglei [editor.] | Wu, Chenchen [editor.] | Xu, Dachuan [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo.
by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Aguiló, Isabel [editor.] | González-Hidalgo, 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
|
|
|
|
DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings / edited by Chris Thachuk, Yan Liu.
by Thachuk, Chris [editor.] | Liu, Yan [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
|
|
|
|
Numerical Methods and Applications [electronic resource] : 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / edited by Geno Nikolov, Natalia Kolkovska, Krassimir Georgiev.
by Nikolov, Geno [editor.] | Kolkovska, Natalia [editor.] | Georgiev, Krassimir [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
|
|
|
|
Mathematical Optimization Theory and Operations Research [electronic resource] : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings / edited by Michael Khachay, Yury Kochetov, Panos Pardalos.
by Khachay, Michael [editor.] | Kochetov, Yury [editor.] | Pardalos, Panos [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / edited by Laurent Michel.
by Michel, Laurent [editor.] | 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
|
|
|
|
Functional Imaging and Modeling of the Heart [electronic resource] : 10th International Conference, FIMH 2019, Bordeaux, France, June 6-8, 2019, Proceedings / edited by Yves Coudière, Valéry Ozenne, Edward Vigmond, Nejib Zemzemi.
by Coudière, Yves [editor.] | Ozenne, Valéry [editor.] | Vigmond, Edward [editor.] | Zemzemi, Nejib [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
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings / edited by Marco Gribaudo, Eduard Sopin, Irina Kochetkova.
by Gribaudo, Marco [editor.] | Sopin, Eduard [editor.] | Kochetkova, Irina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Sailing Routes in the World of Computation [electronic resource] : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings / edited by Florin Manea, Russell G. Miller, Dirk Nowotka.
by Manea, Florin [editor.] | Miller, Russell G [editor.] | Nowotka, Dirk [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
|
|
|
|
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
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings / edited by NAOKI KATOH, Amit Kumar.
by KATOH, NAOKI [editor.] | Kumar, Amit [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
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / edited by Donghyun Kim, R. N. Uma, Alexander Zelikovsky.
by Kim, Donghyun [editor.] | Uma, R. N [editor.] | Zelikovsky, Alexander [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
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
by Fleuriot, Jacques [editor.] | Wang, Dongming [editor.] | Calmet, Jacques [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
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings / edited by Gautam K. Das, Partha S. Mandal, Krishnendu Mukhopadhyaya, Shin-ichi Nakano.
by Das, Gautam K [editor.] | Mandal, Partha S [editor.] | Mukhopadhyaya, Krishnendu [editor.] | Nakano, Shin-ichi [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
|
|
|
|
Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / edited by Sudebkumar Prasant Pal, Kunihiko Sadakane.
by Pal, Sudebkumar Prasant [editor.] | Sadakane, Kunihiko [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 Optimization and Applications [electronic resource] : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers / edited by Nicholas Olenev, Yuri Evtushenko, Milojica Jaćimović, Michael Khachay, Vlasta Malkova.
by Olenev, Nicholas [editor.] | Evtushenko, Yuri [editor.] | Jaćimović, Milojica [editor.] | Khachay, Michael [editor.] | Malkova, Vlasta [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
|
|
|
|
Optimization and Applications [electronic resource] : 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers / edited by Nicholas Olenev, Yuri Evtushenko, Milojica Jaćimović, Michael Khachay, Vlasta Malkova, Igor Pospelov.
by Olenev, Nicholas [editor.] | Evtushenko, Yuri [editor.] | Jaćimović, Milojica [editor.] | Khachay, Michael [editor.] | Malkova, Vlasta [editor.] | Pospelov, Igor [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
|
