|
|
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by St�ephane Demri, Deepak Kapur, Christoph Weidenbach.
by Demri, St�ephane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya Nayak.
by Cranefield, Stephen [editor.] | Nayak, Abhaya [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Application of Wavelets in Speech Processing [electronic resource] / by Mohamed Hesham Farouk.
by Farouk, Mohamed Hesham [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat.
by Kurland, Oren [editor.] | Lewenstein, Moshe [editor.] | Porat, Ely [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Bac Le, Bao Nguyen Le, Thierry Denoeux.
by Huynh, Van-Nam [editor.] | Inuiguchi, Masahiro [editor.] | Le, Bac [editor.] | Le, Bao Nguyen [editor.] | Denoeux, Thierry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Limits of Computation [electronic resource] : From a Programming Perspective / by Bernhard Reus.
by Reus, Bernhard [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Progress in Cryptology - INDOCRYPT 2016 [electronic resource] : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / edited by Orr Dunkelman, Somitra Kumar Sanadhya.
by Dunkelman, Orr [editor.] | Sanadhya, Somitra Kumar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Francisco Chicano, Bin Hu, Pablo Garc�ia-S�anchez.
by Chicano, Francisco [editor.] | Hu, Bin [editor.] | Garc�ia-S�anchez, Pablo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Smart Sensors for Health and Environment Monitoring [electronic resource] / edited by Chong-Min Kyung.
by Kyung, Chong-Min [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / edited by Songmao Zhang, Martin Wirsing, Zili Zhang.
by Zhang, Songmao [editor.] | Wirsing, Martin [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
8th RILEM International Conference on Mechanisms of Cracking and Debonding in Pavements [electronic resource] / edited by Armelle Chabot, William G. Buttlar, Eshan V. Dave, Christophe Petit, Gabriele Tebaldi.
by Chabot, Armelle [editor.] | Buttlar, William G [editor.] | Dave, Eshan V [editor.] | Petit, Christophe [editor.] | Tebaldi, Gabriele [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Efficient Algorithms for Global Optimization Methods in Computer Vision [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers / edited by Andr�es Bruhn, Thomas Pock, Xue-Cheng Tai.
by Bruhn, Andr�es [editor.] | Pock, Thomas [editor.] | Tai, Xue-Cheng [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Methodologies for Bayesian Networks [electronic resource] : Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / edited by Joe Suzuki, Maomi Ueno.
by Suzuki, Joe [editor.] | Ueno, Maomi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Transactions on Computational Science XXI [electronic resource] : Special Issue on Innovations in Nature-Inspired Computing and Applications / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Ajith Abraham.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Abraham, Ajith [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
|
|
|
|
Advances in Cryptology - CRYPTO 2016 [electronic resource] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I / edited by Matthew Robshaw, Jonathan Katz.
by Robshaw, Matthew [editor.] | Katz, Jonathan [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, 2016Online 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). Source: Springer eBooksMaterial 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
|
|
|
|
Computational Collective Intelligence [electronic resource] : 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II / edited by Ngoc Thanh Nguyen, Lazaros Iliadis, Yannis Manolopoulos, Bogdan Trawiński.
by Nguyen, Ngoc Thanh [editor.] | Iliadis, Lazaros [editor.] | Manolopoulos, Yannis [editor.] | Trawiński, Bogdan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers / edited by Bettina Berendt, Thomas Engel, Demosthenes Ikonomou, Daniel Le M�etayer, Stefan Schiffner.
by Berendt, Bettina [editor.] | Engel, Thomas [editor.] | Ikonomou, Demosthenes [editor.] | Le M�etayer, Daniel [editor.] | Schiffner, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings / edited by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, Jos�e D. P. Rolim.
by Raghavendra, Prasad [editor.] | Raskhodnikova, Sofya [editor.] | Jansen, Klaus [editor.] | Rolim, Jos�e D. P [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
|
|
|
|
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). Source: Springer eBooksMaterial 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
|
