Results
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
Graph Drawing [electronic resource] : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / edited by Stephen Wismath, Alexander Wolff. by
- Wismath, Stephen [editor.]
- Wolff, Alexander [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8242
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.
|
|
|
184.
|
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa. by
- Goemans, Michel [editor.]
- Correa, José [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7801
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.
|
Sustained Simulation Performance 2013 [electronic resource] : Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013 / edited by Michael M. Resch, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Yevgeniya Kovalenko. by
- Resch, Michael M [editor.]
- Bez, Wolfgang [editor.]
- Focht, Erich [editor.]
- Kobayashi, Hiroaki [editor.]
- Kovalenko, Yevgeniya [editor.]
- SpringerLink (Online service)
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.
|
|
|
187.
|
|
|
|
188.
|
|
|
|
189.
|
Building Sustainable Information Systems [electronic resource] : Proceedings of the 2012 International Conference on Information Systems Development / edited by Henry Linger, Julie Fisher, Andrew Barnden, Chris Barry, Michael Lang, Christoph Schneider. by
- Linger, Henry [editor.]
- Fisher, Julie [editor.]
- Barnden, Andrew [editor.]
- Barry, Chris [editor.]
- Lang, Michael [editor.]
- Schneider, Christoph [editor.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013
Availability: No items available.
|
|
|
190.
|
|
|
|
191.
|
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.
|
|
|
192.
|
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.
|
|
|
193.
|
|
|
|
194.
|
|
|
|
195.
|
Logic : a brief course / Daniele Mundici, by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer. c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 MUL, ...
|
|
|
196.
|
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.
|
|
|
197.
|
|
|
|
198.
|
|
|
|
199.
|
|
|
|
200.
|
|