Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(49)
Lemos, Rogério. editor.
(4)
Brueckner, Sven A. editor.
(3)
Giese, Holger. editor.
(3)
O'Regan, Gerard. author.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(27)
Computer Communication Networks.
(21)
Artificial intelligence.
(20)
Computer networks .
(10)
Information storage and retrieval systems.
(10)
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ç
51 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
49. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Architectural Design Conception and Specification of Interactive Systems için kapak resmi
Architectural Design Conception and Specification of Interactive Systems
Yazar 
Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43298-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
The Definitive Guide to SUSE Linux Enterprise Server 12 için kapak resmi
The Definitive Guide to SUSE Linux Enterprise Server 12
Yazar 
van Vugt, Sander. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-6820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç