Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(64)
Merayo, Mercedes G. editor.
(3)
Biere, Armin. editor.
(2)
Bin, Eyal. editor.
(2)
Grieskamp, Wolfgang. editor.
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(39)
Logic design.
(28)
Artificial intelligence.
(14)
Information Systems.
(13)
Computer software.
(11)
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ç
65 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Yazar 
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34188-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Yazar 
Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19237-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Yazar 
Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21581-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings için kapak resmi
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Yazar 
Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24580-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Yazar 
Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19583-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Yazar 
Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14186-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures için kapak resmi
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Yazar 
Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14335-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings için kapak resmi
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Yazar 
Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16573-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Materials with Complex Behaviour Modelling, Simulation, Testing, and Applications için kapak resmi
Materials with Complex Behaviour Modelling, Simulation, Testing, and Applications
Yazar 
Öchsner, Andreas. editor. Silva, Lucas Filipe Martins. editor. Altenbach, Holm. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12667-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings için kapak resmi
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
Yazar 
Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15585-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Primality Testing and Integer Factorization in Public-Key Cryptography için kapak resmi
Primality Testing and Integer Factorization in Public-Key Cryptography
Yazar 
Yan, Song Y. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-77268-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings için kapak resmi
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Yazar 
Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05031-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç