Results
|
|
101.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by
- Jürjens, Jan [editor.]
- Livshits, Benjamin [editor.]
- Scandariato, Riccardo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7781
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.
|
|
|
102.
|
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by
- Chan, T-H. Hubert [editor.]
- Lau, Lap Chi [editor.]
- Trevisan, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7876
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.
|
|
|
103.
|
|
|
|
104.
|
|
|
|
105.
|
Practice-Driven Research on Enterprise Transformation [electronic resource] : 6th Working Conference, PRET 2013, Utrecht, The Netherlands, June 6, 2013. Proceedings / edited by Frank Harmsen, Henderik A. Proper. by
- Harmsen, Frank [editor.]
- Proper, Henderik A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 151
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.
|
|
|
106.
|
|
|
|
107.
|
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by
- Frey, Davide [editor.]
- Raynal, Michel [editor.]
- Sarkar, Saswati [editor.]
- Shyamasundar, Rudrapatna K [editor.]
- Sinha, Prasun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7730
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.
|
|
|
108.
|
|
|
|
109.
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
- Blazy, Sandrine [editor.]
- Paulin-Mohring, Christine [editor.]
- Pichardie, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.
|
|
|
110.
|
|
|
|
111.
|
|
|
|
112.
|
Machine Learning in Medical Imaging [electronic resource] : 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Guorong Wu, Daoqiang Zhang, Dinggang Shen, Pingkun Yan, Kenji Suzuki, Fei Wang. by
- Wu, Guorong [editor.]
- Zhang, Daoqiang [editor.]
- Shen, Dinggang [editor.]
- Yan, Pingkun [editor.]
- Suzuki, Kenji [editor.]
- Wang, Fei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8184
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
113.
|
|
|
|
114.
|
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron. by
- Selamat, Ali [editor.]
- Nguyen, Ngoc Thanh [editor.]
- Haron, Habibollah [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7803
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.
|
|
|
115.
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, David Megías. by
- Torra, Vicenç [editor.]
- Narukawa, Yasuo [editor.]
- Navarro-Arribas, Guillermo [editor.]
- Megías, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8234
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.
|
|
|
116.
|
String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat. by
- Kurland, Oren [editor.]
- Lewenstein, Moshe [editor.]
- Porat, Ely [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8214
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
117.
|
|
|
|
118.
|
Business Process Management [electronic resource] : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings / edited by Florian Daniel, Jianmin Wang, Barbara Weber. by
- Daniel, Florian [editor.]
- Wang, Jianmin [editor.]
- Weber, Barbara [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8094
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.
|
|
|
119.
|
Bioinformatics Research and Applications [electronic resource] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings / edited by Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz. by
- Cai, Zhipeng [editor.]
- Eulenstein, Oliver [editor.]
- Janies, Daniel [editor.]
- Schwartz, Daniel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7875
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.
|
|
|
120.
|
Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers / edited by Donghong Ji, Guozheng Xiao. by
- Ji, Donghong [editor.]
- Xiao, Guozheng [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7717
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.
|