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

Sergei Artemov · Anil Nerode

jun. 2007 · Springer

E-knjiga

516

Strani

Ocene in mnenja niso preverjeni. Več o tem

O tej e-knjigi

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.

Ocenite to e-knjigo

Povejte nam svoje mnenje.

Informacije o branju

Pametni telefoni in tablični računalniki

Namestite aplikacijo Knjige Google Play za Android in iPad/iPhone. Samodejno se sinhronizira z računom in kjer koli omogoča branje s povezavo ali brez nje.

Prenosni in namizni računalniki

Poslušate lahko zvočne knjige, ki ste jih kupili v Googlu Play v brskalniku računalnika.

Bralniki e-knjig in druge naprave

Če želite brati v napravah, ki imajo zaslone z e-črnilom, kot so e-bralniki Kobo, morate prenesti datoteko in jo kopirati v napravo. Podrobna navodila za prenos datotek v podprte bralnike e-knjig najdete v centru za pomoč.

Prijava nezakonite vsebine