Results
|
|
521.
|
Beginning iOS games development / Patrick Alessi, by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Apress, c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 794.81536 ALB, ...
|
|
|
522.
|
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
- Biere, Armin [editor.]
- Nahir, Amir [editor.]
- Vos, Tanja [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
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.
|
|
|
523.
|
|
|
|
524.
|
|
|
|
525.
|
Beginning Arduino [electronic resource] / by Michael McRoberts. by
- McRoberts, Michael [author.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.
|
|
|
526.
|
Digital Product and Process Development Systems [electronic resource] : IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings / edited by George L. Kovács, Detlef Kochan. by
- Kovács, George L [editor.]
- Kochan, Detlef [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 411
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.
|
|
|
527.
|
|
|
|
528.
|
|
|
|
529.
|
|
|
|
530.
|
|
|
|
531.
|
|
|
|
532.
|
|
|
|
533.
|
|
|
|
534.
|
|
|
|
535.
|
|
|
|
536.
|
|
|
|
537.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
- Piterman, Nir [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
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.
|
|
|
538.
|
|
|
|
539.
|
|
|
|
540.
|
|