Computer Science – Theory and Applications
8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Andrei A. Bulatov
Kirjasarja: Lecture Notes in Computer Science, osa 7913
Tuote ei saatavilla
Computer Science – Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "Computer Science – Theory and Applications" 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
3642385362
9783642385360
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Andrei A. Bulatov
Tuotekategoriat
Esittely
s:462:"This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lectures. The papers are organized in topical sections on: algorithms; automata; logic and proof complexity; complexity; words and languages; and logic and automata.";
Aiheet
Computer science.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Mathematics.
Computer Science.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Discrete Mathematics in Computer Science.
Mathematical Logic and Formal Languages.
Computer software.
Logic design.
Computational complexity.
Computers