|
|
|
Theory of Cryptography [electronic resource] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part III / edited by Guy Rothblum, Hoeteck Wee.
by Rothblum, Guy [editor.] | Wee, Hoeteck [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
|
|
|
|
Theory of Cryptography [electronic resource] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II / edited by Guy Rothblum, Hoeteck Wee.
by Rothblum, Guy [editor.] | Wee, Hoeteck [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / edited by Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung.
by Caires, Luis [editor.] | Italiano, Guiseppe F [editor.] | Monteiro, Luis [editor.] | Palamidessi, Catuscia [editor.] | Yung, Moti [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
|
|
|
|
Algebraic and Algorithmic Aspects of Differential and Integral Operators [electronic resource] : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers / edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
by Barkatou, Moulay [editor.] | Cluzeau, Thomas [editor.] | Regensburger, Georg [editor.] | Rosenkranz, Markus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Natural and Artificial Computation for Biomedicine and Neuroscience [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo Moreo, Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy [electronic resource] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I / edited by Jose Mira, José M. Ferrández, Jose-Ramon Alvarez Sanchez, Felix Paz, Javier Toledo.
by Mira, Jose [editor.] | Ferrández, José M [editor.] | Alvarez Sanchez, Jose-Ramon [editor.] | Paz, Felix [editor.] | Toledo, Javier [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
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings / edited by Phaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano.
by Sirisuk, Phaophak [editor.] | Morgan, Fearghal [editor.] | El-Ghazawi, Tarek [editor.] | Amano, Hideharu [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
|
|
|
|
Algorithms, Probability, Networks, and Games [electronic resource] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / edited by Christos Zaroliagis, Grammati Pantziou, Spyros Kontogiannis.
by Zaroliagis, Christos [editor.] | Pantziou, Grammati [editor.] | Kontogiannis, Spyros [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
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings / edited by Kalyanmoy Deb, Arnab Bhattacharya, Nirupam Chakraborti, Partha Chakroborty, Swagatam Das, Joydeep Dutta, Santosh K. Gupta, Ashu Jain, Varun Aggarwal, Juergen Branke, Sushil J. Louis, Kay Chen Tan.
by Deb, Kalyanmoy [editor.] | Bhattacharya, Arnab [editor.] | Chakraborti, Nirupam [editor.] | Chakroborty, Partha [editor.] | Das, Swagatam [editor.] | Dutta, Joydeep [editor.] | Gupta, Santosh K [editor.] | Jain, Ashu [editor.] | Aggarwal, Varun [editor.] | Branke, Juergen [editor.] | Louis, Sushil J [editor.] | Tan, Kay Chen [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
|
|
|
|
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott.
by Martí-Oliet, Narciso [editor.] | Ölveczky, Peter Csaba [editor.] | Talcott, Carolyn [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
|
|
|
|
Advances in Neural Networks - ISNN 2017 [electronic resource] : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part I / edited by Fengyu Cong, Andrew Leung, Qinglai Wei.
by Cong, Fengyu [editor.] | Leung, Andrew [editor.] | Wei, Qinglai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Neural Networks and Machine Learning - ICANN 2016 [electronic resource] : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II / edited by Alessandro E.P. Villa, Paolo Masulli, Antonio Javier Pons Rivero.
by Villa, Alessandro E.P [editor.] | Masulli, Paolo [editor.] | Pons Rivero, Antonio Javier [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
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings / edited by Salavatore Greco, Yukata Hata, Shoji Hirano, Masahiro Inuiguchi, Sadaaki Miyamoto, Hung Son Nguyen, Roman Slowiński.
by Greco, Salavatore [editor.] | Hata, Yukata [editor.] | Hirano, Shoji [editor.] | Inuiguchi, Masahiro [editor.] | Miyamoto, Sadaaki [editor.] | Nguyen, Hung Son [editor.] | Slowiński, Roman [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
|
|
|
|
Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / edited by H. Jaap van den Herik, Paolo Ciancarini, H. (Jeroen) H.L. Donkers.
by Herik, H. Jaap van den [editor.] | Ciancarini, Paolo [editor.] | Donkers, H. (Jeroen) H.L [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino.
by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert.
by Albert, Elvira [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / edited by Gopal Gupta, Ricardo Peña.
by Gupta, Gopal [editor.] | Peña, Ricardo [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
|
|
|
|
Combinatorial Geometry and Graph Theory [electronic resource] : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano.
by Akiyama, Jin [editor.] | Baskoro, Edy Tri [editor.] | Kano, Mikio [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
|
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / edited by Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini.
by Pizzuti, Clara [editor.] | Ritchie, Marylyn D [editor.] | Giacobini, Mario [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
|
|
|
|
Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005 [electronic resource] : 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II / edited by Wlodzislaw Duch, Erkki Oja, Slawomir Zadrozny.
by Duch, Wlodzislaw [editor.] | Oja, Erkki [editor.] | Zadrozny, Slawomir [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
|
