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...Programming Languages and Systems, p.282-309
Volltextzugriff (PDF)
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication, 2012, p.323-334
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.483-494
2013
Volltextzugriff (PDF)
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, 2013, p.109-114
2013
Volltextzugriff (PDF)
Proceedings of the 10th ACM Workshop on Hot Topics in Networks, 2011, p.1-6
2011
Volltextzugriff (PDF)
Computer communication review, 2012-10, Vol.42 (4), p.323-334
2012
Volltextzugriff (PDF)
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013, p.483-494
2013
Volltextzugriff (PDF)
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, 2010, p.28-36
2010
Volltextzugriff (PDF)
2013 Formal Methods in Computer-Aided Design, 2013, p.9-10
2013
Volltextzugriff (PDF)
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications, 2009, p.82-89
2009
Volltextzugriff (PDF)
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013), 2013, p.189-194
2013
Volltextzugriff (PDF)
IEEE communications magazine, 2013-02, Vol.51 (2), p.128-134
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Frenetic
- Openflow
- Science & Technology
- Software-Defined Networking
- Technology
- Consistency
- Planned Change
- Software
- Computer Science, Software Engineering
- Educational Institutions
- Formal Verification
- Netcore
- Network Programming Languages
- Protocols
- Runtime
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Tutorials
- Acl2
- Awards Activities
Kollektion
Zeitschrift / Serie