Sortiert nach
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2), p.1-45
2011
Link zum Volltext
ACM transactions on programming languages and systems, 2008-10, Vol.30 (6), p.1-59
2008
Link zum Volltext
ACM transactions on programming languages and systems, 2009, Vol.31 (1)
2009
Link zum Volltext
Theoretical computer science, 2005, Vol.340 (1), p.102-153
2005
Link zum Volltext
SIGPLAN notices, 2011-09, Vol.46 (9), p.266-278
2011
Link zum Volltext
Formal Methods for Components and Objects, 2004, p.197-222
2004
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Cryptography
- Information, Signal And Communications Theory
- Signal And Communications Theory
- Telecommunications And Information Theory
- Computer Science
- Computer Science, Software Engineering
- Computer Systems Performance. Reliability
- Memory And File Management
- Memory Organisation. Data Processing
- Science & Technology
- Software Engineering
- Technology
- Computer Systems And Distributed Systems. User Interface
- Programming Languages
- Check Message
- Computation And Language
Kollektion
Zeitschrift / Serie