Aramanızda 9 sonuç bulundu.

Sonuçlar
	1.	Google Jackets'tan alınan resim OpenLibrary'den resim	Context : nature, impact, and role : 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005 ; proceedings / Fabio Crestani, Ian Ruthven (eds.). by International Conference on Conceptions of Library and Information Science (5th : 2005 : Glasgow, UK) Crestani Fabio Ruthven Ian, 1968 Seri kaydı: Lecture notes in computer science ; 3507 Materyal türü: Makale; Biçim: baskı ; Edebi biçim: Roman dışı Yayın ayrıntıları:Berlin : Springer, c2005 Kullanılabilirlik: Ödünç verilebilen materyaller: NEU Grand Library (1)Yer numarası:Z672.5 .I5616 2005. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	2.	Google Jackets'tan alınan resim OpenLibrary'den resim	High performance computing and communications : third international conference, HPCC 2007, Houston, USA, September 26-28, 2007 ; proceedings / Ronald Perrott ... [et al.] (eds.). by HPCC 2007 (2007 Perrott Ronald H, 1942 Seri kaydı: Lecture notes in computer science ; 4782. \| LNCS sublibrary. Theoretical computer science and general issues. Materyal türü: Metin; Biçim: baskı ; Edebi biçim: Roman dışı Dil: İngilizce Yayın ayrıntıları:Berlin ; New York : Springer, 2007 Diğer başlık: HPCC 2007. Kullanılabilirlik: Ödünç verilebilen materyaller: NEU Grand Library (1)Yer numarası:QA76.88 .H655 2007. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	3.	Google Jackets'tan alınan resim OpenLibrary'den resim	Knowledge-Based Intelligent Information and Engineering System /. Seri kaydı: Lecture notes in computer science Materyal türü: Metin; Edebi biçim: Roman dışı Yayın ayrıntıları: Springer Berlin / Heidelberg, 2003 Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (1)Yer numarası:TK7801 .P35 2003 v.2. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	4.	Google Jackets'tan alınan resim OpenLibrary'den resim	Knowledge-based intelligent information and engineering systems : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003 : proceedings / Vasile Palade, Bob Howlett, Lakhmi Jain, eds. by International Conference on Knowledge-Based Intelligent Information and Engineering Systems 2003 Palade, Vasile, 1964- Howlett, Robert J, 1954- Jain, L. C Seri kaydı: Lecture notes in computer science ; 2773. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Materyal türü: Metin; Biçim: baskı ; Edebi biçim: Roman dışı Yayın ayrıntıları:Berlin ; New York : Springer-Verlag, c2003 Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (1)Yer numarası:TK7801 .I5155 2003 v.1. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	5.	Google Jackets'tan alınan resim OpenLibrary'den resim	Computer and information sciences : ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004, proceedings / Cevdet Aykanat, Tugrul Dayar, Ibrahim Korpeoglu (eds.). by International Symposium on Computer and Information Sciences 2004 Aykanat, Cevdet Dayar, Tugrul Y♯łlmaz, Yasin Seri kaydı: Lecture Notes in Computer Science ; 3280. Materyal türü: Metin; Biçim: baskı ; Edebi biçim: Roman dışı Yayın ayrıntıları:Berlin; New York: Springer, 2004 Diğer başlık: ISCIS 2004. Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (1)Yer numarası:QA75.5 .I58 2004. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	6.	Google Jackets'tan alınan resim OpenLibrary'den resim	Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures / Marco Bernardo, Valérie Issarny (Eds.). by International School on Formal Methods for the Design of Computer, Communication and Software Systems 2011 Bernardo, Marco Issarny, Valérie Seri kaydı: Lecture notes in computer science ; 6659 Materyal türü: Metin; Biçim: baskı ; Edebi biçim: Roman dışı Dil: İngilizce Yayın ayrıntıları:London : Springer, 2011 Diğer başlık: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures Eleventh International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (1)Yer numarası:QA76.758 .F67 2011. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	7.	Google Jackets'tan alınan resim OpenLibrary'den resim	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 / Klaus Havelund [and others] (eds.). by FATES/RV 2006 (2006 Havelund, Klaus Seri kaydı: Lecture notes in computer science ; 4262. Materyal türü: Metin; Edebi biçim: Roman dışı Yayın ayrıntıları:Berlin : Springer, 2006 Diğer başlık: FATES 2006 RV 2006 FATES/RV 2006 Çevrimiçi kaynaklar: Çevrimiçi erişim için tıklayınız Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (1)Yer numarası:QA76.9.F67 F524 2006. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	8.	Google Jackets'tan alınan resim OpenLibrary'den resim	Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Tasiran (eds.). by RV (Workshop) 2007 Sokolsky, Oleg Tasiran, Serdar Seri kaydı: Lecture notes in computer science ; 4839. \| LNCS sublibrary. Programming and software engineering. Materyal türü: Metin; Biçim: baskı ; Edebi biçim: Roman dışı Yayın ayrıntıları:Berlin ; New York : Springer, c2007 Diğer başlık: RV 2007 Çevrimiçi kaynaklar: Çevrimiçi erişim için tıklayınız Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (1)Yer numarası:QA76.758 S65 2007. Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)
	9.	Google Jackets'tan alınan resim OpenLibrary'den resim	Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (eds.). by CAV (Conference) 2008 Gupta, Aarti Malik, Sharad Seri kaydı: Lecture notes in computer science ; 5123. \| LNCS sublibrary. Theoretical computer science and general issues. Materyal türü: Metin; Edebi biçim: Roman dışı Yayın ayrıntıları:Berlin ; New York : Springer, ©2008 Diğer başlık: CAV 2008 Çevrimiçi kaynaklar: Çevrimiçi erişim için tıklayınız Kullanılabilirlik: Ödünç verilebilen materyaller: Yeniboğaziçi Grand Library (2)Yer numarası:QA76.76.V47 .C38 2008, ... Open Library'de bulundu: Ayırt Listelere kaydedin Sepete ekle (Kaldır)

Aradığınız şeyi bulamıyor musunuz?

Oluşturun satın alma teklifi