Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(97)
Wiley InterScience (Online service)
(10)
IEEE Xplore (Online Service), distributor.
(5)
MIT Press, publisher.
(5)
Ahearn, Luke.
(3)
Dil
English
(338)
Yayın Yılı
-
Konu
Computer programming.
(105)
Computer games -- Programming.
(49)
Software engineering.
(37)
Programming languages (Electronic computers).
(36)
Object-oriented programming (Computer science)
(34)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
346 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Geometric programming for computer aided design için kapak resmi
Geometric programming for computer aided design
Yazar 
Paoluzzi, Alberto. Pascucci, Valerio.
Yer Numarası 
ONLINE
Elektronik Erişim 
e-book
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Computer programming in quantitative biology için kapak resmi
Computer programming in quantitative biology
Yazar 
Davies, R. G. (Richard Gareth), 1920-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780122062506
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computer programming and formal systems için kapak resmi
Computer programming and formal systems
Yazar 
Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computer programming and formal systems için kapak resmi
Computer programming and formal systems
Yazar 
Braffort, P. (Paul) Hirschberg, D. (David)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Concepts, techniques, and models of computer programming için kapak resmi
Concepts, techniques, and models of computer programming
Yazar 
Van-Roy, Peter. Haridi, Seif.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures için kapak resmi
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
XX(519008.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computer technology and computer programming new research and strategies için kapak resmi
Computer technology and computer programming new research and strategies
Yazar 
Antonakos, James L.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Automatic Quantum Computer Programming A Genetic Programming Approach için kapak resmi
Automatic Quantum Computer Programming A Genetic Programming Approach
Yazar 
Spector, Lee. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention için kapak resmi
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention
Yazar 
Trappl, Robert. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4390-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Mathematical and Computer Programming Techniques for Computer Graphics için kapak resmi
Mathematical and Computer Programming Techniques for Computer Graphics
Yazar 
Comninos, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Intel Xeon Phi processor high performance programming için kapak resmi
Intel Xeon Phi processor high performance programming
Yazar 
Jeffers, Jim (Computer engineer), author. Reinders, James, author. Sodani, Avinash, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect https://www.sciencedirect.com/science/book/9780128091944
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç