|
|
13121.
|
Modern Cryptography Primer [electronic resource] : Theoretical Foundations and Practical Applications / by Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny.
by Kościelny, Czesław [author.] | Kurkowski, Mirosław [author.] | Srebrny, Marian [author.] | 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
|
|
|
13122.
|
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay.
by Gabbay, Dov M [author.] | 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
|
|
|
13123.
|
Algorithmic Game Theory [electronic resource] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings / edited by Berthold Vöcking.
by Vöcking, Berthold [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
|
|
|
13124.
|
Physically Unclonable Functions [electronic resource] : Constructions, Properties and Applications / by Roel Maes.
by Maes, Roel [author.] | 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
|
|
|
13125.
|
Advances in Intelligent Data Analysis XII [electronic resource] : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings / edited by Allan Tucker, Frank Höppner, Arno Siebes, Stephen Swift.
by Tucker, Allan [editor.] | Höppner, Frank [editor.] | Siebes, Arno [editor.] | Swift, Stephen [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
|
|
|
13126.
|
People, Problems, and Proofs [electronic resource] : Essays from Gödel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan.
by Lipton, Richard J [author.] | Regan, Kenneth W [author.] | 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
|
|
|
13127.
|
Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino.
by Pathan, Mukaddim [editor.] | Wei, Guiyi [editor.] | Fortino, Giancarlo [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
|
|
|
13128.
|
Design for Six Sigma + LeanToolset [electronic resource] : Mindset for Successful Innovations / by Christian Staudter, Clemens Hugo, Philipp Bosselmann, Jens-Peter Mollenhauer, Renata Meran, Olin Roenpage ; edited by Stephan Lunau.
by Staudter, Christian [author.] | Hugo, Clemens [author.] | Bosselmann, Philipp [author.] | Mollenhauer, Jens-Peter [author.] | Meran, Renata [author.] | Roenpage, Olin [author.] | Lunau, Stephan [editor.] | SpringerLink (Online service). Edition: 2nd ed. 2013.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
|
|
|
13129.
|
Critical Information Infrastructure Security [electronic resource] : 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers / edited by Sandro Bologna, Bernhard Hämmerli, Dimitris Gritzalis, Stephen Wolthusen.
by Bologna, Sandro [editor.] | Hämmerli, Bernhard [editor.] | Gritzalis, Dimitris [editor.] | Wolthusen, Stephen [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
|
|
|
13130.
|
Strategy and Communication for Innovation [electronic resource] / edited by Nicole Pfeffermann, Tim Minshall, Letizia Mortara.
by Pfeffermann, Nicole [editor.] | Minshall, Tim [editor.] | Mortara, Letizia [editor.] | SpringerLink (Online service). Edition: 2nd ed. 2013.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
|
|
|
13131.
|
Combinatorial Search: From Algorithms to Systems [electronic resource] / by Youssef Hamadi.
by Hamadi, Youssef [author.] | 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
|
|
|
13132.
|
Critical Information Infrastructures Security [electronic resource] : 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers / edited by Bernhard M. Hämmerli, Nils Kalstad Svendsen, Javier Lopez.
by Hämmerli, Bernhard M [editor.] | Kalstad Svendsen, Nils [editor.] | Lopez, 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
|
|
|
13133.
|
Secure IT Systems [electronic resource] : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / edited by Hanne Riis Nielson, Dieter Gollmann.
by Riis Nielson, Hanne [editor.] | Gollmann, Dieter [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
|
|
|
13134.
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang.
by Sun, Maosong [editor.] | Zhang, Min [editor.] | Lin, Dekang [editor.] | Wang, Haifeng [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
|
|
|
13135.
|
Animal Communication and Noise [electronic resource] / edited by Henrik Brumm.
by Brumm, Henrik [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
|
|
|
13136.
|
Product Lifecycle Management for Society [electronic resource] : 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings / edited by Alain Bernard, Louis Rivest, Debasish Dutta.
by Bernard, Alain [editor.] | Rivest, Louis [editor.] | Dutta, Debasish [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
|
|
|
13137.
|
Intelligent Multimedia Surveillance [electronic resource] : Current Trends and Research / edited by Pradeep K. Atrey, Mohan S. Kankanhalli, Andrea Cavallaro.
by Atrey, Pradeep K [editor.] | Kankanhalli, Mohan S [editor.] | Cavallaro, Andrea [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
|
|
|
13138.
|
Numerical Analysis and Its Applications [electronic resource] : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.
by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [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
|
|
|
13139.
|
Fundamentals and Application of New Bioproduction Systems [electronic resource] / edited by An-Ping Zeng.
by Zeng, An-Ping [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
|
|
|
13140.
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf.
by Tompits, Hans [editor.] | Abreu, Salvador [editor.] | Oetsch, Johannes [editor.] | Pührer, Jörg [editor.] | Seipel, Dietmar [editor.] | Umeda, Masanobu [editor.] | Wolf, Armin [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
|