Results
|
|
4141.
|
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
- Dueck, Gerhard W [editor.]
- Miller, D. Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
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.
|
|
|
4142.
|
E-Voting and Identify [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings / edited by James Heather, Steve Schneider, Vanessa Teague. by
- Heather, James [editor.]
- Schneider, Steve [editor.]
- Teague, Vanessa [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7985
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.
|
|
|
4143.
|
Foundations of Augmented Cognition [electronic resource] : 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Dylan D. Schmorrow, Cali M. Fidopiastis. by
- Schmorrow, Dylan D [editor.]
- Fidopiastis, Cali M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8027
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.
|
|
|
4144.
|
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
- Binder, Walter [editor.]
- Bodden, Eric [editor.]
- Löwe, Welf [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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.
|
|
|
4145.
|
Internet of Things, Smart Spaces, and Next Generation Networking [electronic resource] : 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy. by
- Balandin, Sergey [editor.]
- Andreev, Sergey [editor.]
- Koucheryavy, Yevgeni [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8121
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.
|
|
|
4146.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
- Grossi, Davide [editor.]
- Roy, Olivier [editor.]
- Huang, Huaxin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
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.
|
|
|
4147.
|
|
|
|
4148.
|
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.
|
|
|
4149.
|
|
|
|
4150.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.
|
|
|
4151.
|
|
|
|
4152.
|
|
|
|
4153.
|
|
|
|
4154.
|
|
|
|
4155.
|
|
|
|
4156.
|
|
|
|
4157.
|
|
|
|
4158.
|
|
|
|
4159.
|
|
|
|
4160.
|
|