Results
|
|
621.
|
|
|
|
622.
|
|
|
|
623.
|
|
|
|
624.
|
|
|
|
625.
|
|
|
|
626.
|
|
|
|
627.
|
|
|
|
628.
|
|
|
|
629.
|
Declarative Programming and Knowledge Management [electronic resource] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10997
Edition: 1st ed. 2018.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
630.
|
Euro-Par 2018: Parallel Processing Workshops [electronic resource] : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers / by
- Mencagli, Gabriele [editor.]
- B. Heras, Dora [editor.]
- Cardellini, Valeria [editor.]
- Casalicchio, Emiliano [editor.]
- Jeannot, Emmanuel [editor.]
- Wolf, Felix [editor.]
- Salis, Antonio [editor.]
- Schifanella, Claudio [editor.]
- Manumachu, Ravi Reddy [editor.]
- Ricci, Laura [editor.]
- Beccuti, Marco [editor.]
- Antonelli, Laura [editor.]
- Garcia Sanchez, José Daniel [editor.]
- Scott, Stephen L [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 11339
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
|
631.
|
|
|
|
632.
|
|
|
|
633.
|
|
|
|
634.
|
|
|
|
635.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7609
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
636.
|
|
|
|
637.
|
|
|
|
638.
|
|
|
|
639.
|
Computational Science and Its Applications – ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / by
- Misra, Sanjay [editor.]
- Gervasi, Osvaldo [editor.]
- Murgante, Beniamino [editor.]
- Stankova, Elena [editor.]
- Korkhov, Vladimir [editor.]
- Torre, Carmelo [editor.]
- Rocha, Ana Maria A.C [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Tarantino, Eufemia [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 11624
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
|
640.
|
|
