Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(153)
Arns, Laura. editor.
(2)
Bebis, George. editor.
(2)
Blum, Christian. editor.
(2)
Boyle, Richard. editor.
(2)
Dil
Konu
Computer software.
(151)
Computer science.
(149)
Computational complexity.
(52)
Computer Communication Networks.
(44)
Artificial intelligence.
(41)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
180 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Interpreting the CMMI a process improvement approach için kapak resmi
Interpreting the CMMI a process improvement approach
Yazar 
Kulpa, Margaret K. Johnson, Kent A.
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:
14. 
Domain-specific modeling enabling full code generation için kapak resmi
Domain-specific modeling enabling full code generation
Yazar 
Kelly, Steven. Tolvanen, Juha-Pekka.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html
John Wiley http://dx.doi.org/10.1002/9780470249260
http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Modeling and verification of real-time systems formalisms and software tools için kapak resmi
Modeling and verification of real-time systems formalisms and software tools
Yazar 
Merz, Stephan. Navet, Nicolas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Verification of systems and circuits using LOTOS, Petri Nets, and CCS için kapak resmi
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yazar 
Yoeli, Michael, 1917- Kol, Rakefet.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Running an agile software development project için kapak resmi
Running an agile software development project
Yazar 
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Click here to view book
Image http://images.contentreserve.com/ImageType-100/0128-1/{89677831-D58E-45B6-BB85-1725E2782B73}Img100.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=29682
John Wiley http://dx.doi.org/10.1002/9780470385883
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Nanocomputers and swarm intelligence için kapak resmi
Nanocomputers and swarm intelligence
Yazar 
Waldner, Jean-Baptiste.
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=588835
John Wiley http://dx.doi.org/10.1002/9780470610978
http://onlinelibrary.wiley.com/book/10.1002/9780470610978
Knovel http://app.knovel.com/web/toc.v/cid:kpNSI00001
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045065-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Probability and statistical inference için kapak resmi
Probability and statistical inference
Yazar 
Bartoszyński, Robert. Niewiadomska-Bugaj, Magdalena.
Yer Numarası 
ONLINE(318903.1)
Elektronik Erişim 
ebrary http://site.ebrary.com/id/10225361
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=219782
MyiLibrary http://www.myilibrary.com?id=120382
John Wiley http://dx.doi.org/10.1002/9780470191590
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Tutorial on hardware and software reliability, maintainability, and availability için kapak resmi
Tutorial on hardware and software reliability, maintainability, and availability
Yazar 
Schneidewind, Norman.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769540
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769540
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Managing global development risk için kapak resmi
Managing global development risk
Yazar 
Hussey, James M. Hall, Steven E.
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:
22. 
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity için kapak resmi
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Yazar 
Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Practical Problems in VLSI Physical Design Automation için kapak resmi
Practical Problems in VLSI Physical Design Automation
Yazar 
Lim, Sung Kyu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications için kapak resmi
Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications
Yazar 
Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6945-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç