Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Leino, M."" wg kryterium: Autor


Tytuł:
Study of excited states and observation of collective level structures in the odd–odd nucleus 194Bi
Autorzy:
Herzáň, A.Aff1, Aff2, Aff3
Juutinen, S.
Auranen, K.
Grahn, T.
Greenlees, P. T.
Hauschild, K.Aff3, Aff5
Jakobsson, U.Aff3, Aff6
Julin, R.
Ketelhut, S.
Leino, M.
Lopez-Martens, A.Aff3, Aff5
Lönnroth, T.
Nieminen, P.Aff3, Aff7
Nyman, M.Aff3, Aff8
Partanen, J.
Peura, P.Aff3, Aff9
Rahkila, P.
Ruotsalainen, P.
Sandzelius, M.
Sarén, J.
Scholey, C.Aff3, Aff10
Slotte, J. M. K.
Sorri, J.Aff3, Aff11
Stolze, S.Aff3, Aff12
Uusitalo, J.
Pokaż więcej
Źródło:
The European Physical Journal A: Hadrons and Nuclei. 56(6)
Czasopismo naukowe
Tytuł:
A SAT Characterization of Boolean-Program Correctness
Autorzy:
Rustan, K.
Leino, M.
Pokaż więcej
Źródło:
Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings. 2648:104-120
Książka elektroniczna
Książka elektroniczna
Tytuł:
Applications of Extended Static Checking
Autorzy:
Rustan, K.
Leino, M.
Pokaż więcej
Źródło:
Static Analysis : 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings. 2126:185-193
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies