Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 76 kết quả
Learn GameSalad for iOS : game development for iPhone, iPad, and HTML5 [electronic resource]
Tác giả: David Guerineau
Xuất bản: Sl New York: Apress Distributed to the book trade worldwide by Springer ScienceBusiness Media, 2012
Bộ sưu tập: Kiến trúc, nghệ thuật, hội họa
eBook (pdf)
ddc:  794.8
 
Pro Core Data for iOS : data access and persistence engine for iPhone, iPad, and iPod touch
Tác giả: Michael Privat, Rob Warner
Xuất bản: Berkeley Calif New York: Apress Distributed to the book trade worldwide by Springer ScienceBusiness Media, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.26
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.24
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
AdvancedED ActionScript 3.0 [electronic resource] : design patterns
Tác giả: Ben Smith
Xuất bản: Sl New York: Friends of ED an Apress company Distributed to the book trade worldwide by Springer Science Business Media, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.696
 
Practical Android projects
Tác giả: Lucas Jordan, Pieter Greyling
Xuất bản: New York: Apress Distributed by Springer ScienceBusiness Media, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.167
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
A Primer on Scientific Programming with Python elektronisk ressurs
Tác giả: Hans Petter Langtangen
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg, 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 
Visual Studio LightSwitch 2012 elektronisk ressurs
Tác giả: Tim Leung
Xuất bản: New York: Apress Distributed to the book trade worldwide by Springer ScienceBusiness Media, 2013
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.118
 

Truy cập nhanh danh mục