|
|
2601.
|
Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach / by Marco Montali.
by Montali, Marco | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2602.
|
Focused Retrieval and Evaluation [electronic resource] : 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers / edited by Shlomo Geva, Jaap Kamps, Andrew Trotman.
by Geva, Shlomo | Kamps, Jaap | Trotman, Andrew | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2603.
|
Enabling Real-Time Business Intelligence [electronic resource] : Third International Workshop, BIRTE 2009, Held at the 35th International Conference on Very Large Databases, VLDB 2009, Lyon, France, August 24, 2009, Revised Selected Papers / edited by Malu Castellanos, Umeshwar Dayal, Renée J. Miller.
by Castellanos, Malu | Dayal, Umeshwar | Miller, Renée J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2604.
|
Financial Cryptography and Data Security [electronic resource] : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion.
by Sion, Radu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2605.
|
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers / edited by Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe.
by Yoshikawa, Masatoshi | Meng, Xiaofeng | Yumoto, Takayuki | Ma, Qiang | Sun, Lifeng | Watanabe, Chiemi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2606.
|
Trusted Systems [electronic resource] : First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers / edited by Liqun Chen, Moti Yung.
by Chen, Liqun | Yung, Moti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2607.
|
Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings / edited by Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan.
by Goel, Ashok K | Jamnik, Mateja | Narayanan, N. Hari | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2608.
|
Advances in Cryptology – CRYPTO 2010 [electronic resource] : 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010. Proceedings / edited by Tal Rabin.
by Rabin, Tal | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2609.
|
New Frontiers in Applied Data Mining [electronic resource] : PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2009. Revised Selected Papers / edited by Thanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato, Nitesh Chawla, Peter Christen, Philippe Lenca, Josiah Poon, Graham Williams.
by Theeramunkong, Thanaruk | Nattee, Cholwich | Adeodato, Paulo J. L | Chawla, Nitesh | Christen, Peter | Lenca, Philippe | Poon, Josiah | Williams, Graham | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2610.
|
Progress in Cryptology – LATINCRYPT 2010 [electronic resource] : First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, proceedings / edited by Michel Abdalla, Paulo S. L. M. Barreto.
by Abdalla, Michel | Barreto, Paulo S. L. M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2611.
|
Advances in Natural Language Processing [electronic resource] : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 / edited by Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir.
by Loftsson, Hrafn | Rögnvaldsson, Eiríkur | Helgadóttir, Sigrún | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2612.
|
Electronic Government [electronic resource] : 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings / edited by Maria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Hans J. Scholl.
by Wimmer, Maria A | Chappelet, Jean-Loup | Janssen, Marijn | Scholl, Hans J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2613.
|
Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / edited by Ching-Hsien Hsu, Victor Malyshkin.
by Hsu, Ching-Hsien | Malyshkin, Victor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2614.
|
Digital Ecosystems [electronic resource] : Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers / edited by Fernando Antonio Basile Colugnati, Lia Carrari Rodrigues Lopes, Saulo Faria Almeida Barretto.
by Antonio Basile Colugnati, Fernando | Lopes, Lia Carrari Rodrigues | Barretto, Saulo Faria Almeida | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2615.
|
Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.
by Müller-Hannemann, Matthias | Schirra, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2616.
|
Scandinavian Information Systems Research [electronic resource] : First Scandinavian Conference on Information Systems, SCIS 2010, Rebild, Denmark, August 20-22, 2010. Proceedings / edited by Karlheinz Kautz, Peter Axel Nielsen.
by Kautz, Karlheinz | Nielsen, Peter Axel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2617.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers / edited by Kumiyo Nakakoji, Yohei Murakami, Eric McCready.
by Nakakoji, Kumiyo | Murakami, Yohei | McCready, Eric | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2618.
|
Advances in Social Network Mining and Analysis [electronic resource] : Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008 / edited by Lee Giles, Marc Smith, John Yen, Haizheng Zhang.
by Giles, Lee | Smith, Marc | Yen, John | Zhang, Haizheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2619.
|
Temporal Information Processing Technology and Its Application [electronic resource] / edited by Yong Tang, Xiaoping Ye, Na Tang.
by Tang, Yong | Ye, Xiaoping | Tang, Na | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2620.
|
Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR&SPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings / edited by Edwin R. Hancock, Richard C. Wilson, Terry Windeatt, Ilkay Ulusoy, Francisco Escolano.
by Hancock, Edwin R | Wilson, Richard C | Windeatt, Terry | Ulusoy, Ilkay | Escolano, Francisco | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
