Sortiert nach
Computer (Long Beach, Calif.), 2009-02, Vol.42 (2), p.44-52
2009
- Link zum Volltext
Proceedings of the IEEE, 2003-01, Vol.91 (1), p.11-28
2003
- Link zum Volltext
IEEE transactions on computers, 2007-11, Vol.56 (11), p.1505-1519
2007
- Link zum Volltext
Proceedings of the IEEE, 2012-01, Vol.100 (1), p.75-90
2012
- Link zum Volltext
Automated Technology for Verification and Analysis, p.518-534
Link zum Volltext
Automated Technology for Verification and Analysis, p.127-143
Link zum Volltext
Automated Technology for Verification and Analysis, p.537-542
Link zum Volltext
Automated Technology for Verification and Analysis, p.564-571
Link zum Volltext
IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.129-145
2002
- Link zum Volltext
Automated Technology for Verification and Analysis, p.92-107
Link zum Volltext
Automated Technology for Verification and Analysis, p.447-463
Link zum Volltext
Automated Technology for Verification and Analysis, p.253-270
Link zum Volltext
Automated Technology for Verification and Analysis, p.25-53
Link zum Volltext
Automated Technology for Verification and Analysis, p.557-563
Link zum Volltext
Automated Technology for Verification and Analysis, p.3-24
Link zum Volltext
Automated Technology for Verification and Analysis, 2020, p.377-393
2020
Link zum Volltext
Automated Technology for Verification and Analysis, p.543-549
Link zum Volltext
Automated Technology for Verification and Analysis, p.179-195
Link zum Volltext
Automated Technology for Verification and Analysis, p.429-446
Link zum Volltext
Automated Technology for Verification and Analysis, p.57-74
Link zum Volltext
Automated Technology for Verification and Analysis, 2020, p.360-376
2020
Link zum Volltext
Automated Technology for Verification and Analysis, p.394-410
Link zum Volltext
Automated Technology for Verification and Analysis, p.161-178
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Computer Systems And Distributed Systems. User Interface
- Telecommunications
- Computer Science, Hardware & Architecture
- Physical Sciences
- Physics
- Astronomy & Astrophysics
- Cosmic Rays
- Automation & Control Systems
- Physics, Particles & Fields
- Computer Science, Information Systems
- Memory Organisation. Data Processing
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Free E-Journal (出版社公開部分のみ）
- IEEE Electronic Library (IEL)
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- American Physical Society Journals
- PROLA - Physical Review Online Archive
- ACM Digital Library Complete
- Wiley Blackwell Single Titles
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- MEDLINE
- Journals@Ovid Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- Wiley Online Library Full Collection 2018
- SpringerLink_现刊
Zeitschrift / Serie
- Astroparticle Physics
- The Astrophysical Journal
- Physical Review Letters
- Astrophysical Journal. Letters
- Nuclear Instruments & Methods In Physics Research. Section A, Accelerators, Spectrometers, Detectors And Associated Equipment
- Astrophysical Journal
- Journal Of Physics. Conference Series
- Journal Of Physics: Conference Series
- Nuclear Instruments And Methods In Physics Research Section A: Accelerators, Spectrometers, Detectors And Associated Equipment
- Nuclear Instruments And Methods In Physics Research, Section A: Accelerators, Spectrometers, Detectors And Associated Equipment
Neu hinzugefügt