Autor: "Wijs, A.J." - OpacWWW

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ę ""Wijs, A.J."" wg kryterium: Autor

Wyświetlanie 1-14 z 14

Zaznacz stronę

Skocz do pozycji: 1 1.

Tytuł :: Extended beam search for non-exhaustive state space analysis
Autorzy :: Wijs, A.J.; Pokaż więcej
Źródło :: In Journal of Logic and Algebraic Programming 2012 81(1):46-69
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 2 2.

Tytuł :: Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
Autorzy :: Bortnik, E.; Pokaż więcej
Źródło :: In Journal of Logic and Algebraic Programming 2005 65(2):51-104
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 3 3.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Achieving Discrete Relative Timing with Untimed Process Algebra.
Autorzy :: Wijs, A.J.; Pokaż więcej
Źródło :: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007); 2007, p35-46, 12p
: Konferencja

Szczegóły

Skocz do pozycji: 5 5.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 6 6.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 7 7.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Książka

Szczegóły

Skocz do pozycji: 8 8.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 9 9.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Książka

Szczegóły

Skocz do pozycji: 10 10.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Konferencja

Szczegóły

Skocz do pozycji: 11 11.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Książka

Szczegóły

Skocz do pozycji: 12 12.

Informacja :: Dostęp do tej pozycji wymaga zalogowania się.
: Książka

Szczegóły

Wyświetlanie 1-14 z 14

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

Informacja

Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Wijs, A.J."" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język