|
|
|
Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part II / edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park.
by Cheong, Otfried [editor.] | Chwa, Kyung-Yong [editor.] | Park, Kunsoo [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-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente.
by Alpuente, María [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers / edited by Christos Kaklamanis, Martin Skutella.
by Kaklamanis, Christos [editor.] | Skutella, Martin [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
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, 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. 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
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings / edited by Juan González Nieto, Guojun Wang, Wolfgang Reif, Jadwiga Indulska.
by González Nieto, Juan [editor.] | Wang, Guojun [editor.] | Reif, Wolfgang [editor.] | Indulska, Jadwiga [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
|
|
|
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings / edited by Erwin Rathgeb, Klaus Echtle, Bruno Müller-Clostermann.
by Rathgeb, Erwin [editor.] | Echtle, Klaus [editor.] | Müller-Clostermann, Bruno [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
|
|
|
|
Information Retrieval Technology [electronic resource] : 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings / edited by Pu-Jen Cheng, Min-Yen Kan, Wai Lam, Preslav Nakov.
by Cheng, Pu-Jen [editor.] | Kan, Min-Yen [editor.] | Lam, Wai [editor.] | Nakov, Preslav [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 7th International Conference, ISPEC 2011, Guangzhou, China, May 30-June 1, 2011, Proceedings / edited by Feng Bao, Jian Weng.
by Bao, Feng [editor.] | Weng, Jian [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
|
|
|
|
Recent Advances in Reinforcement Learning [electronic resource] : 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers / edited by Sertan Girgin, Manuel Loth, Rémi Munos, Philippe Preux, Daniil Ryabko.
by Girgin, Sertan [editor.] | Loth, Manuel [editor.] | Munos, Rémi [editor.] | Preux, Philippe [editor.] | Ryabko, Daniil [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
|
|
|
|
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden.
by Coecke, Bob [editor.] | Ong, Luke [editor.] | Panangaden, Prakash [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
|
|
|
|
Similarity Search and Applications [electronic resource] : 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2104, Proceedings / edited by Agma Juci Machado Traina, Caetano Traina Jr., Robson Leonardo Ferreira Cordeiro.
by Machado Traina, Agma Juci [editor.] | Traina Jr., Caetano [editor.] | Ferreira Cordeiro, Robson Leonardo [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
|
|
|
|
Future Multimedia Networking [electronic resource] : Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009, Proceedings / edited by Andreas Mauthe, Sherali Zeadally, Eduardo Cerqueira, Marília Curado.
by Mauthe, Andreas [editor.] | Zeadally, Sherali [editor.] | Cerqueira, Eduardo [editor.] | Curado, Marília [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin.
by Chechik, Marsha [editor.] | Raskin, Jean-François [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
|
|
|
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by Bertrand Meyer, J.R. Nawrocki, Bartosz Walter.
by Meyer, Bertrand [editor.] | Nawrocki, J.R [editor.] | Walter, Bartosz [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, Canada, May 28-31, 2013. Proceedings / edited by Osmar Zaiane, Sandra Zilles.
by Zaiane, Osmar [editor.] | Zilles, Sandra [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
|
|
|
|
Advances in Neural Networks - ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part II / edited by Jun Wang, Gary G. Yen, Marios M. Polycarpou.
by Wang, Jun [editor.] | Yen, Gary G [editor.] | Polycarpou, Marios M [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
|
|
|
|
Graphics Recognition [electronic resource] : New Trends and Challenges / edited by Young-Bin Kwon, Jean-Marc Ogier.
by Kwon, Young-Bin [editor.] | Ogier, Jean-Marc [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2010 Workshops, WLC, RLCPS, and WECSR, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion, Reza Curtmola, Sven Dietrich, Aggelos Kiayias, Josep M Miret, Kazue Sako, Francesc Sebé.
by Sion, Radu [editor.] | Curtmola, Reza [editor.] | Dietrich, Sven [editor.] | Kiayias, Aggelos [editor.] | Miret, Josep M [editor.] | Sako, Kazue [editor.] | Sebé, Francesc [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
|
|
|
|
Information Hiding [electronic resource] : 10th International Workshop, IH 2008, Sana Barbara, CA, USA, May 19-21, 2008, Revised Selected Papers / edited by Kaushal Solanki, Kenneth Sullivan, Upamanyu Madhow.
by Solanki, Kaushal [editor.] | Sullivan, Kenneth [editor.] | Madhow, Upamanyu [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
|
|
|
|
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [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
|
