Sortiert nach
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023, p.1-18
2023
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.268-282
Link zum Volltext
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.112-128
2010
Link zum Volltext
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, p.47-54
2021
Link zum Volltext
Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1977, p.238-252
1977
Link zum Volltext
Lecture notes in computer science, 2004, p.280-295
2004
Link zum Volltext
Lecture notes in computer science, 2001, p.412-430
2001
Link zum Volltext
Static Analysis, p.389-410
Link zum Volltext
Proceedings of the 2017 Winter Simulation Conference, 2017, p.1-12
2017
Link zum Volltext
Programming Languages and Systems, p.146-166
Link zum Volltext
Static Analysis, p.184-199
Link zum Volltext
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, p.520-531
Link zum Volltext
Privacy in Statistical Databases, p.190-209
Link zum Volltext
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
Link zum Volltext
2017 IEEE Symposium on Privacy-Aware Computing (PAC), 2017, p.49-59
2017
Link zum Volltext
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
Link zum Volltext
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
Link zum Volltext
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004, Vol.6, p.5958-5963 vol.6
2004
- Link zum Volltext
2012 16th IEEE Mediterranean Electrotechnical Conference, 2012, p.519-523
2012
- Link zum Volltext
2009 IEEE International Conference on Automation and Logistics, 2009, p.933-938
2009
- Link zum Volltext
Proceedings Electronic Technology Directions to the Year 2000, 1995, p.11-13
1995
- Link zum Volltext
2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA), 2015, p.19-24
2015
Link zum Volltext
2009 International Conference on Advanced Computer Control, 2009, p.448-452
2009
- Link zum Volltext
Proceedings of 1994 American Control Conference - ACC '94, 1994, Vol.3, p.2470-2474 vol.3
1994
- Link zum Volltext
Proceedings Electronic Technology Directions to the Year 2000, 1995, p.128-136
1995
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Engineering
- Computer Science, Artificial Intelligence
- Engineering, Electrical & Electronic
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Genetic Algorithms
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Automation & Control Systems
- Fuzzy Systems
- Physical Sciences
- Fuzzy Control
- Fuzzy Logic
- Software
- Control Systems
Kollektion
- IEEE Electronic Library (IEL)
- ACM Digital Library Complete
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IngentaConnect Journals
- Sociological Abstracts
- MEDLINE
- Journals@Ovid Ovid Full Text
- Elsevier ScienceDirect Journals Complete
- Wiley Blackwell Single Titles
- Wiley Online Library Full Collection 2018
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Single Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- World Scientific eBooks
- EBSCOhost Business Source Ultimate