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...2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24
2012
Volltextzugriff (PDF)
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.541-550
2012
Volltextzugriff (PDF)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-15
2024
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.505-514
2016
Volltextzugriff (PDF)
2018 IEEE International Test Conference (ITC), 2018, p.1-7
2018
Volltextzugriff (PDF)
IEEE intelligent systems, 2009-07, Vol.24 (4), p.10-13
2009
Volltextzugriff (PDF)
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019, p.47-56
2019
Volltextzugriff (PDF)
2015 International Conference on Complex Systems Engineering (ICCSE), 2015, p.1-2
2015
Volltextzugriff (PDF)
2019 International Conference on Embedded Software (EMSOFT), 2019, p.1-2
2019
Volltextzugriff (PDF)
2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2011, p.1181-1186
2011
Volltextzugriff (PDF)
2015 International Conference on Embedded Software (EMSOFT), 2015, p.127-136
2015
Volltextzugriff (PDF)
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012, p.171-180
2012
Volltextzugriff (PDF)
2015 International Conference on Embedded Software (EMSOFT), 2015, p.227-236
2015
Volltextzugriff (PDF)
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)
2012 Ninth International Conference on Quantitative Evaluation of Systems, 2012, p.84-93
2012
Volltextzugriff (PDF)
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2016, p.1-1
2016
Volltextzugriff (PDF)
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015, p.1-1
2015
Volltextzugriff (PDF)
2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015, p.757-764
2015
Volltextzugriff (PDF)
2012 American Control Conference (ACC), 2012, p.3573-3580
2012
Volltextzugriff (PDF)
16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013), 2013, p.1565-1570
2013
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Safety
- Engineering
- Engineering, Electrical & Electronic
- Mathematical Model
- Acceleration
- Computer Science, Theory & Methods
- Hybrid Systems
- Vehicle Dynamics
- Logic
- Science & Technology - Other Topics
- Semantics
- Theory Of Computation -- Logic
- Transportation
- Atmospheric Modeling
- Automobiles
- Cognition
- Computer Science, Artificial Intelligence
Kollektion
Zeitschrift / Serie