Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, P... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. 3D-grafik og modellering
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Frontiers of Combining Systems: 10th International Symposium,...

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

(Bog, Paperback / softback, Engelsk)
Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

3D-grafik og modellering Kunstig intelligens Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. decision procedures; decision procedures for verification;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2015
Udgivelsesdato 12-11-2015
Første udgivelsesår 2015
Serie Lecture Notes in Computer Science
Illustrationer 54 Illustrations, color; XVII, 357 p. 54 illus. in color.
Fagredaktør Carsten Lutz, Silvio Ranise
Originalsprog Switzerland
Sideantal 357
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 357 pages, 54 Illustrations, color; XVII, 357 p. 54 illus. in color.
Mål 235 x 155
ISBN-13 / EAN-13 9783319242453