Zaloguj lub zarejestruj Lista podręczna - 0 Pomoc
	Strona główna   Wyszukiwanie   Moje konto   e-Zasoby   Zaproponuj zakup książki	Przełącz język: PB Library (angielski)

alfabetyczne po słowach zaawansowane historia

---

21. Petri Nets : central models and their properties : advances in Petri Nets 1986, Part I : proceedings of an Advanced Course Bad Honnef, 8-19 September 1986 / ed. by W. Brauer, W. Reisig and G. Rozenberg.  Autor: Brauer, Wilfried., Reisig, Wolfgang (1950- )., Rozenberg, Grzegorz.      22. Advances in Petri Nets 1985 / ed. Grzegorz Rozenberg.  Autor: Rozenberg, Grzegorz.      23. A survey of verification techniques for parallel programs / Howard Barringer.  Autor: Barringer, Howard.      24. Alternating sequential/parallel processing / Y. Wallach.  Autor: Wallach, Y.      25. Microcomputer system design / ed. by M. J. Flynn, N. R. Harris, D. P. McCarthy.  Autor: Flynn, M. J., Harris, N. R., McCarthy, D. P.      26. Verifying concurrent processes using temporal logic / Brent T. Hailpern.  Autor: Hailpern, Brent T.      27. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSSR, September 16-22, 1979 / ed. by A. P. Ershov and D. E. Knuth.  Autor: Ersov, Andrej Petrovic., Knuth, Donald Ervin (1938- ).      28. The Concurrency control problem for database systems / Marco Antonio Casanova.  Autor: Casanova, Marco Antonio.      29. Digital image processing systems / ed. by Leonard Bolc and Zenon Kulpa.  Autor: Bolc, Leonard (1934-2013)., Kulpa, Zenon.      30. Distributed systems : architecture and implementation / D. W. Davies et al. ; ed. by B. W. Lampson, M. Paul, H. J. Siegert.  Autor: Davies, Donald W.

oznacza, że bieżąca lokalizacja posiada egzemplarz

Poprz.

1

2

3

4

Nast.

Zapraszamy do nowego katalogu.

Horizon Information Portal 3.23.1_6655

© 2001-2015 SirsiDynix All rights reserved.