Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Implementation and Application of Automata

16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

Béatrice Bouchou-Markhoff

Kirjasarja: Lecture Notes in Computer Science, osa 6807

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!

Haetaan tuotteita...

Teosta "Implementation and Application of Automata" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.

Siirry tuotehakuun

Samankaltaiset tuotteet

Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.

Tiedot

Kustantaja/julkaisija

Springer Berlin Heidelberg

Sidosasu

ISBN

3642222560

9783642222566

Kieli

englanti

Alkuperäinen nimi

-

Tuotekategoriat

-

Esittely

s:546:"This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.";

Aiheet

Computer science.

Data structures (Computer science).

Computers.

Algorithms.

Computer logic.

Mathematical logic.

Mathematics.

Computer Science.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Mathematical Logic and Formal Languages.

Discrete Mathematics in Computer Science.

Logics and Meanings of Programs.

Data Structures.

Computer software.

Logic design.

Computational complexity.

Computers