bib.howest.be Zoekresultaten

U zocht naar: Auteur Marco

« Vorige | 531 - 540 van 879 | Volgende »

531. Electron Spin Resonance and Related Phenomena in Low-Dimensional Structures

Auteur:: Ascheron, Claus E.; Duhm, Adelheid H.; Fanciulli, Marco
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

532. Extended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I

Auteur:: De Paolis, Lucio Tommaso.; Arpaia, Pasquale; Sacco, Marco
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

533. Extended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part II

Auteur:: De Paolis, Lucio Tommaso.; Arpaia, Pasquale; Sacco, Marco
Uitgever:: Cham Springer 2022
Type:: e-book

534. Extended Reality : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I

Auteur:: De Paolis, Lucio Tommaso.; Arpaia, Pasquale; Sacco, Marco
Uitgever:: Cham Springer 2023
Type:: e-book

535. Extended Reality : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II

Auteur:: De Paolis, Lucio Tommaso.; Arpaia, Pasquale; Sacco, Marco
Uitgever:: Cham Springer 2023
Type:: e-book

536. Field-Based Coordination for Pervasive Multiagent Systems

Auteur:: Mamei, Marco; Ishida, Toru; Zambonelli, Franco; Sycara, Katia
Uitgever:: Dordrecht Springer Berlin Heidelberg 2006
Type:: e-book

537. Formal Methods for Computational Systems Biology

Auteur:: Bernardo, Marco; Degano, Pierpaolo; Kanade, Takeo; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

538. Formal Methods for Eternal Networked Software Systems

Auteur:: Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

539. Formal Methods for Hardware Verification

Auteur:: Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

540. Formal Methods for Industrial Critical Systems

Auteur:: Kowalewski, Stefan; Kanade, Takeo; Roveri, Marco; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book