Specification and verification of concurrent systems
- Vorming
- 612 lehekülgi
- Esmakordselt avaldatud
- 1990
- Kirjastajad
- Springer-Verlag
- Subjects
- Parallel processing ·Congresses
- Keel
- English
Raamatud
Heidelberg Congress on Taxing Consumption
Heidelberg Congress on Taxing Consumption (1989)
Ideario de Joaquín V. González.
Joaquín Víctor González
Scrieri.
Pompiliu Constantinescu
Iraq under siege
Anthony Arnove
Türk kitap tarihi
Alpay Kabacalı
Perfume in the garden.
Roy Genders
Sunburst
James A. MacNeill
Congresso Internacional : Goya, 250 años después 1746-1996.
Congresso Internacional "Goya, 250 años después 1746-1996" (1996 Marbella)
Ziemia wielkanocna.
Jan Boleslaw Ozóg
Clerical occupations for women
United States. Women's Bureau.
Two centuries of church life
Baynes, Arthur Hamilton
CONPAR 90-VAPP IV
Joint International Conference on Vector and Parallel Processing (1st 1990 Zurich, Switzerland)
L'isola dei mostri.
André Amstutz
Fahāri Siyar a`lām al-nubalā'.al-Qism al-Awal.
Muḥammad ibn Aḥmad Dhahabĭ
Archäologischen Entdeckungen des neunzehnten Jahrhunderts
Adolf Michaelis
Palabra muerta de Pablo Neruda.
Ricardo Paseyro
Feminist scholarship
Ellen Carol DuBois
Arts and crafts furniture design
Don Marek
Conquest of form
William Latham
Major General Sir Edward Massie
Richard J. Massie Collins
Lettres de Maiakovski à Lili Brik, 1917-1930.
Mayakovsky, Vladimir
Briefe methode of catechizing
Stephen Egerton
True tales of mountain adventure
Elizabeth Alice Frances Le Blond
Struggle for freedom.
Carson, Clayborne
Autoritäres Programm in aufklärerischer Absicht
Oliver Brüchert
Managing marine environments
R. A. Kenchington
Immigrant parents' perception of multicultural education
Benedicta Egbo
Peyote-Religion
Gerber, Peter Dr. phil.
Physiker zwischen Autonomie und Anpassung
Dieter Hoffmann
Gas-solid flows
Energy-Sources Technology Conference and Exhibition. (1984 New Orleans, La.)
Photographers in Northern Scotland to 1914
D. Richard Torrance
Some therapeutic problems of the future
Dale, Henry H. Sir
À la trace de Dieu
Rivière, Jacques
Sang rivé
Édouard Glissant
In search of Mr and Mrs Wardle
Yvonne Kapp
Perspectives on south China
M. J. Foster
Trauma anesthesia
John K. Stene
Institutional and pension fund real estate investment
Stephen P. Jarchow
Batmobile owner's manual
Mike McAvennie
État présent des études verlainiennes
Claude Cuénot
Lettre sur la guerre Américaine.
Paul Pecquet du Bellet
Working class of Milan, 1881-1911
Louise Tilly
Śāhī guladāna
Musharraf ʻĀlam Z̲auqī
Sarnased raamatud
Parallel Programming Using Games
Ashish Amresh
Delphi GUI Programming with FireMonkey
Andrea Magni
From Parallel to Emergent Computing
Andrew Adamatzky
From Parallel to Emergent Computing
Andrew Adamatzky
Fortran 2018 with Parallel Programming
Subrata Ray
Parallel Computing
D. J. Evans
Parallel Iterative Algorithms
Jacques Mohcine Bahi
Integration of Services into Workflow Applications
Pawel Czarnul
From Parallel to Emergent Computing
Andrew Adamatzky
GPU Parallel Program Development Using CUDA
Tolga Soyata
GPU Parallel Program Development Using CUDA
Tolga Soyata
GPU Parallel Program Development Using CUDA
Tolga Soyata
Using Openmp - The Next Step
Ruud Van Der Pas
Parallel Programming
Bertil Schmidt
Parallel Science and Engineering Applications
Laxmikant V. Kale
OpenACC Programming
Rob Farber
Elements of Parallel Computing
Eric Aubanel
Programming Massively Parallel Processors
David B. Kirk
Parallel Processing and Applied Mathematics
Roman Wyrzykowski
Elements of Parallel Computing
Eric Aubanel
Introduction to Concurrency Theory
Roberto Gorrieri
OpenMP : Heterogenous Execution and Data Movements
Christian Terboven
Topics in Parallel and Distributed Computing
Sushil K. Prasad
USB complete
Jan Axelson
OpenMP : Heterogenous Execution and Data Movements
Christian Terboven
Shared Memory Application Programming
Victor Alessandrini
High Performance Parallelism Pearls Vol. 2
Jim Jeffers
2014 14th International Conference on Application of Concurrency to System Design (ACSD 2014)
Tunisia) International Conference on Application of Concurrency to System Design (14th 2014 Tunis
Designing scientific applications on GPUs
Raphaël Couturier
Parallel Programming
Mikhail S. Tarkov
Altar of reality
Mara Valderran
Computational Technologies
Petr N. Vabishchevich
Euro-Par 2013 : Parallel Processing
Felix Wolf
Applied parallel computing
Yuefan Deng
SPARK
Sumit Gupta
Languages and Compilers for Parallel Computing
Hironori Kasahara
Network and Parallel Computing
Ching-Hsien Hsu
Concurrency
Jeff Magee
Parallel and Concurrent Programming in Haskell
Simon Marlow
OpenCL in action
Matthew Scarpino
Cloud-computing
F. Magoulès
Parallel Computational Fluid Dynamics 2008
Damien Tromeur-Dervout
Parallel programming with Intel Parallel Studio XE
Stephen Blair-Chappell
Heterogeneous computing with OpenCL
Benedict Gaster
Parallel Programming with Co-Arrays
Robert W. Numrich
Parallel R
Q. Ethan McCallum
Heterogeneous Computing with OpenCL
Benedict Gaster
Concurrent Programming in Mac OS X and IOS
Vandad Nahavandipoor
MIPPR 2011
Jianguo Liu
Introduction to Parallel Programming
Peter Pacheco
Algorithms and Parallel Computing
Fayez Gebali
Introduction to concurrency in programming languages
Matthew J. Sottile
Professional Parallel Programming with C#
Gastón C. Hillar
Server time protocol implementation guide
Noshir Dhondy
2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS 2010)
Ga.) IPDPS (Conference) (24th 2010 Atlanta