Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings için kapak resmi
Başlık:
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Yazar:
Beyersdorff, Olaf. editor.
ISBN:
9783319941448
Basım Bilgisi:
1st ed. 2018.
Fiziksel Tanımlama:
XIX, 452 p. 73 illus. online resource.
Seri:
Theoretical Computer Science and General Issues ; 10929
Konu Terimleri:
Information theory.

Artificial intelligence.

Software engineering.

Computer science.

Computational complexity.

Data structures (Computer scienc.
Yazar Ek Girişi:
Beyersdorff, Olaf.

Wintersteiger, Christoph M.
Tüzel Kişi Ek Girişi:
SpringerLink (Online service)
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-94144-8
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
 E-Kitap 401714-1001 ONLINE
Arıyor...

On Order