Search results
- Automatic parallelization : an overview of fundamental compiler techniques / Samuel P. Midkiff. [San Rafael, Calif.] : Morgan & Claypool Publishers, c2012 . xii, 157 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Automatické dokazování správnosti paralelních programů [rukopis] : Implementace systému zdrojů / Vojtěch Pikal. 2010 . 59 s.
book
- Concurrency in .NET : modern patterns of concurrent and parallel programming / Riccardo Terrell. Shelter Island : Manning, [2018] ©2018 . xxxii, 534 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- Concurrent programming : principles and practice / Gregory R. Andrews. Redwood City, California : The Benjamin/Cummings Publishing Company, [1991] ©1991 . xvii, 637 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 book
- CUDA application design and development / Rob Farber. Waltham, Mass. : Morgan Kaufmann, 2011 . xvii, 315 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- CUDA by example : an introduction to general-purpose GPU programming / Jason Sanders, Edward Kandrot. Upper Saddle River, N.J. : Addison Wesley, c2011 . xix, 290 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 2 0 0 book
- CUDA programming : a developer’s guide to parallel computing with GPUs / Shane Cook. Waltham, Mass. : Morgan Kaufmann ; Elsevier, c2013 . xiv, 576 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Dynamic analysis of Petri net-based discrete systems / Andrei Karatkevich. Berlin : Springer, c2007 . xiii, 166 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Efficient parallel algorithms / Alan Gibbons, Wojciech Rytter. Cambridge : Cambridge University Press, 1989 . viii, 259 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- High performance parallelism pearls : multicore and many-core programming approaches / James Reinders, Jim Jeffers. Waltham, Mass. : Morgan Kaufmann, c2015 . xlv, 502 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book