Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Science of computer programming, 2018-09, Vol.162, p.76-92
2018
Volltextzugriff (PDF)
Information and computation, 2009-02, Vol.207 (2), p.171-193
2009
Volltextzugriff (PDF)
Information and computation, 2009, Vol.207 (2), p.171-193
2009
Volltextzugriff (PDF)
Science of computer programming, 2014-10, Vol.92, p.56-84
2014
Volltextzugriff (PDF)
Theoretical computer science, 2007-04, Vol.373 (3), p.182-212
2007
Volltextzugriff (PDF)
Theoretical computer science, 2007, Vol.373 (3), p.182-212
2007
Volltextzugriff (PDF)
Proceedings of the Third international conference on Engineering secure software and systems, 2011, p.43-57
2011
Volltextzugriff (PDF)
Formal Aspects of Security and Trust, p.115-130
Volltextzugriff (PDF)
Engineering Secure Software and Systems, p.43-57
Volltextzugriff (PDF)
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2016, p.73-80
2016
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2006-05, Vol.156 (1), p.115-133
2006
Volltextzugriff (PDF)
CONCUR 2007 – Concurrency Theory, p.349-363
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-07, Vol.241, p.85-100
2009
Volltextzugriff (PDF)
Proceedings of the 2nd international conference on Virtual execution environments, 2006, p.57-67
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Programming Languages
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Distributed, Parallel, And Cluster Computing
- Logic In Computer Science
- Applied Sciences
- Call Graph
- Computer Science; Control Theory; Systems
- Control Of Agent Migrations
- Coq
- Distributed Computation
- Dpi-Calculus
- Exact Sciences And Technology
- Formal Proof
- Implementation Using Replication
- Mathematics
- Memory Isolation
Kollektion