Results
|
|
301.
|
|
|
|
302.
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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.
|
|
|
303.
|
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
- Ruhe, Günther [editor.]
- Zhang, Yuanyuan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
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.
|
|
|
304.
|
Hybrid Learning and Continuing Education [electronic resource] : 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings / edited by Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok. by
- Cheung, Simon K. S [editor.]
- Fong, Joseph [editor.]
- Fong, Wilfred [editor.]
- Wang, Fu Lee [editor.]
- Kwok, Lam For [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8038
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.
|
|
|
305.
|
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.
|
|
|
306.
|
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott. by
- Lepora, Nathan F [editor.]
- Mura, Anna [editor.]
- Krapp, Holger G [editor.]
- Verschure, Paul F. M. J [editor.]
- Prescott, Tony J [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8064
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.
|
|
|
307.
|
Nordic Contributions in IS Research [electronic resource] : 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings / edited by Margunn Aanestad, Tone Bratteteig. by
- Aanestad, Margunn [editor.]
- Bratteteig, Tone [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 156
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.
|
|
|
308.
|
Smart Health [electronic resource] : International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings / edited by Daniel Zeng, Christopher C. Yang, Vincent S. Tseng, Chunxiao Xing, Hsinchun Chen, Fei-Yue Wang, Xiaolong Zheng. by
- Zeng, Daniel [editor.]
- Yang, Christopher C [editor.]
- Tseng, Vincent S [editor.]
- Xing, Chunxiao [editor.]
- Chen, Hsinchun [editor.]
- Wang, Fei-Yue [editor.]
- Zheng, Xiaolong [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8040
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.
|
|
|
309.
|
Agreement Technologies [electronic resource] : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / edited by Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George Vouros. by
- Chesñevar, Carlos Iván [editor.]
- Onaindia, Eva [editor.]
- Ossowski, Sascha [editor.]
- Vouros, George [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8068
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.
|
|
|
310.
|
Digital Forensics and Cyber Crime [electronic resource] : 4th International Conference, ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers / edited by Marcus Rogers, Kathryn C. Seigfried-Spellar. by
- Rogers, Marcus [editor.]
- Seigfried-Spellar, Kathryn C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 114
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.
|
|
|
311.
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
- Lourenço, João M [editor.]
- Farchi, Eitan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
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.
|
|
|
312.
|
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.
|
|
|
313.
|
|
|
|
314.
|
Euro-Par 2013 Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey. by
- Wolf, Felix [editor.]
- Mohr, Bernd [editor.]
- Mey, Dieter an [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8097
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.
|
|
|
315.
|
Information Technologies for Performing Arts, Media Access, and Entertainment [electronic resource] : Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers / edited by Paolo Nesi, Raffaella Santucci. by
- Nesi, Paolo [editor.]
- Santucci, Raffaella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7990
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.
|
|
|
316.
|
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.
|
|
|
317.
|
Digital Forensics and Watermaking [electronic resource] : 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers / edited by Yun Q. Shi, Hyoung-Joong Kim, Fernando Pérez-González. by
- Shi, Yun Q [editor.]
- Kim, Hyoung-Joong [editor.]
- Pérez-González, Fernando [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7809
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.
|
|
|
318.
|
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.
|
|
|
319.
|
Technology-Enabled Innovation for Democracy, Government and Governance [electronic resource] : Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings / edited by Andrea Kő, Christine Leitner, Herbert Leitold, Alexander Prosser. by
- Kő, Andrea [editor.]
- Leitner, Christine [editor.]
- Leitold, Herbert [editor.]
- Prosser, Alexander [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8061
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.
|
|
|
320.
|
Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter. by
- Gąsieniec, Leszek [editor.]
- Wolter, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8070
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.
|
