Books on the topic 'Programming languages (Electronic computers) Parallel programming (Computer science)'

Jones, Geraint. Programming in 'occam': A tourist guide to parallel programming. Oxford: Oxford University Computing Laboratory, 1985.

Programming in occam. Englewood Cliffs, N.J: Prentice-Hall International, 1987.

Kalé, Laxmikant Vasudeo. The chare-kernel language for parallel programming: A perspective. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1988.

Olsson, Ronald A. The JR programming language: Concurrent programming in an extended Java. Boston: Kluwer Academic Publishers, 2004.

Olsson, Ronald A. The JR programming language: Concurrent programming in an extended Java. Boston: Kluwer Academic Publishers, 2004.

Leicester), International BCS-FACS Workshop (1990 University of. Semantics for concurrency: Proceedings of the International BCS-FACS Workshop. London: Springer-Verlag, 1990.

Loogen, Rita. Parallele Implementierung funktionaler Programmiersprachen. Berlin: Springer-Verlag, 1990.

Baiardi, Fabrizio. Linguaggi per la programmazione concorrente. Milano, Italy: F. Angeli, 1985.

ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (5th 1995 Santa Barbara, Calif.). Proceedings of the Fifth SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), Santa Barbara, CA, July 19-21, 1995. New York: Association for Computing Machinery, 1995.

Stephen, Weston, ed. Parallel R. Sebastopol, Calif: O'Reilly Media, 2012.

Varela, Carlos A. Programming distributed computing systems: A foundational approach. Cambridge, MA: The MIT Press, 2013.

ACM Special Interest Group in Programming Languages., ed. Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, Atlanta, Georgia, June 22-24, 1988. New York, NY: Association for Computing Machinery, 1988.

Ecole de printemps dʼinformatique théorique (1990 La Roche-Posay, France). Semantics of systems of concurrent processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings. Berlin: Springer-Verlag, 1990.

Australian Transputer and OCCAM User Group. Conference (6th 1993 Brisbane, Qld.). Parallel computing and transputers: PCAT-93 : proceedings of the 6th Australian Transputer and Occam User Group Conference, 3-4 November 1993, Brisbane, Australia. Amsterdam: IOS Press, 1994.

ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution (1994 Bologna, Italy). Object-based models and languages for concurrent systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings. Berlin: Springer, 1995.

David, Hutchison. Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

Subramaniam, Venkat. Programming concurrency on the JVM: Mastering synchronization, STM, and actors. Dallas, Tex. [u.a.]: Pragmatic Bookshelf, 2011.

IEEE, Symposium on Visual Languages (1996 Boulder Colorado). Proceedings: IEEE Symposium on Visual Languages, September 3-6, 1996 Boulder, Colorado. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

IEEE Symposium on Visual Languages (10th 1994 Saint Louis, Mo.). Proceedings: IEEE Symposium on Visual Languages, October 4-7, 1994, St. Louis, Missouri. Los Alamitos, Calif: IEEE Computer Society Press, 1994.

IEEE, Symposium on Visual Languages (1993 Bergen Norway). Proceedings: 1993 IEEE Symposium on Visual Languages, August 24-27, 1993, Bergen, Norway. Los Alamitos, Calif: IEEE Computer Society Press, 1993.

World Occam and Transputer User Group. (20th 1997 Enschede, Netherlands). Parallel programming and Java: WoTUG-20 : proceedings of the 20th World Occam and Transputer User Group Technical Meeting, 13-16 April 1997, Enschede, The Netherlands. Amsterdam: IOS Press, 1997.

Transputer/Occam International Conference (5th 1993 Osaka, Japan). Transputer/Occam Japan 5: Poceedings of the 5th Transputer/Occam International Confference, 10th-11th June, 1993, Osaka, Japan. Amsterdam: IOS Press, 1993.

Transputer/Occam, International Conference (5th 1993 Osaka Japan). Transputer/Occam Japan 5: Proceedings of the 5th Transputer/Occam International Conference, 10th-11th June 1993, Osaka, Japan. Amsterdam: IOS Press, 1993.

A, Layton Richard, ed. Introductory MEMS: Fabrication and applications. New York: Springer, 2010.

Rajopadhye, Sanjay. Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

LINQ to objects using C♯ 4.0: Using and extending LINQ to objects and parallel LINQ (PLINQ). Upper Saddle River, NJ: Addison-Wesley, 2010.

Euromicro Workshop on Parallel and Distributed Processing (2nd 1994 University of Malaga, Spain). Proceedings: Second Euromicro Workshop on Parallel and Distributed Processing, University of Malaga, Spain, January 26-28, 1994. Los Alamitos, Calif: IEEE Computer Society Press, 1994.

International Conference on Concurrency Theory (4th 1993 Hildesheim, Germany). CONCUR '93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings. Berlin: Springer-Verlag, 1993.

Park, James J. Network and Parallel Computing: 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Théodore, Papatheodorou, Spirakis, P. G. (Paul G.), 1955-, and SpringerLink (Online service), eds. Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Yoeli, Michael. Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Hoboken, N.J: John Wiley & Sons, 2008.

Multiparadigm constraint programming languages. Heidelberg: Springer, 2011.

Parallel logic programming techniques. Englewood Cliffs, N.J: Prentice Hall, 1989.

Tracey, Hughes, ed. Parallel and distributed programming using C++. Upper Saddle River, NJ: Prentice Hall, 2004.

Marcotty, Michael. The world of programming languages. New York: Springer-Verlag, 1987.

Vajda, András. Programming many-core chips. New York, NY: Springer, 2011.

Vajda, András. Programming many-core chips. New York, NY: Springer, 2011.

Forrest, Stephanie. Parallelism and programming in classifier systems. London: Pitman, 1990.

Parallelism and programming in classifier systems. London: Pitman, 1991.

International PARLE Conference (4th 1992 Paris, France). PARLE '92, parallel architectures and languages Europe: Proceedings. Berlin: Springer-Verlag, 1992.

Bishop, Judith. Data abstraction in programming languages. Wokingham, England: Addison-Wesley, 1986.

Plasmeijer, M. J. Functional programming and parallel graph rewriting. Wokingham, Eng: Addison-Wesley, 1993.

B, Skillicorn David, and Talia Domenico, eds. Programming languages for parallel processing. Los Alamitos, Calif: IEEE Computer Society Press, 1995.

Systems programming in parallel logic languages. New York: Prentice Hall, 1990.

J. W. De Bakker (Editor) and J. W. De Bakker (Editor), eds. Languages for Parallel Architectures: Design, Semantics, Implementation Models (Wiley Series in Parallel Computing). John Wiley & Sons, 1989.

Bakker, J. W. de 1939-, ed. Languages for parallel architectures: Design, semantics, implementation models. Chichester: Wiley, 1989.

Olsson, Ronald A., and Aaron W. Keen. The JR Programming Language: Concurrent Programming in an Extended Java. Springer, 2013.

Introduction to Concurrency in Programming Languages (Chapman & Hall/Crc Computational Science). Chapman & Hall/CRC, 2008.

Mullin, Lenore M. Restifo. Arrays, Functional Languages, and Parallel Systems. Springer, 2012.

Thomas, R. M., M. Z. Kwiatkowska, and M. W. Shields. Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing). Springer, 1990.