|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Techniques for Safety-Critical Systems [electronic resource] : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba �Olveczky.
by Artho, Cyrille [editor.] | �Olveczky, Peter Csaba [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye.
by Darling, Aaron [editor.] | Stoye, Jens [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu.
by Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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 General Intelligence [electronic resource] : 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings / edited by Bas Steunebrink, Pei Wang, Ben Goertzel.
by Steunebrink, Bas [editor.] | Wang, Pei [editor.] | Goertzel, Ben [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo.
by Isokawa, Teijiro [editor.] | Imai, Katsunobu [editor.] | Matsui, Nobuyuki [editor.] | Peper, Ferdinand [editor.] | Umeo, Hiroshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / edited by Pavel Kr�al, Carlos Mart�in-Vide.
by Kr�al, Pavel [editor.] | Mart�in-Vide, Carlos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II / edited by Chu Kiong Loo, Keem Siah Yap, Kok Wai Wong, Andrew Teoh, Kaizhu Huang.
by Loo, Chu Kiong [editor.] | Yap, Keem Siah [editor.] | Wong, Kok Wai [editor.] | Teoh, Andrew [editor.] | Huang, Kaizhu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / edited by Jos�e Manuel Ferr�andez Vicente, Jos�e Ram�on �Alvarez S�anchez, F�elix de la Paz L�opez, Fco. Javier Toledo Moreo.
by Ferr�andez Vicente, Jos�e Manuel [editor.] | �Alvarez S�anchez, Jos�e Ram�on [editor.] | Paz L�opez, F�elix de la [editor.] | Toledo Moreo, Fco. Javier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Behavioural Models [electronic resource] : From Modelling Finite Automata to Analysing Business Processes / by Matthias Kunze, Mathias Weske.
by Kunze, Matthias [author.] | Weske, Mathias [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Machine Translation [electronic resource] : 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings / edited by Xiaodong Shi, Yidong Chen.
by Shi, Xiaodong [editor.] | Chen, Yidong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos.
by Nicosia, Giuseppe [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt L�owe.
by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | L�owe, Benedikt [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Theory of Cryptography [electronic resource] : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / edited by Amit Sahai.
by Sahai, Amit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings / edited by Pradipta Maji, Ashish Ghosh, M. Narasimha Murty, Kuntal Ghosh, Sankar K. Pal.
by Maji, Pradipta [editor.] | Ghosh, Ashish [editor.] | Murty, M. Narasimha [editor.] | Ghosh, Kuntal [editor.] | Pal, Sankar K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Waśniewski.
by Lirkov, Ivan [editor.] | Margenov, Svetozar D [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Finite Difference Methods,Theory and Applications [electronic resource] : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, Istv�an Farag�o, Lubin Vulkov.
by Dimov, Ivan [editor.] | Farag�o, Istv�an [editor.] | Vulkov, Lubin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Theory of Cryptography [electronic resource] : 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I / edited by Eyal Kushilevitz, Tal Malkin.
by Kushilevitz, Eyal [editor.] | Malkin, Tal [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Anna I. Esparcia-Alc�azar.
by Esparcia-Alc�azar, Anna I [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Transactions on Computational Science XXVII [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
