Results 161 to 170 of about 3,746 (183)
Some of the next articles are maybe not open access.
Verdi: a framework for implementing and formally verifying distributed systems
ACM SIGPLAN Notices, 2015exaly
Steinitz Representations of Polyhedra and the Colin de Verdière Number
Journal of Combinatorial Theory Series B, 2001exaly
Fornitori verdi di biblioteche per biblioteche verdi
I quaderni del CNBA : 14, 2016openaire +1 more source

