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...Journal of Computer Virology and Hacking Techniques, 2018-02, Vol.14 (1), p.53-68
2018
Volltextzugriff (PDF)
Nonlinear analysis. Hybrid systems, 2010-05, Vol.4 (2), p.250-262
2010
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, 2006, p.257-271
2006
Volltextzugriff (PDF)
Computer Aided Verification, p.540-554
Volltextzugriff (PDF)
Theoretical computer science, 2011-05, Vol.412 (21), p.2095-2107
2011
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.215-228
Volltextzugriff (PDF)
Computer Aided Verification, p.379-395
Volltextzugriff (PDF)
Static Analysis, 2017, Vol.10422, p.192-211
2017
Volltextzugriff (PDF)
Risks and Security of Internet and Systems, p.11-28
Volltextzugriff (PDF)
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018, p.478-489
2018
Volltextzugriff (PDF)
Technique et science informatiques: TSI, 2016-12, Vol.35 (6), p.609-640
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.396-411
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.69-83
Volltextzugriff (PDF)
Computational Methods in Systems Biology, p.126-141
Volltextzugriff (PDF)
Risks and Security of Internet and Systems, p.139-144
Volltextzugriff (PDF)
Proceedings of the 14th international conference on Hybrid systems: computation and control, 2011, p.93-102
2011
Volltextzugriff (PDF)
Communicating Embedded Systems, 2013, p.227-251
2013
Volltextzugriff (PDF)
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013, p.203-212
2013
Volltextzugriff (PDF)
Theoretical computer science, 2011, Vol.412 (21), p.2095-2107
2011
Volltextzugriff (PDF)
IFAC Proceedings Volumes, 2008, Vol.41 (2), p.8966-8971
2008
Volltextzugriff (PDF)
Communicating Embedded Systems: Software and Design, 2009
2009
Volltextzugriff (PDF)
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006, p.1582-1587
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Reachability Analysis
- Computer Science, Theory & Methods
- Mathematics
- Optimization And Control
- Cryptography And Security
- Hybrid System
- Computer Science, Information Systems
- Hybrid Automaton
- Linear Systems
- Computer Science, Artificial Intelligence
- Networking And Internet Architecture
- Reachable State
- Algorithms
- Applied Sciences
- Automation & Control Systems
- Computational Methods
- Computer Science; Control Theory; Systems
Kollektion
- IngentaConnect
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- Wiley Online Library All Obooks
- SpringerLink E-Journals