|
|
|
Theoretical Computer Science [electronic resource] : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings / edited by Jos C.M. Baeten, Tom Ball, Frank S. de Boer.
by Baeten, Jos C.M [editor.] | Ball, Tom [editor.] | de Boer, Frank S [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
|
|
|
|
Selected Areas in Cryptography -- SAC 2014 [electronic resource] : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers / edited by Antoine Joux, Amr Youssef.
by Joux, Antoine [editor.] | Youssef, Amr [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
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [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
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.
by Jürgensen, Helmut [editor.] | Karhumäki, Juhani [editor.] | Okhotin, Alexander [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
|
|
|
|
Mathematical Optimization Theory and Operations Research [electronic resource] : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings / edited by Anton Eremeev, Michael Khachay, Yury Kochetov, Vladimir Mazalov, Panos Pardalos.
by Eremeev, Anton [editor.] | Khachay, Michael [editor.] | Kochetov, Yury [editor.] | Mazalov, Vladimir [editor.] | Pardalos, Panos [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
|
|
|
|
Combinatorial Algorithms [electronic resource] : 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings / edited by Adele Anna Rescigno, Ugo Vaccaro.
by Rescigno, Adele Anna [editor.] | Vaccaro, Ugo [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
|
|
|
|
DNA Computing and Molecular Programming [electronic resource] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / edited by Andrew Phillips, Peng Yin.
by Phillips, Andrew [editor.] | Yin, Peng [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.
by Proietti, Maurizio [editor.] | Seki, Hirohisa [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
|
|
|
|
Information Security and Cryptology [electronic resource] : 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers / edited by Dongdai Lin, Moti Yung, Jianying Zhou.
by Lin, Dongdai [editor.] | Yung, Moti [editor.] | Zhou, Jianying [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
|
|
|
|
Progress in Cryptology - LATINCRYPT 2014 [electronic resource] : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17-19, 2014 Revised Selected Papers / edited by Diego F. Aranha, Alfred Menezes.
by Aranha, Diego F [editor.] | Menezes, Alfred [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
|
|
|
|
Algorithms and Computation [electronic resource] : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings / edited by Hee-Kap Ahn, Chan-Su Shin.
by Ahn, Hee-Kap [editor.] | Shin, Chan-Su [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
|
|
|
|
Progress in Cryptology -- LATINCRYPT 2015 [electronic resource] : 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / edited by Kristin Lauter, Francisco Rodríguez-Henríquez.
by Lauter, Kristin [editor.] | Rodríguez-Henríquez, Francisco [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
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke.
by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [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
|
|
|
|
Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings / edited by Xiao Bai, Edwin R. Hancock, Tin Kam Ho, Richard C. Wilson, Battista Biggio, Antonio Robles-Kelly.
by Bai, Xiao [editor.] | Hancock, Edwin R [editor.] | Ho, Tin Kam [editor.] | Wilson, Richard C [editor.] | Biggio, Battista [editor.] | Robles-Kelly, Antonio [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] : 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings / edited by Russ Harmer, Jens Kosiol.
by Harmer, Russ [editor.] | Kosiol, Jens [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases. Research Track [electronic resource] : European Conference, ECML PKDD 2021, Bilbao, Spain, September 13-17, 2021, Proceedings, Part II / edited by Nuria Oliver, Fernando Pérez-Cruz, Stefan Kramer, Jesse Read, Jose A. Lozano.
by Oliver, Nuria [editor.] | Pérez-Cruz, Fernando [editor.] | Kramer, Stefan [editor.] | Read, Jesse [editor.] | Lozano, Jose A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Algebraic Informatics [electronic resource] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti.
by Maletti, Andreas [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
by Leucker, Martin [editor.] | Rueda, Camilo [editor.] | Valencia, Frank D [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
by Falaschi, Moreno [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira.
by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, José [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
|
