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...Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2009-12, Vol.611 (2), p.272-275
- Anghel, A.
- Atchison, F.
- Blau, B.
- van den Brandt, B.
- Daum, M.
- Doelling, R.
- Dubs, M.
- Duperrex, P.-A.
- Fuchs, A.
- George, D.
- Gültl, L.
- Hautle, P.
- Heidenreich, G.
- Heinrich, F.
- Henneck, R.
- Heule, S.
- Hofmann, Th
- Joray, St
- Kasprzak, M.
- Kirch, K.
- Knecht, A.
- Konter, J.A.
- Korhonen, T.
- Kuzniak, M.
- Lauss, B.
- Mezger, A.
- Mtchedlishvili, A.
- Petzoldt, G.
- Pichlmaier, A.
- Reggiani, D.
- Reiser, R.
- Rohrer, U.
- Seidel, M.
- Spitzer, H.
- Thomsen, K.
- Wagner, W.
- Wohlmuther, M.
- Zsigmond, G.
- Zuellig, J.
- Bodek, K.
- Kistryn, S.
- Zejma, J.
- Geltenbort, P.
- Plonka, C.
- Grigoriev, S.
2009
Volltextzugriff (PDF)
Diamond and related materials, 2007-02, Vol.16 (2), p.334-341
2007
Volltextzugriff (PDF)
Applied surface science, 2007-07, Vol.253 (19), p.8245-8249
2007
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.307-323
2015
Volltextzugriff (PDF)
12th International Joint Conference on Automated Reasoning, IJCAR 2024, Nancy, France, 2024, Vol.14739, p.396
2024
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.405-422
2015
Volltextzugriff (PDF)
Automated Reasoning, 2024, Vol.14740, p.157-175
2024
Volltextzugriff (PDF)
12th International Joint Conference on Automated Reasoning, IJCAR 2024, Nancy, France, 2024, Vol.14739 LNAI, p.214
2024
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.156-172
2015
Volltextzugriff (PDF)
A novel apparatus for the investigation of material properties for the storage of ultracold neutrons
2005
Volltextzugriff (PDF)
Diamond and related materials, 2006-04, Vol.15 (4), p.928-931
2006
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.104-120
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.9-16
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.33-45
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.46-61
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.1-8
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, p.88-103
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.324-342
2015
Volltextzugriff (PDF)
Journal of research of the National Institute of Standards and Technology, 2005-05, Vol.110 (3), p.279-281
2005
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.238-254
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.173-190
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.343-359
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.272-286
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.199-214
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.215-222
2015
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Physical Sciences
- Robotics
- Mathematical Theory Of Computation
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Logic
- Mathematics
- Conjunctive Normal Form
- Engineering
- Physics
- Conjunctive Normal Form Formula
- Instruments & Instrumentation
- Mathematics, Applied
- Chemistry
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Journals@Ovid Ovid Full Text
- Wiley-Blackwell Journals
- Wiley Online Library
- Free E-Journal (出版社公開部分のみ）
- IEEE Xplore Digital Library
- MEDLINE
- IngentaConnect Journals
- Applied Social Sciences Index & Abstracts (ASSIA)
- Access via Business Source (EBSCOhost)
- Thieme
- Publisher or Other Site
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Nuclear Instruments & Methods In Physics Research. Section A, Accelerators, Spectrometers, Detectors And Associated Equipment
- Acm Transactions On Computational Logic
- Lab On A Chip
- Advanced Materials
- Applied Thermal Engineering
- Diamond And Related Materials
- Nmr In Biomedicine
- Proceedings Of The ... Aaai Conference On Artificial Intelligence
- Proceedings Of The Aaai Conference On Artificial Intelligence
Neu hinzugefügt