Εξώφυλλο

Κώδικας QR

Handbook of process algebra

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, con...

Πλήρης περιγραφή

Άλλοι συγγραφείς:	Bergstra, J. A., Ponse, A. 1955-, Smolka, Scott A.
Μορφή:	Ηλεκτρονική πηγή
Γλώσσα:	English
Στοιχεία έκδοσης:	Amsterdam ; New York : Elsevier, 2001.
Έκδοση:	1st ed.
Θέματα:	Machine theory. Parallel processing (Electronic computers) Electronic books.
Διαθέσιμο Online:	http://www.sciencedirect.com/science/book/9780444828309
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Perceptrons: an introduction to computational geometry/
από: Minsky, Marvin.
Στοιχεία έκδοσης: (1990)

Handbook on parallel and distributed processing /
Στοιχεία έκδοσης: (1999)

Parallel computation : models and methods /
από: Akl, Selim G.
Στοιχεία έκδοσης: (1997)

Sourcebook of parallel computing /
Στοιχεία έκδοσης: (2003)

Handbook of algebra
Στοιχεία έκδοσης: (2009)

Parellel computing technologies : 4th International Conference, PaCT-97 Yaroslavl, Russia, September 8-12, 1997 /
Στοιχεία έκδοσης: (1997)

Parellel computing technologies : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6-10, 1999 Proceedings /
Στοιχεία έκδοσης: (1999)

Applied Parallel Computing. Large scale scientific and industrial problems : 4th International Workshop, PARA'98 Umea, Sweden, June 14-17, 1998 Proceedings /
Στοιχεία έκδοσης: (1998)

TruCluster server handbook
Στοιχεία έκδοσης: (2003)

Schaum's outline of theory and problems of college algebra /
από: Spiegel, Murray R.
Στοιχεία έκδοσης: (1956)

Schaum's outline of the theory and problems of boolean algebra and switching circuits/
από: Mendelson, Elliott.
Στοιχεία έκδοσης: (1970)

Parallel computational fluid dynamics trends and applications : proceedings of the Parallel CFD 2000 Conference /
Στοιχεία έκδοσης: (2001)

Bioinformatics : high performance parallel computer architectures /
Στοιχεία έκδοσης: (2011)

Distributed and parallel systems : cluster and grid computing /
Στοιχεία έκδοσης: (2002)

Industrial strength parallel computing /
Στοιχεία έκδοσης: (2000)

Introduction to parallel algorithms /
από: Xavier, C.
Στοιχεία έκδοσης: (1998)

Second International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN'96) : proceedings : June 12-14, 1996, Beijing, China /
Στοιχεία έκδοσης: (1996)

Curves and surfaces in geometric modeling: theory and algorithms/
από: Gallier, Jean.
Στοιχεία έκδοσης: (2000)

Parallel computing software technology, algorithms, architectures & applications : proceedings of the International Conference ParCo2003, Dresden, Germany, 2-5 September 2003 /
Στοιχεία έκδοσης: (2004)

Parallel computational fluid dynamics towards teraflops, optimization, and novel formulations : proceedings of the Parallel CFD '99 Conference /
Στοιχεία έκδοσης: (2000)

Parallel computational fluid dynamics practice and theory : proceedings of the Parallel CFD 2001 Conference, Egmond aan Zee, the Netherlands (May 21-23, 2001) /
Στοιχεία έκδοσης: (2002)

Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003) /
Στοιχεία έκδοσης: (2004)

Parallel and distributed simulation systems /
από: Fujimoto, Richard M.
Στοιχεία έκδοσης: (2000)

Data flow computing /
από: Sharp, John A., 1955-
Στοιχεία έκδοσης: (1985)

Electronic publishing, artistic imaging, and digital typography : 7th International Conference on Electronic Publishing, EP '98 held jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March/April 1998 : proceedings /
Στοιχεία έκδοσης: (1998)

Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999 : proceedings /
Στοιχεία έκδοσης: (1999)

The Maple book /
από: Garvan, Frank 1955-
Στοιχεία έκδοσης: (2002)

Introduction to Maple /
από: Heck, A.
Στοιχεία έκδοσης: (1993)

Programming massively parallel processors hands-on with CUDA /
από: Kirk, David, 1960-
Στοιχεία έκδοσης: (2010)

Parallel algorithms for digital image processing computer vision and neural networks /
Στοιχεία έκδοσης: (1993)

Complexity of sequential and parallel numerical algorithms : [proceedings] /
Στοιχεία έκδοσης: (1973)

Linear algebra : an introduction using Maple /
από: Szabo, Fred.
Στοιχεία έκδοσης: (2002)

Oracle 10g RAC grid, services & clustering /
από: Vallath, Murali.
Στοιχεία έκδοσης: (2006)

Foundations of multithreaded, parallel, and distributed programming/
από: Andrews, Gregory R.
Στοιχεία έκδοσης: (2000)

Parallel computational fluid dynamics new frontiers and multi-disciplinary applications : proceedings of the Parallel CFD 2002 Conference, Kansai Science City, Japan (May 20-22, 2002) /
Στοιχεία έκδοσης: (2003)

Parallel computational fluid dynamics multidisciplinary applications : proceedings of the Parallel CFD 2004 Conference, Las Palmas de Gran Canaria, Spain (May 24-27, 2004) /
Στοιχεία έκδοσης: (2005)

Applied abstract algebra /
από: Kim, Ki Hang, 1912-
Στοιχεία έκδοσης: (1983)

Algebra /
από: Lang, Serge, 1927-2005.
Στοιχεία έκδοσης: (2002)

Topics in algebra /
από: Herstein, I. N.
Στοιχεία έκδοσης: (1964)

Schaum's principles and problems of elementary algebra/
από: Rich, Barnett.
Στοιχεία έκδοσης: (1960)