Vai al contenuto principale della pagina

Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Edizione: 1st ed. 2013.
Descrizione fisica: 1 online resource (X, 275 p. 14 illus.)
Disciplina: 005.1015113
Soggetto topico: Computer science
Machine theory
Computer science—Mathematics
Software engineering
Discrete mathematics
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Symbolic and Algebraic Manipulation
Software Engineering
Discrete Mathematics in Computer Science
Mathematics of Computing
Persona (resp. second.): MunteanTraian
RollandRobert
PoulakisDimitrios
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di contenuto: Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling.
Sommario/riassunto: This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.
Titolo autorizzato: Algebraic Informatics  Visualizza cluster
ISBN: 3-642-40663-7
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910484892603321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 8080
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki
Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn