Wyniki wyszukiwania: 4.

Sortuj
Wyniki
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (ed.). autor Serie: Lecture Notes in Computer Science ; 407
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin : Springer, 1990
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181334.
6th Polish Teletraffic Symposium : proceedings, Szklarska Poręba, 22-23 April 1999 / ed. Adam Grzech ; Wrocław University of Technology. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski, polski
Szczegóły wydania: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 1999
Inny tytuł:
  • Proceedings of the 6th Polish Teletraffic Symposium
  • Proceedings 6th Polish Teletraffic Symposium
  • Polish Teletraffic Symposium, 6
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 130054.
Proceedings of the 2009 ACM SIGARCH International Conference on Supercomputing : ICS'09 : Yorktown Heights, NY, June 8-12, 2009 / sponsored by ACM SIGARCH ; ed. by Michael Gschwind (et al.). autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: New York : Association for Computing Machinery, 2009
Inny tytuł:
  • ICS'09
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 165380.