Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Sergei Artemov · Anil Nerode

Haz 2007 · Springer

E-kitap

516

Sayfa

Puanlar ve yorumlar doğrulanmaz Daha Fazla Bilgi

Bu e-kitap hakkında

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

Bu e-kitaba puan verin

Düşüncelerinizi bizimle paylaşın.

Okuma bilgileri

Akıllı telefonlar ve tabletler

Android ve iPad/iPhone için Google Play Kitaplar uygulamasını yükleyin. Bu uygulama, hesabınızla otomatik olarak senkronize olur ve nerede olursanız olun çevrimiçi veya çevrimdışı olarak okumanıza olanak sağlar.

Dizüstü bilgisayarlar ve masaüstü bilgisayarlar

Bilgisayarınızın web tarayıcısını kullanarak Google Play'de satın alınan sesli kitapları dinleyebilirsiniz.

e-Okuyucular ve diğer cihazlar

Kobo eReader gibi e-mürekkep cihazlarında okumak için dosyayı indirip cihazınıza aktarmanız gerekir. Dosyaları desteklenen e-kitap okuyuculara aktarmak için lütfen ayrıntılı Yardım Merkezi talimatlarını uygulayın.

Yasa dışı içeriği bildirme