Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(71)
Wiley InterScience (Online service)
(13)
Constanda, Christian. editor.
(4)
Widlund, Olof. editor.
(4)
Dorst, Leo, 1958-
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(23)
Object-oriented methods (Computer science)
(22)
Mathematics.
(20)
Formal methods (Computer science)
(14)
Computer science -- Mathematics.
(13)
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ç
309 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
1. 
Dynamic logic için kapak resmi
Dynamic logic
Yazar 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Cafe an industrial-strength algebraic formal method için kapak resmi
Cafe an industrial-strength algebraic formal method
Yazar 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Handbook of discrete and combinatorial mathematics için kapak resmi
Handbook of discrete and combinatorial mathematics
Yazar 
Rosen, Kenneth H. Michaels, John G.
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:
4. 
Advances in object-oriented data modeling için kapak resmi
Advances in object-oriented data modeling
Yazar 
Papazoglou, M., 1953- Spaccapietra, S. Tari, Zahir.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267423
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Objektorientierte Modellierung in Planung und Konstruktion Abschlussbericht über das Forschungsprogramm 1991-1998 ; Forschungsbericht der DFG için kapak resmi
Objektorientierte Modellierung in Planung und Konstruktion Abschlussbericht über das Forschungsprogramm 1991-1998 ; Forschungsbericht der DFG
Yazar 
Deutsche Forschungsgemeinschaft. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9783527609277
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Object-oriented design for temporal GIS için kapak resmi
Object-oriented design for temporal GIS
Yazar 
Wachowicz, Monica.
Yer Numarası 
G70.212 .W33 1999
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Handbook of object technology için kapak resmi
Handbook of object technology
Yazar 
Zamir, Saba, 1959-
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. 
Computational materials science the simulation of materials microstructures and properties için kapak resmi
Computational materials science the simulation of materials microstructures and properties
Yazar 
Raabe, Dierk.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to see page images available via Wiley.
John Wiley http://dx.doi.org/10.1002/3527601945
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/40821147.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Control Engineering Solutions A practical approach için kapak resmi
Control Engineering Solutions A practical approach
Yazar 
Albertos, P., ed. Strietzel, R., ed. Mort, N., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCE054E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç