Cover Image

Multi-Threaded Programming in C++ /

Show other versions (1)

This book will provide you with a practical introduction to multi-threaded programming in C++. Multi-threaded programming is fast becoming a vital weapon in the armoury of the software engineer battling against the complexity of modern computer applications and Mark Walmsley provides all the informa...

Full description

Bibliographic Details
Main Author:	Walmsley, Mark
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 2000.
Subjects:	Computer science. Computer system performance. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Multi-threaded programming in C++ /
by: Walmsley, Mark, 1964-
Published: (2000)

Architecture Design and Validation Methods /
by: Börger, Egon
Published: (2000)

Concepts in User Interfaces : : Reference Model for Command and Response Languages /
Published: (1986)

Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.-22. September 1989, Proceedings /
by: Görke, Winfried
Published: (1989)

Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers /
Published: (2006)

High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet /
Published: (2019)

Multi-threaded game engine design /
by: Harbour, Jonathan S.
Published: (2011)

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

An object-oriented approach to programming logic and design /
by: Farrell, Joyce
Published: (2008)

Formal Engineering for Industrial Software Development : Using the SOFL Method /
by: Liu, Shaoying
Published: (2004)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1997)

Predicate Calculus and Program Semantics /
by: Dijkstra, Edsger W.
Published: (1990)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

Multi-agent programming : languages, platforms, and applications /
Published: (2005)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published: (2019)

Computer systems design and architecture /
by: Heuring, Vincent P.
Published: (1997)

Data Types and Persistence /
by: Atkinson, M. P.
Published: (1988)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Interactive multi-objective programming as a framework for computer-aided control system design /
by: Ng, W.-Y. (Wai-Yin), 1963-
Published: (1989)

Programming Environments for Massively Parallel Distributed Systems : Working Conference of the IFIP WG 10.3, April 25-29, 1994 /
by: Decker, Karsten M.
Published: (1994)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /
by: Cardelli, Luca
Published: (2003)

Specifying systems : the TLA+ language and tools for hardware and software engineers /
by: Lamport, Leslie
Published: (2003)

Practical Usage of TSO REXX /
by: Rudd, Anthony S.
Published: (2000)

Software Quality Management VI : Quality Improvement Issues /
by: Hawkins, Chris
Published: (1998)

Self-timed control of concurrent processes : the design of aperiodic logical circuits in computers and discrete systems /
Published: (1990)

Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications /
by: Girault, Claude
Published: (2003)

The design and implementation of the RT-thread operating system /
by: Qiu, Yi, et al.
Published: (2020)

QoS-based Wavelength Routing in Multi-Service WDM Networks /
by: Jukan, Admela
Published: (2001)

Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings /
Published: (2010)

LOG(F) : an optimal combination of logic programming, rewriting, and lazy evaluation /
by: Narain, Sanjai, 1957-
Published: (1988)

Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings /
Published: (2010)

Proceedings /
Published: (1981)

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)

Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra /
by: Feijen, W. H. J.
Published: (1990)

Modal and Temporal Properties of Processes /
by: Stirling, Colin
Published: (2001)