MENU
Avaa navigaatio
Työ/työelämä
61-72 / yhteensä 1534
vuosirajaus: 2016 - poista vuosirajaus
cover from: Google Books
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
edited by Yliès Falcone, César Sánchez.
2016
186526
isbn:9783319469829
cover from: Google Books
Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
edited by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz.
2016
186546
isbn:9783319475905
cover from: Google Books
3D Research Challenges in Cultural Heritage II : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage
edited by Sander Münster, Mieke Pfarr-Harfst, Piotr Kuroczyński, Marinos Ioannides.
2016
186549
isbn:9783319476476
cover from: Google Books
On the Move to Meaningful Internet Systems: OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna.
2016
186565
isbn:9783319484723
cover from: Google Books
Ubiquitous Computing and Ambient Intelligence : 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 – December 2, 2016, Proceedings, Part I
edited by Carmelo R. García, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.
2016
186573
isbn:9783319487465
cover from: Google Books
Ubiquitous Computing and Ambient Intelligence : 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 – December 2, 2016, Part II
edited by Carmelo R. García, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.
2016
186576
isbn:9783319487991
cover from: Google Books
Digital Libraries: Knowledge, Information, and Data in an Open Access Society : 18th International Conference on Asia-Pacific Digital Libraries, ICADL 2016, Tsukuba, Japan, December 7–9, 2016, Proceedings
edited by Atsuyuki Morishima, Andreas Rauber, Chern Li Liew.
2016
186601
isbn:9783319493046
Deductive Software Verification – The KeY Book : From Theory to Practice
edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
2016
186614
isbn:9783319498126
cover from: Google Books
Transactions on Petri Nets and Other Models of Concurrency XI
edited by Maciej Koutny, Jörg Desel, Jetty Kleijn.
2016
186720
isbn:9783662534014
cover from: Google Books
Transactions on Rough Sets XX
edited by James F. Peters, Andrzej Skowron.
2016
186728
isbn:9783662536117
cover from: Google Books
Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II
edited by Martin Hirt, Adam Smith.
2016
186730
isbn:9783662536445
cover from: Google Books
Emerging directions in doctoral education
edited by Patrick Blessinger, Denise Stockley.
2016
187019
isbn:9781785601354|isbn:9781785601347
Loading... loading more ...
device_type: computer
thumb_size: normal
|
grid |
|