Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(3961)
Gervasi, Osvaldo. editor.
(44)
Taniar, David. editor.
(43)
Apduhan, Bernady O. editor.
(42)
Dongarra, Jack. editor.
(29)
Dil
Yayın Yılı
-
Konu
Software engineering.
(3808)
Computer science.
(2998)
Computer Communication Networks.
(1167)
Artificial intelligence.
(1021)
Information systems.
(825)
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ç
4200 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
61. 
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Yazar 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11940197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Yazar 
Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-49823-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Yazar 
Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11961536
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings için kapak resmi
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Yazar 
Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11955757
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 için kapak resmi
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Yazar 
Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69336-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
AntiPatterns : identification, refactoring, and management için kapak resmi
AntiPatterns : identification, refactoring, and management
Yazar 
Laplante, Phillip A., author. Neill, Colin J.
Yer Numarası 
QA76.76 .D47 L385 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Numerical Modelling of Construction Processes in Geotechnical Engineering for Urban Environment : proceedings of the International Conference on Numerical Simulation of Construction Processes in Geotechnical Engineering for Urban Environment, 23-24 March 2006, Bochum, Germany için kapak resmi
Numerical Modelling of Construction Processes in Geotechnical Engineering for Urban Environment : proceedings of the International Conference on Numerical Simulation of Construction Processes in Geotechnical Engineering for Urban Environment, 23-24 March 2006, Bochum, Germany
Yazar 
International Conference on Numerical Simulation of Construction Processes in Geotechnical Engineering for Urban Environment (2006 : Bochum, Germany) Triantafyllidis, Theodoros, editor.
Yer Numarası 
TA703.5 .I58 2006 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780367803421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Accelerating process improvement using agile techniques için kapak resmi
Accelerating process improvement using agile techniques
Yazar 
Jacobs, Deb., author.
Yer Numarası 
QA76.758 .J33 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
UML for SOC Design için kapak resmi
UML for SOC Design
Yazar 
Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135980
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Reverse Engineering of Object Oriented Code için kapak resmi
Reverse Engineering of Object Oriented Code
Yazar 
Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b102522
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Security in E-Learning için kapak resmi
Security in E-Learning
Yazar 
Weippl, Edgar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136702
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
System Level Design of Reconfigurable Systems-on-Chip için kapak resmi
System Level Design of Reconfigurable Systems-on-Chip
Yazar 
Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136832
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç