Results
|
|
3721.
|
Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Norbert Streitz, Constantine Stephanidis. by
- Streitz, Norbert [editor.]
- Stephanidis, Constantine [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8028
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3722.
|
|
|
|
3723.
|
Big Data [electronic resource] : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / edited by Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart. by
- Gottlob, Georg [editor.]
- Grasso, Giovanni [editor.]
- Olteanu, Dan [editor.]
- Schallhart, Christian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7968
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3724.
|
HCI International 2013 - Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Constantine Stephanidis. by
- Stephanidis, Constantine [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 373
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3725.
|
Intelligent Computing Theories and Technology [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Yong-Quan Zhou, Kyungsook Han. by
- Huang, De-Shuang [editor.]
- Jo, Kang-Hyun [editor.]
- Zhou, Yong-Quan [editor.]
- Han, Kyungsook [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7996
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3726.
|
|
|
|
3727.
|
Statistical Language and Speech Processing [electronic resource] : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe. by
- Dediu, Adrian-Horia [editor.]
- Martín-Vide, Carlos [editor.]
- Mitkov, Ruslan [editor.]
- Truthe, Bianca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7978
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3728.
|
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
- Biere, Armin [editor.]
- Nahir, Amir [editor.]
- Vos, Tanja [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3729.
|
|
|
|
3730.
|
|
|
|
3731.
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
- Sharygina, Natasha [editor.]
- Veith, Helmut [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3732.
|
Enabling Real-Time Business Intelligence [electronic resource] : 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Malu Castellanos, Umeshwar Dayal, Elke A. Rundensteiner. by
- Castellanos, Malu [editor.]
- Dayal, Umeshwar [editor.]
- Rundensteiner, Elke A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 154
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3733.
|
E-Commerce and Web Technologies [electronic resource] : 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings / edited by Christian Huemer, Pasquale Lops. by
- Huemer, Christian [editor.]
- Lops, Pasquale [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 152
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3734.
|
|
|
|
3735.
|
|
|
|
3736.
|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by
- Morrill, Glyn [editor.]
- Nederhof, Mark-Jan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8036
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3737.
|
Public Key Infrastructures, Services and Applications [electronic resource] : 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / edited by Sabrina De Capitani di Vimercati, Chris Mitchell. by
- Capitani di Vimercati, Sabrina De [editor.]
- Mitchell, Chris [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7868
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3738.
|
Information Technology in Bio- and Medical Informatics [electronic resource] : 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings / edited by Miroslav Bursa, Sami Khuri, M. Elena Renda. by
- Bursa, Miroslav [editor.]
- Khuri, Sami [editor.]
- Renda, M. Elena [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8060
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3739.
|
Information Search, Integration and Personalization [electronic resource] : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers / edited by Yuzuru Tanaka, Nicolas Spyratos, Tetsuya Yoshida, Carlo Meghini. by
- Tanaka, Yuzuru [editor.]
- Spyratos, Nicolas [editor.]
- Yoshida, Tetsuya [editor.]
- Meghini, Carlo [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 146
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3740.
|
Networked Systems [electronic resource] : First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers / edited by Vincent Gramoli, Rachid Guerraoui. by
- Gramoli, Vincent [editor.]
- Guerraoui, Rachid [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7853
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|