lyotard
ocaml-ora-book
Esof2012 ibse 14_jul2012
Formal Method for Avionics Software Verification
The LISA Technology Package on board of LISA PATHFINDER will enable testing of following LISA key technologies: 'Inertial Sensor': to demonstrate that.
Panafrican Research Agenda on the Pedagogical Integration of Information and Communication Technologies (PanAf)
Envelopes and thermal radiation of neutron stars with strong magnetic fields Alexander Y. Potekhin 1 in collaboration with D.G.Yakovlev, 1 A.D.Kaminker,
Thomas Bourdel, Julien Cubizolles, Lev Khaykovich, Frédéric Chevy, Jing Zhang, Martin Teichmann, Servaas Kokkelmans, Christophe Salomon Laboratoire Kastler.
Le 10 migliori Università Europee 2013
CVML2011: human action recognition (Ivan Laptev)
Ivan Laptev "Action recognition"
Workflow Allocations and Scheduling on IaaS Platforms, from Theory to Practice