Results
|
|
61.
|
Product-Focused Software Process Improvement [electronic resource] : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings / edited by Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre. by
- Heidrich, Jens [editor.]
- Oivo, Markku [editor.]
- Jedlitschka, Andreas [editor.]
- Baldassarre, Maria Teresa [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7983
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.
|
|
|
62.
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
- Carette, Jacques [editor.]
- Aspinall, David [editor.]
- Lange, Christoph [editor.]
- Sojka, Petr [editor.]
- Windsteiger, Wolfgang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
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.
|
|
|
63.
|
Human Aspects of Information Security, Privacy, and Trust [electronic resource] : First International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Louis Marinos, Ioannis Askoxylakis. by
- Marinos, Louis [editor.]
- Askoxylakis, Ioannis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8030
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.
|
|
|
64.
|
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.
|
|
|
65.
|
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.
|
|
|
66.
|
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.
|
|
|
67.
|
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.
|
|
|
68.
|
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.
|
|
|
69.
|
|
|
|
70.
|
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.
|
|
|
71.
|
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.
|
|
|
72.
|
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.
|
|
|
73.
|
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.
|
|
|
74.
|
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.
|
|
|
75.
|
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio. by
- Joshi, Kaustubh [editor.]
- Siegle, Markus [editor.]
- Stoelinga, Mariëlle [editor.]
- D’Argenio, Pedro R [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8054
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.
|
|
|
76.
|
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)
Series: Lecture Notes in Computer Science ; 8055
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.
|
|
|
77.
|
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)
Series: Lecture Notes in Computer Science ; 7854
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.
|
|
|
78.
|
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)
Series: Lecture Notes in Computer Science ; 8087
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.
|
|
|
79.
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings / edited by Anders Heyden, Fredrik Kahl, Carl Olsson, Magnus Oskarsson, Xue-Cheng Tai. by
- Heyden, Anders [editor.]
- Kahl, Fredrik [editor.]
- Olsson, Carl [editor.]
- Oskarsson, Magnus [editor.]
- Tai, Xue-Cheng [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8081
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.
|
|
|
80.
|
|
