Loại tài liệu:    Chỉ tìm trong: 
141-150 trong số 157 kết quả
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
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:  670.42
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European ...
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
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:  005.1
 
Python text processing with NLTK 2.0 Cookbook : over 80 practical recipes for using Python's NLTK suite of libraries to ...
Tác giả: Jacob Perkins
Xuất bản: Birmingham Mumbai: PACKT Publishing, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 
Raspberry Pi for Secret Agents
Tác giả: Stefan Sjogelid
Xuất bản: : Packt Publishing, 2013
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.16
 
Python testing cookbook : over 70 simple but incredibly effective recipes for taking control of automated testing using ...
Tác giả: Greg Lee Turnquist
Xuất bản: Birmingham UK: Packt PubOpen Source, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.13/3
 
Python 3 object-oriented programming : unleash the power of Python 3 objects
Tác giả: Dusty Phillips
Xuất bản: : Packt Publishing, 2015
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.117
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
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
 
Complete Java 2 Certification Study Guide
Tác giả: Phillip Heller, Simon Roberts
Xuất bản: : John Wiley Sons, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Reiner Hähnle, Wil van der Aalst
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Jean Goubault-Larrecq, Barbara König
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục