Computer science today : recent trends and developments /

STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings /
Published: (1996)

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
by: Rao, Josyula Ramachandra, 1962-
Published: (1995)

Parle '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings /
Published: (1993)

Grid computing--GRID 2001 : second international workshop, Denver, CO, USA, November 12, 2001 : proceedings /
Published: (2001)

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings /
Published: (1991)

Verifying concurrent processes using temporal logic /
by: Hailpern, Brent T. (Brent Tzion), 1955-
Published: (1982)

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings /
Published: (2001)

Parallel algorithms /
by: Casanova, Henri
Published: (2008)

Hypermedia Systems and Applications : World Wide Web and Beyond /
by: Lennon, Jennifer A.
Published: (1997)

LATIN '98, theoretical informatics : Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 : proceedings /
Published: (1998)

Parallel computing using the prefix problem /
by: Lakshmivarahan, S., et al.
Published: (2020)

Introduction to parallel programming /
by: Brawer, Steven, 1941-
Published: (1989)

Parallel algorithms for irregularly structured problems : second international workshop, IRREGULAR ̓95, Lyon, France, September, 4-6, 1995 : proceedings /
Published: (1995)

Euro-Par 2002 parallel processing : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings /
Published: (2002)

Reconfigurable system design and verification /
by: Hsiung, Pao-Ann
Published: (2009)

Multicore software development /
by: Oshana, Robert
Published: (2015)

TREAT : a new and efficient match algorithm for AI production systems /
by: Miranker, Daniel P.
Published: (1990)

Solving combinatorial optimization problems in parallel : methods and techniques /
Published: (1996)

Genetic programming : 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings /
Published: (2001)

FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings /
Published: (2001)

Parallel programming : techniques and applications using networked workstations and parallel computers /
by: Wilkinson, Barry
Published: (1999)

Theory of structured parallel programming /
by: Wang, Yong
Published: (2024)

CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
Published: (1999)

STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings /
Published: (2001)

Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings /
Published: (1990)

Logics for concurrency : structure versus automata /
Published: (1996)

Object-based parallel and distributed computation : France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers /
Published: (1996)

EURO-PAR '95 parallel processing : First Intrnational EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings /
Published: (1995)

Shared memory application programming : concepts and strategies in multicore application programming /
by: Alessandrini, Victor
Published: (2016)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Parallel iterative algorithms : from sequential to grid computing /
by: Bahi, Jacques Mohcine
Published: (2008)

Parallel problem solving from nature--PPSN IV : International Conference on Evolutionary Computation, the 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996 : proceedings /
Published: (1996)

Informatics : 10 years back, 10 years ahead /
Published: (2001)

An introduction to parallel programming /
by: Pacheco, Peter S.
Published: (2011)

An introduction to parallel programming.
by: Pacheco, Peter S., et al.
Published: (2022)

Parallel programming : concepts and practice /
by: Schmidt, Bertil, et al.
Published: (2017)