Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649377
Price: 50.58 EUR
Availability: InStock
Author: Doron A. Peled
ISBN: 9783642004308

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Doron A. Peled

Michael Wooldridge

Língua

Inglês

Livro Capa mole

Código Libristo: 01649377

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, fevereiro 2009

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Descrição completa

Código Libristo: 01649377

122 b

50.58 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin

Capa mole

47.34 €

Wo bist du, kleiner Osterhase? Sylvia Tress

Livro concertina

6.47 €

Persona normal BENITO TAIBO

Capa mole

18.51 €

Economia dos Emirados Árabes Unidos IV? Kushnir

Capa mole

7.38 €

Patologias concomitantes en el embarazo Helen Baston

Adobe ePub DRM

12.23 €

Брiджертони. Книга 5. Серовi Фiллiпу з любов'ю Julia Quinn

Livro de capa dura

9.80 €

LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner

Adobe ePub DRM

7.48 €

Ladungssicherung im intermodalen Verkehr Rüdiger Rohland

Capa mole

25.28 €

Innan juldagsmorgon glimmar Hanna Christenson

Adobe ePub DRM

3.94 €

C'est ça les vacances ? fremder

binding.

19.92 €

Regardez-moi Anita Brookner

Capa mole

19.92 €

J'écris en grec ancien Guillaume Diana

Capa mole

10.41 €

Quantenmechanik IV Tennert

Capa mole

27.81 €

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL

Livro de capa dura

52.60 €

Der Herr der Ringe: Das Kartenspiel Die zwei Türme Nate French

Jogo

69.40 €

De L'Origine Du Xxie Siecle/The Old Place Jean-Luc Godard

DVD

40.26 €

Slovensko 1:500 000

Mapa

3.94 €

Homo faber Max Frisch

Capa mole

8.08 €

Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy

Folha

7.68 €

Napoleon I. - Tagebuch Von St. Helena Emmanuel A. D. de Las Casas

Capa mole

31.46 €

Now That We're Human Michael Badal

CD de áudio

13.35 €

Obras selectas Platón Platón

Livro de capa dura

8.99 €

Oeuvres Completes Du Chancelier Tome 7 D Aguesseau-H-F

Capa mole

32.77 €

Jumping Fitness 2: cardio & circuit Antonia Westphal

DVD

18.30 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.§The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Model Checking and Artificial Intelligence

Autor Doron A. Peled, Michael Wooldridge

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2009

Número de páginas 189

EAN 9783642004308

ISBN 364200430X

Código Libristo 01649377

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 309

Dimensões 155 x 235 x 15

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Ciência informática > Inteligência artificial