|
|
6861.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg.
by Braberman, Víctor [editor.] | Fribourg, Laurent [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
|
|
|
6862.
|
Advances in Spatial and Temporal Databases [electronic resource] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings / edited by Mario A. Nascimento, Timos Sellis, Reynold Cheng, Jörg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock.
by Nascimento, Mario A [editor.] | Sellis, Timos [editor.] | Cheng, Reynold [editor.] | Sander, Jörg [editor.] | Zheng, Yu [editor.] | Kriegel, Hans-Peter [editor.] | Renz, Matthias [editor.] | Sengstock, Christian [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
|
|
|
6863.
|
Computer Analysis of Images and Patterns [electronic resource] : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II / edited by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith.
by Wilson, Richard [editor.] | Hancock, Edwin [editor.] | Bors, Adrian [editor.] | Smith, William [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
|
|
|
6864.
|
Computer Analysis of Images and Patterns [electronic resource] : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I / edited by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith.
by Wilson, Richard [editor.] | Hancock, Edwin [editor.] | Bors, Adrian [editor.] | Smith, William [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
|
|
|
6865.
|
Database Systems for Advanced Applications [electronic resource] : 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings / edited by Bonghee Hong, Xiaofeng Meng, Lei Chen, Werner Winiwarter, Wei Song.
by Hong, Bonghee [editor.] | Meng, Xiaofeng [editor.] | Chen, Lei [editor.] | Winiwarter, Werner [editor.] | Song, Wei [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
|
|
|
6866.
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola.
by Brodnik, Andrej [editor.] | López-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [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
|
|
|
6867.
|
Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran.
by Daniel, Florian [editor.] | Papadopoulos, George A [editor.] | Thiran, Philippe [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
|
|
|
6868.
|
Database and Expert Systems Applications [electronic resource] : 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I / edited by Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa.
by Decker, Hendrik [editor.] | Lhotská, Lenka [editor.] | Link, Sebastian [editor.] | Basl, Josef [editor.] | Tjoa, A Min [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
|
|
|
6869.
|
Advances in Depth Image Analysis and Applications [electronic resource] : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers / edited by Xiaoyi Jiang, Olga Regina Pereira Bellon, Dmitry Goldgof, Takeshi Oishi.
by Jiang, Xiaoyi [editor.] | Bellon, Olga Regina Pereira [editor.] | Goldgof, Dmitry [editor.] | Oishi, Takeshi [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
|
|
|
6870.
|
Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall.
by Chatterjee, Krishnendu [editor.] | Sgall, Jirí [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
|
|
|
6871.
|
Internet of Things, Smart Spaces, and Next Generation Networking [electronic resource] : 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.
by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [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
|
|
|
6872.
|
Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers / edited by Jiuyong Li, Longbing Cao, Can Wang, Kay Chen Tan, Bo Liu, Jian Pei, Vincent S. Tseng.
by Li, Jiuyong [editor.] | Cao, Longbing [editor.] | Wang, Can [editor.] | Tan, Kay Chen [editor.] | Liu, Bo [editor.] | Pei, Jian [editor.] | Tseng, Vincent S [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
|
|
|
6873.
|
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é D. P. Rolim.
by Raghavendra, Prasad [editor.] | Raskhodnikova, Sofya [editor.] | Jansen, Klaus [editor.] | Rolim, José 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
|
|
|
6874.
|
Trust, Privacy, and Security in Digital Business [electronic resource] : 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings / edited by Steven Furnell, Costas Lambrinoudakis, Javier Lopez.
by Furnell, Steven [editor.] | Lambrinoudakis, Costas [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
|
|
|
6875.
|
Electronic Participation [electronic resource] : 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings / edited by Maria A. Wimmer, Efthimios Tambouris, Ann Macintosh.
by Wimmer, Maria A [editor.] | Tambouris, Efthimios [editor.] | Macintosh, Ann [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
|
|
|
6876.
|
Cryptographic Hardware and Embedded Systems - CHES 2013 [electronic resource] : 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings / edited by Guido Bertoni, Jean-Sébastien Coron.
by Bertoni, Guido [editor.] | Coron, Jean-Sébastien [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
|
|
|
6877.
|
The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / edited by Peter Achten, Pieter Koopman.
by Achten, Peter [editor.] | Koopman, Pieter [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
|
|
|
6878.
|
Electronic Government [electronic resource] : 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings / edited by Maria A. Wimmer, Marijn Janssen, Hans J. Scholl.
by Wimmer, Maria A [editor.] | Janssen, Marijn [editor.] | Scholl, Hans J [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
|
|
|
6879.
|
Scalable Uncertainty Management [electronic resource] : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings / edited by Weiru Liu, V. S. Subrahmanian, Jef Wijsen.
by Liu, Weiru [editor.] | Subrahmanian, V. S [editor.] | Wijsen, Jef [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
|
|
|
6880.
|
Lightweight Cryptography for Security and Privacy [electronic resource] : Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers / edited by Gildas Avoine, Orhun Kara.
by Avoine, Gildas [editor.] | Kara, Orhun [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
|