Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Computer Science - Theory and Applications

11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
BuchKartoniert, Paperback
425 Seiten
Englisch
Springererschienen am31.05.20161st ed. 2016
This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;
Details
ISBN/GTIN978-3-319-34170-5
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2016
Erscheinungsdatum31.05.2016
Auflage1st ed. 2016
ReiheTheoretical Computer Science and General Issues
Seiten425 Seiten
SpracheEnglisch
Gewicht675 g
IllustrationenXXI, 425 p. 49 illus.
Artikel-Nr.37894834

Inhalt/Kritik

Inhaltsverzeichnis
Algorithms and data structures.- Combinatorial optimization.- Constraint solving.- Computational complexity.- Cryptography.- Combinatorics in computer science.- Formal languages and automata.- Computational models and concepts.- Algorithms for concurrent and distributed systems, networks.- Proof theory and applications of logic to computer science.- Model checking.- Automated reasoning.- Deductive methods.mehr

Schlagworte