Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(543)
Software engineering.
(451)
Artificial intelligence.
(332)
Electronic books.
(244)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
3449 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
2653. 
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings için kapak resmi
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Yazar 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2654. 
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04915-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2655. 
Sams teach yourself Java in 24 hours için kapak resmi
Sams teach yourself Java in 24 hours
Yazar 
Cadenhead, Rogers, author.
Yer Numarası 
QA76.73.J38 C335 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2656. 
Using R for introductory statistics için kapak resmi
Using R for introductory statistics
Yazar 
Verzani, John.
Yer Numarası 
QA276.4 V47 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2657. 
Spreadsheet implementation technology : basics and extensions için kapak resmi
Spreadsheet implementation technology : basics and extensions
Yazar 
Sestoft, Peter, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Yer Numarası 
ONLINE(364973.1)
Elektronik Erişim 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940404
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2658. 
Developer's dilemma : the secret world of videogame creators için kapak resmi
Developer's dilemma : the secret world of videogame creators
Yazar 
O'Donnell, Casey, 1979-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Yer Numarası 
ONLINE(364983.1)
Elektronik Erişim 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981845
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2659. 
Using advanced MPI : modern features of the Message-Passing-Interface için kapak resmi
Using advanced MPI : modern features of the Message-Passing-Interface
Yazar 
Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Yer Numarası 
ONLINE(364986.1)
Elektronik Erişim 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2660. 
Concrete Semantics With Isabelle/HOL için kapak resmi
Concrete Semantics With Isabelle/HOL
Yazar 
Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10542-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2661. 
JRuby Rails Web Application Development için kapak resmi
JRuby Rails Web Application Development
Yazar 
Vohra, Deepak. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-03934-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2662. 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2663. 
Introduction to Software Quality için kapak resmi
Introduction to Software Quality
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2664. 
Numerical Computations with GPUs için kapak resmi
Numerical Computations with GPUs
Yazar 
Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06548-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets