Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, M... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Computere og hardware
  8. Rigorous State-Based Methods: 7th International Conference,...

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

(Bog, Paperback / softback, Engelsk)
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Forlag: Springer Nature Switzerland 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

Computere og hardware Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 15-05-2020
Første udgivelsesår 2020
Serie Theoretical Computer Science and General Issues
Illustrationer 66 Illustrations, color; 609 Illustrations, black and white; XII, 428 p. 675 illus., 66 illus. in color.
Fagredaktør Alexander Raschke, Dominique Mery, Frank Houdek
Originalsprog Switzerland
Sideantal 428
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 428 pages, 66 Illustrations, color; 609 Illustrations, black and white; XII, 428 p. 675 illus., 66 i
Mål 235 x 155
ISBN-13 / EAN-13 9783030480769