Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Concurrency (computer science)
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
1
-
20
of
2,045
Search:
'"Concurrency (computer science)'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Semantics of
Concurrent
Computation
: Proceedings of the International Symposium Evian, France, July 2-4, 1979
Published 1979
Springer Berlin Heidelberg
Table of Contents:
“
...The temporal semantics of
concurrent
programs -- Modal logic of
concurrent
nondeterministic...
”
Read Now
2
Concurrency
in Dependable
Computing
Published 2002
Springer US
Table of Contents:
“
...
Computing
Systems -- V
Concurrency
in Real-Time Applicatio...
”
Read Now
3
Concurrency
: state models & Java programs
by
Magee, Jeff
Published 2006
Wiley
Table of Contents:
“
...1. Introduction -- 2. Processes and threads -- 3.
Concurrent
execution -- 4. Shared objects...
”
Call Number:
QA76.642
Read Now
4
Semantics of Systems of
Concurrent
Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
by
Guessarian, Irène
Published 1990
Springer
“
...Lecture Notes in
Computer
Science
...
”
Read Now
5
Concurrency
and Nets : Advances in Petri Nets
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Computer
science
...
”
Read Now
6
Concurrency
Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
by
Bowman, Howard
,
Gomez, Rodolfo
Published 2006
Springer London
Table of Contents:
“
...Background on
Concurrency
Theory --
Concurrency
Theory — Untimed Models -- Process Calculi: LOTOS...
”
Read Now
7
Logics for
Concurrency
: Structure versus Automata
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...Specification Structures and propositions-as-types for
concurrency
-- Automated temporal reasoning...
”
Read Now
8
The art of
concurrency
by
Breshears, Clay
Published 2009
O'Reilly
Table of Contents:
“
...
Computations
; Rule 2: Implement
Concurrency
at the Highest Level Possible...
”
Call Number:
QA76.642
Read Now
9
Semantics of Systems of
Concurrent
Processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... of
computations
--
Concurrency
and
computability
-- Causal trees interleaving + causality -- Partially commutative...
”
Read Now
10
Algorithms,
Concurrency
and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings
by
Kanchanasut, Kanchana
Published 1995
Springer
“
...Lecture Notes in
Computer
Science
...
”
Read Now
11
The Analysis of
Concurrent
Systems : Cambridge, September 12-16, 1983. Proceedings
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
...Using algebra for
concurrency
: Some approaches -- Some aspects of net theory -- From state machines...
”
Read Now
12
Concurrent
constraint programming
by
Saraswat, Vijay
Published 1993
MIT Press
Subjects:
“
...Parallel programming (
Computer
science
)...
”
Call Number:
QA76.642
Read Now
13
Taming the Infinities of
Concurrency
: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... -- Devillers On verifying
concurrent
programs under weak consistency models: Decidability and Complexity -- A...
”
Read Now
14
Seminar on
Concurrency
: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... -- Semantic considerations in the actor paradigm of
concurrent
computation
-- The pomset model of parallel...
”
Read Now
15
Concurrent
Reactive Plans : Anticipating and Forestalling Execution Failures
by
Beetz, Michael
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
16
Algorithms,
Concurrency
and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... formulations of
concurrent
languages -- Constraints for free in
concurrent
computation
-- Formalizing inductive...
”
Read Now
17
ML with
Concurrency
: Design, Analysis, Implementation, and Application
Published 1997
Springer New York
Table of Contents:
“
...1 Introduction -- 2 The Essence of
Concurrent
ML -- 2.1 Introduction -- 2.2 The Fundamental Ideas...
”
Read Now
18
Understanding
Concurrent
Systems
by
Roscoe, A.W.
Published 2010
Springer London
Table of Contents:
“
... Verification -- Exploring
Concurrency
-- Shared-Variable Programs -- Understanding Shared-Variable
Concurrency
...
”
Read Now
19
Current Trends in
Concurrency
: Overviews and Tutorials
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
...
Computer
science
in industry -- Dataflow and education: Data-driven and demand-driven distributed...
”
Read Now
20
Semantics of
Concurrent
Computation
: Proceedings of the International Symposium, Evian, France, July 2–4, 1979
by
Kahn, Gilles
Published 1979
Springer
“
...Lecture Notes in
Computer
Science
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
947
004 - Data processing & computer science
740
500 - Natural sciences & mathematics
193
006 - Special computer methods
110
003 - Systems
75
621 - Applied physics
62
more ...
620 - Engineering & allied operations
47
518 - Numerical analysis
32
331 - Labor economics
27
658 - General management
23
000 - Computer science, information & general works
19
670 - Manufacturing
19
511 - General principles of mathematics
18
745 - Decorative arts
12
510 - Mathematics
11
519 - Probabilities & applied mathematics
11
629 - Other branches of engineering
11
384 - Communications; telecommunication
9
530 - Physics
9
330 - Economics
7
512 - Algebra
6
300 - Social sciences
4
551 - Geology, hydrology & meteorology
4
600 - Technology
4
700 - The arts; fine & decorative arts
4
025 - Library operations
3
302 - Social interaction
3
363 - Other social problems & services
3
380 - Commerce, communications & transportation
3
501 - Philosophy & theory
3
001 - Knowledge
2
160 - Logic
2
333 - Economics of land & energy
2
361 - Social problems & social welfare in general
2
371 - Schools & their activities; special education
2
400 - Language
2
515 - Analysis
2
531 - Classical mechanics; solid mechanics
2
610 - Medicine & health
2
612 - Human physiology
2
720 - Architecture
2
140 - Specific philosophical schools
1
153 - Mental processes & intelligence
1
320 - Political science
1
332 - Financial economics
1
338 - Production
1
343 - Military, tax, trade & industrial law
1
370 - Education
1
374 - Adult education
1
381 - Commerce
1
410 - Linguistics
1
502 - Miscellany
1
534 - Sound & related vibrations
1
539 - Modern physics
1
541 - Physical chemistry
1
550 - Earth sciences
1
570 - Life sciences; biology
1
571 - Physiology & related subjects
1
590 - Animals (Zoology)
1
616 - Diseases
1
627 - Hydraulic engineering
1
681 - Precision instruments & other devices
1
see all ...
less ...
Language
English
2,014
German
16
Chinese
1
French
1
Collection
Springer Book Archives -2004
877
Springer eBooks 2005-
852
O'Reilly
239
Springer Lecture Notes Archiv 1964-1996
29
MIT Press eBook Archive
19
Lecture Notes in Computer Science
13
more ...
Directory of Open Access Books
8
OAPEN
3
Cambridge Books Online
1
Elsevier ScienceDirect eBooks
1
Elsevier eBook collection Mathematics
1
Emerald Business, Management and Economics eBook Collection Archive
1
JSTOR Open Access Books
1
see all ...
less ...
Author
Rozenberg, Grzegorz
33
Margaria, Tiziana
19
Steffen, Bernhard
19
Ehrig, Hartmut
16
Koutny, Maciej
14
Reisig, Wolfgang
11
more ...
Broy, Manfred
10
Rozenberg, G.
10
Montanari, Ugo
9
Best, Eike
7
Bjørner, Dines
7
Börger, Egon
7
Ito, Takayasu
7
Sassone, Vladimiro
7
Wirsing, Martin
7
Yonezawa, Akinori
7
Bowen, Jonathan P.
6
Jones, Cliff B.
6
Kreowski, Hans-Jörg
6
Levi, Giorgio
6
Nielsen, Mogens
6
Nivat, Maurice
6
Palamidessi, Catuscia
6
Apt, Krzysztof R.
5
Banerjee, Utpal
5
Bertino, Elisa
5
Brauer, Wilfried
5
Ciancarini, Paolo
5
De Nicola, Rocco
5
Desel, Jörg
5
Esparza, Javier
5
Gelernter, David
5
Graf, Susanne
5
Hameurlain, Abdelkader
5
Kleijn, Jetty
5
Kordon, Fabrice
5
Leeuwen, Jan van
5
Legay, Axel
5
Majumdar, Rupak
5
Martín-Vide, Carlos
5
Odersky, Martin
5
Orejas, Fernando
5
Shoham, Sharon
5
Sirjani, Marjan
5
SpringerLink (Online service)
5
Strohmeier, Alfred
5
Vizel, Yakir
5
Yakovlev, Alex
5
Yung, Moti
5
van der Aalst, Wil M. P.
5
Baier, Christel
4
Ben-Ari, Mordechai
4
Bensalem, Saddek
4
Biere, Armin
4
Bonsangue, Marcello M.
4
Bouajjani, Ahmed
4
Chechik, Marsha
4
Davies, Jim
4
Dediu, Adrian-Horia
4
Dongarra, Jack
4
Eder, Johann
4
Finkbeiner, Bernd
4
Havelund, Klaus
4
Hermanns, Holger
4
Hermenegildo, Manuel
4
Jensen, Kurt
4
Johnsen, Einar Broch
4
Kirchner, Helene
4
Korytkowski, Marcin
4
Larsen, Kim G.
4
Leucker, Martin
4
Marik, Vladimir
4
Nicolau, Alex
4
Nierstrasz, Oscar
4
Nori, Kesav V.
4
Olderog, Ernst-Rüdiger
4
Parrow, Joachim
4
Pichler, Franz
4
Pnueli, Amir
4
Potapov, Igor
4
Rem, Martin
4
Roever, Willem-Paul de
4
Rus, Teodor
4
Rutkowski, Leszek
4
Tadeusiewicz, Ryszard
4
Tari, Zahir
4
Thalheim, Bernhard
4
Truthe, Bianca
4
Wagner, Roland
4
Wang, Guilin
4
Warburton, Richard
4
Abadi, Martín
3
Afsarmanesh, Hamideh
3
Agha, Gul A.
3
Alur, Rajeev
3
Amadio, Roberto
3
Astesiano, Egidio
3
Baeten, Jos C.M.
3
Bakker, J.
3
Barkaoui, Kamel
3
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Concurrency+%28computer+science%29&type=AllFields
Send by Email
×
Loading...