Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Cyrille Artho, Peter Csaba Ölveczky (eds.)…
Information Systems Security and Privacy: First International Conference, ICISSP 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
Information Systems Security and Privacy: First International Conference, ICISSP 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
Olivier Camp, Edgar Weippl, Christophe Bidan, Esma Aïmeur (eds.)…
Combinatorial Algorithms: 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
Combinatorial Algorithms: 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Kratochvíl Jan, Mirka Miller, Dalibor Froncek (eds.)…
The Semantic Web: ESWC 2012 Satellite Events: ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
The Semantic Web: ESWC 2012 Satellite Events: ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers
Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Raphaël Troncy (eds.)…
Knowledge Representation for Health Care: AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
Knowledge Representation for Health Care: AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected
David Riaño, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette ten Teije (eds.)…
Computer Aided Systems Theory – EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
Computer Aided Systems Theory – EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)…
