Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Verification, Model Checking, and Abstract Interpretation, p.268-282
Volltextzugriff (PDF)

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.112-128
2010
Volltextzugriff (PDF)

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, p.47-54
2021
Volltextzugriff (PDF)

Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1977, p.238-252
1977
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.280-295
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, p.412-430
2001
Volltextzugriff (PDF)

Abstract Semantic Dependency
Static Analysis, p.389-410
Volltextzugriff (PDF)

Proceedings of the 2017 Winter Simulation Conference, 2017, p.1-12
2017
Volltextzugriff (PDF)

Programming Languages and Systems, p.146-166
Volltextzugriff (PDF)

Open Access
Accelerated Data-Flow Analysis
Static Analysis, p.184-199
Volltextzugriff (PDF)

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, p.520-531
Volltextzugriff (PDF)


Conference on Programming Language Design and Implementation: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation; 18-21 June 1995, 1995, p.67-78
1995
Volltextzugriff (PDF)

2017 IEEE Symposium on Privacy-Aware Computing (PAC), 2017, p.49-59
2017
Volltextzugriff (PDF)

Activity coordination programs
International Software Process Workshop: Proceedings of the 4th international software process workshop on Representing and enacting the software process : Devon, United Kingdom, 1988, p.57-60
1988
Volltextzugriff (PDF)

International Conference on Autonomous Agents: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1; 15-19 July 2002, 2002, p.191-198
2002
Volltextzugriff (PDF)

Adapting in an uncertain world
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004, Vol.6, p.5958-5963 vol.6
2004
Volltextzugriff (PDF)

2012 16th IEEE Mediterranean Electrotechnical Conference, 2012, p.519-523
2012
Volltextzugriff (PDF)

2009 IEEE International Conference on Automation and Logistics, 2009, p.933-938
2009
Volltextzugriff (PDF)

Adaptive fuzzy control systems
Proceedings Electronic Technology Directions to the Year 2000, 1995, p.11-13
1995
Volltextzugriff (PDF)

2009 International Conference on Advanced Computer Control, 2009, p.448-452
2009
Volltextzugriff (PDF)

Proceedings of 1994 American Control Conference - ACC '94, 1994, Vol.3, p.2470-2474 vol.3
1994
Volltextzugriff (PDF)

Proceedings Electronic Technology Directions to the Year 2000, 1995, p.128-136
1995
Volltextzugriff (PDF)

2009 IEEE Symposium on Computational Intelligence in Control and Automation, 2009, p.15-20
2009
Volltextzugriff (PDF)
Aktive Filter
SpracheRussisch
PublikationsformTagungsberichte
Suchergebnisse filtern
Filter anzeigen