|
|
|
Frontiers in Algorithmics [electronic resource] : 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / edited by Daming Zhu, Sergey Bereg.
by Zhu, Daming [editor.] | Bereg, Sergey [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
|
|
|
|
Artificial Intelligence and Mobile Services - AIMS 2018 [electronic resource] : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / edited by Marco Aiello, Yujiu Yang, Yuexian Zou, Liang-Jie Zhang.
by Aiello, Marco [editor.] | Yang, Yujiu [editor.] | Zou, Yuexian [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Graph Transformation [electronic resource] : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings / edited by Leen Lambers, Jens Weber.
by Lambers, Leen [editor.] | Weber, Jens [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
|
|
|
|
Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / edited by María del Mar Gallardo, Pedro Merino.
by Gallardo, María del Mar [editor.] | Merino, Pedro [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
|
|
|
|
Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III / edited by Jun Wang, Laiwan Chan, DeLiang Wang.
by Wang, Jun [editor.] | Chan, Laiwan [editor.] | Wang, DeLiang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithm Theory - SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings / edited by Joachim Gudmundsson.
by Gudmundsson, Joachim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.
by Liu, Shaoying [editor.] | Duan, Zhenhua [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
|
|
|
|
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner.
by Nagel, Wolfgang E [editor.] | Walter, Wolfgang V [editor.] | Lehner, Wolfgang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computing Theories and Application [electronic resource] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / edited by Mike Burmester, Alec Yasinsac.
by Burmester, Mike [editor.] | Yasinsac, Alec [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security -- ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli.
by Foresti, Sara [editor.] | Yung, Moti [editor.] | Martinelli, Fabio [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
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings / edited by Lev D. Beklemishev, Ruy de Queiroz.
by Beklemishev, Lev D [editor.] | de Queiroz, Ruy [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 Pattern Matching [electronic resource] : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / edited by Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel Pevzner.
by Kulikov, Alexander S [editor.] | Kuznetsov, Sergei O [editor.] | Pevzner, Pavel [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla.
by Puebla, Germán [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
|
|
|
|
Search Computing [electronic resource] : Challenges and Directions / edited by Stefano Ceri, Marco Brambilla.
by Ceri, Stefano [editor.] | Brambilla, Marco [editor.] | 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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 20th International Conference, FC 2016, Christ Church, Barbados, February 22-26, 2016, Revised Selected Papers / edited by Jens Grossklags, Bart Preneel.
by Grossklags, Jens [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings / edited by Kazunori Ueda.
by Ueda, Kazunori [editor.] | 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
|
|
|
|
Provable Security [electronic resource] : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings / edited by Willy Susilo, Reza Reyhanitabar.
by Susilo, Willy [editor.] | Reyhanitabar, Reza [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
|
|
|
|
Information Theoretic Security [electronic resource] : Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers / edited by Yvo Desmedt.
by Desmedt, Yvo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
