Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi

Başlık:

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Yazar:

Esparza, Javier. editor.

ISBN:

9783642120022

Fiziksel Tanımlama:

XVI, 468p. 102 illus. online resource.

Seri:

Lecture Notes in Computer Science, 6015

Seri Başlığı:

Lecture Notes in Computer Science, 0302-9743 ; 6015

Konu Terimleri:

Computer science.

Computer Communication Networks.

Software engineering.

Artificial intelligence.

Yazar Ek Girişi:

Majumdar, Rupak.

Tüzel Kişi Ek Girişi:

SpringerLink (Online service)

Elektronik Erişim:

http://dx.doi.org/10.1007/978-3-642-12002-2

Ayırtma:
Kopya:

Rafta:*

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	191857-2001	ONLINE	Arıyor... Unknown	Arıyor... Rafta

On Order