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
Search alternatives
:
concurrency »
concurrent
Showing
21
-
40
of
2,045
Search:
'"Concurrency (computer science)'
,
query time: 0.19s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Concurrent
Zero-Knowledge : With Additional Background by Oded Goldreich
by
Rosen, Alon
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...A Brief Introduction to Zero-Knowledge (by Oded Goldreich) -- to
Concurrent
Zero-Knowledge...
”
Read Now
22
Concurrent
Scientific
Computing
by
Van de Velde, Eric F.
Published 1994
Springer New York
Subjects:
“
...
Computational
Mathematics and Numerical Analysis...
”
Read Now
23
Concurrency
88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... and limits of synchronous
concurrent
computation
-- A logic-functional approach to the execution of CCS...
”
Read Now
24
CONCUR 2013 --
Concurrency
Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... and Interaction Nets -- Linearizability and Verification of
Concurrent
Programs -- Verification of Infinite Models...
”
Read Now
25
Concurrency
and Hardware Design : Advances in Petri Nets
by
Cortadella, Jordi
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Computer
science
...
”
Read Now
26
Concurrency
, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Published 2017
Springer International Publishing
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
27
Logic, Rewriting, and
Concurrency
: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Published 2015
Springer International Publishing
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
28
Concurrency
and Parallelism, Programming, Networking, and Security...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... logarithm --
Computation
of the k-error linear complexity of binary sequences with period 2n -- Symbolic...
”
Read Now
29
CONCUR 2009 -
Concurrency
Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...On Convergence of
Concurrent
Systems under Regular Interactions --
Computing
Stuttering Simulations...
”
Read Now
30
Introduction to
Concurrency
Theory : Transition Systems and CCS
by
Gorrieri, Roberto
,
Versari, Cristian
Published 2015
Springer International Publishing
Subjects:
“
...
Computer
science
...
”
Read Now
31
CONCUR 2008 -
Concurrency
Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... -- Taming
Concurrency
: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...
”
Read Now
32
Logic for
Concurrency
and Synchronisation
Published 2003
Springer Netherlands
Table of Contents:
“
... Paradigms of Logical
Computation
in Affine Logic? -- Proof Systems for ?-Calculus Logics -- A Tutorial...
”
Read Now
33
Concurrency
, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...: Ontology and Mereology of Domains --
Computer
Science
and State Machines -- A Small Step for Mankind...
”
Read Now
34
CONCUR 2014 –
Concurrency
Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... -- Reducing Clocks in Timed Automata while Preserving Bisimulation -- Qualitative
Concurrent
Parity Games...
”
Read Now
35
CONCUR '94:
Concurrency
Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
36
CONCUR '95
Concurrency
Theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... notion of refinement for
concurrency
-- A refinement theory that supports both ’decrease...
”
Read Now
37
CONCUR 2001 -
Concurrency
Theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... of Finite Prefixes to Infinite
Computations
-- Model Checking -- Abstraction-Based Model Checking Using...
”
Read Now
38
Database
Concurrency
Control : Methods, Performance, and Analysis
by
Thomasian, Alexander
Published 1996
Springer US
Subjects:
“
...Data structures (
Computer
science
)...
”
Read Now
39
CONCUR 2007 -
Concurrency
Theory : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... -- Strategy Synthesis for Markov Decision Processes and Branching-Time Logics -- Timed
Concurrent
Game...
”
Read Now
40
CONCUR 2005 -
Concurrency
Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... of Integer Linear Loops -- A Practical Application of Geometric Semantics to Static Analysis of
Concurrent
...
”
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?page=2&lookfor=%22Concurrency+%28computer+science%29&type=AllFields
Send by Email
×
Loading...