adicionar à lista de desejos
Elements Of Finite Model Theory eBook
idioma: inglês
Editor:
Springer Berlin Heidelberg, março de 2013 ‧
ver detalhes do produto
93,28€
20%
DE DESCONTO IMEDIATO +
5%
CARTÃO
YzJ4SFEyVTFNMEpaWTB0emRrTTRTMnBqVldoYU5uRlJkbGhTZEd0dWJEbHFXRU1yZVVjdlFrSlNWMHRtUkZCdmEyaHlaVGRYVERFMGREaGxOMUU1WkdsQllteHNkakozY0RRMFZraHJRbWhyZW1wUGFYTXZZVEpxU201U1JGcDZhMDFzV2l0cEwyRkVZVmxDYUVSUVdrTmxSR2xDVmpCNWNXSkJiRTFPWkhCcVZrVlhZakZXU1V0NU4ydENjV3hTTmpGd2FEZGxUbmMzT0UwNFQyVmFLekI2ZG14RVNscERPRGd4WjJOMVZFbzFiWE5LT1Vaa0x6VnVMMmRxWjNwdFlqaFZVSHBwVUV0dFZYUklkSGh5UW1aWk9HbERla0pNTDFCVFkzVlpkMnMyWm5GM2IzSndZVXBRZW10MWFFNVZLM1F4UlRGcFlYaG9Ra1pUYXpWSlUyaENObU5EV0hoRWQwNHphMXBFUTBGWmNXTnZTVE56TVdoMGNFdElWaXR0U1ZaQlUzTXpMMDV6U1M5S1ZWWjJVRkZsU1RSVFZFbFFRbHBuTWl0NGQwNURVVXBHZUVGM1kyWTVXazlXYWxOemVUbHRkVVl6Y21FM1kyZG5UMDlNYjJkc1JYUjJWV0ZhZUhSd2VrcFdjekZNU21WTE9HUjBOMHhrY25Wa1EzcDNTMU5OUm1oYU1IbFJVekl6YjJveGIxTlROa2RMV1RCa1QzcDVOVzl5ZERsbVRXNVhjVXRWTVU1c2NHcDRNRk5oU1U5eFRIZHBlRTk1VERKVFpVcHlVRFpaTjNCUlIzVkliMFpXTUVGRGRIRm5WelEwV1hoaVJFRmhSMUYyYlZaRVZrMTRjRkJ2TUhSMVptTXpOWGxRUzBZeWJrUnFkMWRIZGxwWU1UUTRXVFpSVW5kR1NYRnNWM0l3Y2k5U1JGQnFWMlJyYlN0NWFWTm9jRmxPTlRCb1YyTTBXVTFLZWxOS1QwUXlRVlkwTW5kMWFHRndkMkl5TDBOTGMzZHpWVFZDTUdWQ1NDOHdWVFZTYm1kNFJubFFhVll3U1VzMGRrd3pWVXBqYkZFNVV6aG5VeTkzVG04MFpXNTVWbk4zWkU5VlFYUkVMemhRVFdKTFNUbDJjV05NVjBocVVYbDFWa2RFTmpFM2FFRldTRWhCVUZseWEyeElTelJYTjNGNWRGVklWMUpSZWpFNVpISmlUekpYY0ZSQ01rMXRaV2RTU1VKVFVHOHpjVFIwZW5KalpYQmFOa3hNVUU1Q1VEQjBhbWRNYTJoaVduaDZjRlk1WVdoU2NDdHRVRmROWTNKU04yMUJUa3RWUFE9PTpyeHQrcUZZdEpxRE1OV25xaEtYV2RnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
DOMINGO DIGITAL – VER MAIS ARTIGOS EM PROMOÇÃO
SINOPSE
Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783662070031 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | março de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Texts In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783662070031 |
LIVROS DA MESMA COLEÇÃO
-
Formal Methods For Software EngineeringeBook25%Springer International Publishing58,29€ 20% + 5% CARTÃO
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
Relational And Xml Data Exchange10%Springer International Publishing AG31,08€ 10% CARTÃOportes grátis
-
Elements Of Finite Model Theory10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG118,97€ 10% CARTÃOportes grátis