Results
|
|
181.
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher. by
- Kari, Jarkko [editor.]
- Kutrib, Martin [editor.]
- Malcher, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8155
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.
|
|
|
182.
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
- Bois, André Rauber Du [editor.]
- Trinder, Phil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.
|
|
|
183.
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura. by
- Iyoda, Juliano [editor.]
- Moura, Leonardo de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8195
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.
|
|
|
184.
|
Abdominal Imaging. Computation and Clinical Applications [electronic resource] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier. by
- Yoshida, Hiroyuki [editor.]
- Warfield, Simon [editor.]
- Vannier, Michael W [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8198
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.
|
|
|
185.
|
|
|
|
186.
|
Provable Security [electronic resource] : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings / edited by Willy Susilo, Reza Reyhanitabar. by
- Susilo, Willy [editor.]
- Reyhanitabar, Reza [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8209
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.
|
|
|
187.
|
High Performance Computing [electronic resource] : 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers / edited by Yunquan Zhang, Kenli Li, Zheng Xiao. by
- Zhang, Yunquan [editor.]
- Li, Kenli [editor.]
- Xiao, Zheng [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 207
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.
|
|
|
188.
|
Security Protocols XXI [electronic resource] : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson, Joseph Bonneau. by
- Christianson, Bruce [editor.]
- Malcolm, James [editor.]
- Stajano, Frank [editor.]
- Anderson, Jonathan [editor.]
- Bonneau, Joseph [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8263
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.
|
|
|
189.
|
|
|
|
190.
|
Algorithms and Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam. by
- Cai, Leizhen [editor.]
- Cheng, Siu-Wing [editor.]
- Lam, Tak-Wah [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8283
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.
|
|
|
191.
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by
- Cossentino, Massimo [editor.]
- Fallah Seghrouchni, Amal El [editor.]
- Winikoff, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8245
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.
|
|
|
192.
|
|
|
|
193.
|
|
|
|
194.
|
|
|
|
195.
|
|
|
|
196.
|
|
|
|
197.
|
|
|
|
198.
|
|
|
|
199.
|
|
|
|
200.
|
|
