Results
|
|
461.
|
|
|
|
462.
|
Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by
- Bonifaci, Vincenzo [editor.]
- Demetrescu, Camil [editor.]
- Marchetti-Spaccamela, Alberto [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7933
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.
|
|
|
463.
|
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Rocco De Nicola, Christine Julien. by
- Nicola, Rocco De [editor.]
- Julien, Christine [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7890
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.
|
|
|
464.
|
|
|
|
465.
|
|
|
|
466.
|
|
|
|
467.
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
- Qadeer, Shaz [editor.]
- Tasiran, Serdar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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.
|
|
|
468.
|
Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by
- Nishizaki, Shin-ya [editor.]
- Numao, Masayuki [editor.]
- Caro, Jaime [editor.]
- Suarez, Merlin Teodosia [editor.]
- SpringerLink (Online service)
Series: Proceedings in Information and Communications Technology ; 7
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.
|
|
|
469.
|
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
- Giachino, Elena [editor.]
- Hähnle, Reiner [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
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.
|
|
|
470.
|
|
|
|
471.
|
|
|
|
472.
|
|
|
|
473.
|
|
|
|
474.
|
|
|
|
475.
|
C# in depth / Jon Skeet. by
Edition: Third editions.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New york : Manning, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 SKC, ...
|
|
|
476.
|
Windows 8 and Windows Phone 8 game development / Adam Dawes. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: [New York, NY] : New York : Apress ; Distributed to the book trade worldwide by Springer Science + Business Media, 2010
Other title: - Windows Phone Seven game development
Availability: Items available for loan: Central Library, SUST (3)Call number: 794.81526 DAW, ...
|
|
|
477.
|
|
|
|
478.
|
|
|
|
479.
|
|
|
|
480.
|
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by
- Tannen, Val [editor.]
- Wong, Limsoon [editor.]
- Libkin, Leonid [editor.]
- Fan, Wenfei [editor.]
- Tan, Wang-Chiew [editor.]
- Fourman, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8000
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.
|