|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings / edited by Sergei Artemov, Anil Nerode.
by Artemov, Sergei [editor.] | Nerode, Anil [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
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
by Cervesato, Iliano [editor.] | Veith, Helmut [editor.] | Voronkov, Andrei [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
|
|
|
|
Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers / edited by Øyvind Ytrehus.
by Ytrehus, Øyvind [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
|
|
|
|
Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / edited by H. Jaap van den Herik, Aske Plaat.
by van den Herik, H. Jaap [editor.] | Plaat, Aske [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
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe.
by Barthe, Gilles [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
|
|
|
|
Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / edited by Ron Morrison, Flavio Oquendo.
by Morrison, Ron [editor.] | Oquendo, Flavio [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
|
|
|
|
Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III / edited by Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Yin Hujun.
by Wang, Jun [editor.] | Yi, Zhang [editor.] | Zurada, Jacek M [editor.] | Lu, Bao-Liang [editor.] | Hujun, Yin [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
|
|
|
|
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi-Sing Leung.
by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi-Sing [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
|
|
|
|
Public-Key Cryptography -- PKC 2015 [electronic resource] : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / edited by Jonathan Katz.
by Katz, Jonathan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Agents and Data Mining Interaction [electronic resource] : 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir Gorodetsky, Philip S. Yu, Munindar P. Singh.
by Cao, Longbing [editor.] | Zeng, Yifeng [editor.] | Symeonidis, Andreas L [editor.] | Gorodetsky, Vladimir [editor.] | Yu, Philip S [editor.] | Singh, Munindar P [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
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / edited by Alex Biryukov, Guang Gong, Douglas R. Stinson.
by Biryukov, Alex [editor.] | Gong, Guang [editor.] | Stinson, Douglas R [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
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings / edited by Jan Rauch, Zbigniew W. Ras, Petr Berka, Tapio Elomaa.
by Rauch, Jan [editor.] | Ras, Zbigniew W [editor.] | Berka, Petr [editor.] | Elomaa, Tapio [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
|
|
|
|
Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
by Bjørner, Nikolaj [editor.] | Sofronie-Stokkermans, Viorica [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
|
|
|
|
Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / edited by Alessandro Abate, Sylvie Boldo.
by Abate, Alessandro [editor.] | Boldo, Sylvie [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
|
|
|
|
Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Patrick Bourdot, Antonio Mongelli.
by De Paolis, Lucio Tommaso [editor.] | Bourdot, Patrick [editor.] | Mongelli, Antonio [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
|
|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / edited by Doron A. Peled, Michael Wooldridge.
by Peled, Doron A [editor.] | Wooldridge, Michael [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Martin Hofmann.
by Hofmann, Martin [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2009 [electronic resource] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009, Proceedings / edited by Antoine Joux.
by Joux, Antoine [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
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings / edited by Jordi Vitria, Joao Miguel Sanches, Mario Hernández.
by Vitria, Jordi [editor.] | Sanches, Joao Miguel [editor.] | Hernández, Mario [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
|
|
|
|
Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joon Sang Baek, Feng Bao, Kefei Chen, Xuejia Lai.
by Baek, Joon Sang [editor.] | Bao, Feng [editor.] | Chen, Kefei [editor.] | Lai, Xuejia [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
|
