Sortiert nach
1st ed. 2006, 2006
- Link zum Volltext
Algebraic Specification Techniques in Object Oriented Programming Environments [electronic resource]
1st ed. 1991, 1991
- Link zum Volltext
ACM Conferences
2018
- Link zum Volltext
1st ed. 1995, 1995
- Link zum Volltext
1st ed. 2012, 2012
- Link zum Volltext
- Link zum Volltext
- Verfügbar von 1981 Band: 1 Heft: 1. Neuste 4 Jahr(e) nicht verfügbar.
- Verfügbar von 1981 Band: 1 Heft: 1 bis 1994 Band: 23 Heft: 3.
- Verfügbar von 01/10/1981 Band: 1 Heft: 1.
1st ed. 2020, [2020]
- Link zum Volltext
1st ed. 2006, 2006
- Link zum Volltext
1st ed. 2017, 2017
- Link zum Volltext
1st ed. 2018, 2018
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Dongarra, Jack
- Voronkov, Andrei
- ECOOP (Conference)
- International Static Analysis Symposium
- Workshop on Languages and Compilers for Parallel Computing
- European Symposium on Programming
- Wasniewski, Jerzy
- Broy, Manfred
- European PVM/MPI Users' Group Meeting
- ILP (Conference)
- International Conference on Concurrency Theory
- International Symposium of Formal Methods Europe
- International EURO-PAR Conference
- Kaier, Ekkehard
- LPAR (Conference)
- Rudolph, Larry
- Ada-Europe International Conference on Reliable Software Technologies
- Cagnoni, Stefano
- Karczewski, Konrad
- Riolo, Rick
Erscheinungsform
Schlagwort
- Programming Techniques
- Software engineering
- Programming languages (Electronic computers)
- Programming Languages, Compilers, Interpreters
- Software Engineering
- Artificial intelligence
- Artificial Intelligence
- Software Engineering/Programming and Operating Systems
- Algorithms
- Computer Communication Networks
- Computer logic
- Logics and Meanings of Programs
- Computer science
- Computers
- Theory of Computation
- Computer communication systems
- Mathematical logic
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts