Concurrency and Computation: Practice & Experience. :: SCD d'Orléans

Concurrency and Computation: Practice & Experience.

Concurrency and Computation: Practice & Experience.

Gorde:

Xehetasun bibliografikoak
Formatua:	Revue numérique
Hizkuntza:	Indéterminée
Argitaratua:	Wiley
Sarrera elektronikoa:	Accès Université d'Orléans
État de collection:	Revue numérique .- État de collection : 1996 à nos jours
Variante du titre:	Concurrency and Computation: Practice & Experience

Antzeko izenburuak

Concurrency and computation.
Argitaratua: (2001)

Concurrency.
Argitaratua: (2000)

CONCURRENCY 88 : International conference on concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings

Logic for Concurrency and Synchronisation

Mastering C# concurrency
nork: Agafonov, Eugene, et al.
Argitaratua: (2015)

Logics for concurrency : structure versus automata
nork: Moller, Faron, 1962-...., informaticien

Current trends in concurrency : overviews and tutorials

Java Concurrency and Parallelism : Master advanced Java techniques for cloud-based applications through concurrency and parallelism
nork: Wang, Jay
Argitaratua: (2024)

Concurrency and hardware design : advances in Petri nets
nork: Cortadella, Jordi, 1962-

Concurrency : theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25 27, 1989 : proceedings

Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9 11, 1984

The concurrency control problem for database systems
nork: Casanova, Marco Antonio

Lectures on concurrency and Petri nets : advances in Petri nets
nork: Desel, Jörg, 1959-

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
nork: Zwiers, Job, 19..-

A Decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands June 1 4, 1993 : proceedings

Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings

Identifying and Harnessing Concurrency for Parallel and Distributed Network Simulation
nork: Andelfinger, Philipp Josef
Argitaratua: (2021)

Transactions on Petri Nets and Other Models of Concurrency VIII
nork: Koutny, Maciej, 1958-

Transactions on Petri Nets and Other Models of Concurrency VII
nork: Jensen, Kurt, 1950-

CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

CONCUR 2001 - concurrency theory : 12th international conference Aalborg, Denmark, August 20 25, 2001 : proceedings

Evolutionary computation in practice

CONCUR 2002 - concurrency theory : 13th International Conference Brno, Czech Republic, August 20 23, 2002 : proceedings

CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings
nork: Gardner, Philippa

CONCUR 2000 - concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2 5, 1996 : proceedings

Application and theory of Petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings
nork: Colom, Jose-Manuel
Argitaratua: (2013)

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
nork: Lauer, Peter E., 1934-

In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988

Software: Practice & Experience.

Teaching and Learning in STEM With Computation, Modeling, and Simulation Practices
nork: Magana, Alejandra J.
Argitaratua: (2024)

Teaching and Learning in STEM With Computation, Modeling, and Simulation Practices
nork: Magana, Alejandra J.
Argitaratua: (2024)

Software, practice and experience.
Argitaratua: (1971)

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
nork: Lochbihler, Andreas
Argitaratua: (2021)

Computer-aided Maintenance : Methodologies and Practices

Computer Music Journal|Computer music.

Computer Music Journal|Computer music.

Computer.
Argitaratua: (1970)

Computer Simulation and Computer Algebra : Lectures for Beginners
nork: Stauffer, Dietrich, et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales