|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / edited by Stefan Kowalewski, Marco Roveri.
by Kowalewski, Stefan [editor.] | Roveri, 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
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Lativia, September 7-10, 2009. Revised Selected Papers / edited by Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis.
by Grundspenkis, Janis [editor.] | Kirikova, Marite [editor.] | Manolopoulos, Yannis [editor.] | Novickis, Leonids [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
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009, Proceedings / edited by Ding-Zhu Du, Xiaodong Hu, Panos M. Pardalos.
by Du, Ding-Zhu [editor.] | Hu, Xiaodong [editor.] | Pardalos, Panos M [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 8th International Conference, DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011, Proceedings / edited by Thorsten Holz, Herbert Bos.
by Holz, Thorsten [editor.] | Bos, Herbert [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 Algorithms [electronic resource] : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers / edited by Jiri Fiala, Jan Kratochvil, Mirka Miller.
by Fiala, Jiri [editor.] | Kratochvil, Jan [editor.] | Miller, Mirka [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
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Subhransu Sekhar Dash.
by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Dash, Subhransu Sekhar [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
|
|
|
|
Unconventional Computation [electronic resource] : 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings / edited by Christian S. Calude, Jose Felix Gomes da Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg.
by Calude, Christian S [editor.] | da Costa, Jose Felix Gomes [editor.] | Freund, Rudolf [editor.] | Oswald, Marion [editor.] | Rozenberg, Grzegorz [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
|
|
|
|
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / edited by Fu Lee Wang, Hepu Deng, Jingsheng Lei.
by Wang, Fu Lee [editor.] | Deng, Hepu [editor.] | Lei, Jingsheng [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
|
|
|
|
Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / edited by Marco T. Morazán, Sven-Bodo Scholz.
by Morazán, Marco T [editor.] | Scholz, Sven-Bodo [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
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou.
by Xie, Bing [editor.] | Branke, Juergen [editor.] | Sadjadi, S. Masoud [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [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
|
|
|
|
Performance Evaluation: Metrics, Models and Benchmarks [electronic resource] : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings / edited by Samuel Kounev, Ian Gorton.
by Kounev, Samuel [editor.] | Gorton, Ian [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
|
|
|
|
Theory of Quantum Computation, Communication and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / edited by Wim van Dam, Vivien M. Kendon, Simone Severini.
by van Dam, Wim [editor.] | Kendon, Vivien M [editor.] | Severini, Simone [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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I / edited by Cecilia Di Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Aniko Ekart, Anna I. Esparcia-Alcázar, Chi-Keong Goh, Juan J. Merelo, Ferrante Neri, Mike Preuss, Julian Togelius, Georgios N. Yannakakis.
by Di Chio, Cecilia [editor.] | Cagnoni, Stefano [editor.] | Cotta, Carlos [editor.] | Ebner, Marc [editor.] | Ekart, Aniko [editor.] | Esparcia-Alcázar, Anna I [editor.] | Goh, Chi-Keong [editor.] | Merelo, Juan J [editor.] | Neri, Ferrante [editor.] | Preuss, Mike [editor.] | Togelius, Julian [editor.] | Yannakakis, Georgios N [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
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings / edited by Noriako Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar von Stryk.
by Ando, Noriako [editor.] | Balakirsky, Stephen [editor.] | Hemker, Thomas [editor.] | Reggiani, Monica [editor.] | von Stryk, Oskar [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
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 21st International Workshop, IWCIA 2022, Messina, Italy, July 13-15, 2022, Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Giorgio Nordo.
by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Nordo, Giorgio [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
|
|
|
|
Knowledge Graphs and Semantic Web [electronic resource] : 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings / edited by Fernando Ortiz-Rodriguez, Boris Villazón-Terrazas, Sanju Tiwari, Carlos Bobed.
by Ortiz-Rodriguez, Fernando [editor.] | Villazón-Terrazas, Boris [editor.] | Tiwari, Sanju [editor.] | Bobed, Carlos [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Handwritten historical document analysis, recognition, and retrieval [electronic resource] : state of the art and future trends / edited by Andreas Fischer, Marcus Liwicki, Rolf Ingold.
by Andreas Fischer | Liwicki, Marcus | Ingold, Rolf. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific, 2020Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Principles of artificial neural networks [electronic resource] : basic designs to deep learning / Daniel Graupe.
by Graupe, Daniel. Edition: 4th ed.Material type:  Computer file; Format:
electronic
available online
Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©2019Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Applied artificial neural network methods for engineers and scientists [electronic resource] : solving algebraic equations / by Snehashish Chakraverty, Sumit Kumar Jeswal.
by Chakraverty, Snehashish | Jeswal, Sumit Kumar. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific, 2021Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Probabilistic approaches for social media analysis [electronic resource] : data, community and influence / Kun Yue ... [et al.].
by Yue, Kun. Material type: Book; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Singapore : World Scientific, 2020Online access: Access to full text is restricted to subscribers. Availability: No items available
|
