Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 758
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
model checking
59
quantum computing
56
computer science.
43
quantum physics
33
computing and processing
22
quantum theory
22
mehr ...
software engineering
22
artificial intelligence
21
authentifizierung
20
formal verification
20
software engineering.
20
components, circuits, devices and systems
18
computer science
17
formal logic
17
information theory.
17
computational complexity.
16
logic design.
15
verschlusselung
15
computer programming
14
markov processes
14
programming languages
14
quantum cryptography
14
quantum mechanics
14
quantum computers
13
quantum dots
13
architecture verification and validation
12
communication, networking and broadcast technologies
12
computer software.
12
software quality
12
algorithm analysis and problem complexity.
11
weniger ...
Veröffentlicht in
journal of computer and system sciences
13
journal of chemical physics
12
lecture notes in computer science
11
theoretical computer science
9
scientific reports
7
acm transactions on computational logic
5
mehr ...
ieee transactions on computer-aided design of integrated circuits & systems
5
issn: 0005-2736 ; eissn: 1879-2642
5
journal of high energy physics
5
nuclear physics. b. theoretical, phenomenological, and experimental high energy physics. quantum field theory and statistical systems
5
aip conference proceedings
4
classical & quantum gravity
4
information
4
information and computation
4
national science review
4
quantum information processing
4
siam journal on computing
4
artificial intelligence
3
biblioteca digital de teses e dissertacoes da ufrgs
3
choice: current reviews for academic libraries
3
czechoslovak journal of physics
3
ieee transactions on computer-aided design of integrated circuits and systems, computer-aided design of integrated circuits and systems, ieee transactions on, ieee trans. comput.-aided des. integr. circuits syst.
3
international journal of molecular sciences
3
journal of russian laser research
3
physical review letters
3
transactions on cryptographic hardware and embedded systems
3
ufrgs
3
universidade federal do rio grande do sul
3
bba - biomembranes
2
communications in mathematical physics
2
weniger ...
Verlag
springer nature
42
springer nature switzerland
35
elsevier b.v.
30
ieee
30
springer
30
springer-verlag, berlin
25
mehr ...
american physical society
17
american institute of physics
16
ccsd
14
cambridge university press
13
springer berlin heidelberg
12
mdpi
11
mdpi ag
10
ruhr-universitat bochum
9
elsevier inc.
8
iop publishing
7
springer international publishing
6
american chemical society
5
wiley
5
wti-frankfurt-digital gmbh
5
acm - association for computing machinery
4
oxford university press / usa
4
springer nature singapore
4
wiley-blackwell
4
world scientific publ co pte ltd
4
emerald publishing limited
3
kherson state university
3
society for industrial & applied mathematics
3
taylor & francis ltd
3
trans tech publications
3
weniger ...
Sprache
Datenbank
BASE
179
MathSciNet via EBSCOhost
110
TEMA
85
Academic Search Index
63
Complementary Index
44
arXiv
43
mehr ...
Harvard Library Bibliographic Dataset
43
IEEE Xplore Digital Library
28
ScienceDirect
23
eBook Index
20
MEDLINE
19
Networked Digital Library of Theses & Dissertations
15
Directory of Open Access Journals
12
Science Citation Index Expanded
12
Gale Academic OneFile
8
GBV Online Contents
8
Directory of Open Access Books
7
SciTech Connect
6
OAPEN Library
6
wiso
5
Business Source Premier
5
Supplemental Index
4
Books at JSTOR
4
ACM Full-Text Collection
3
Library, Information Science & Technology Abstracts
2
Emerald Insight
1
APA PsycInfo
1
JSTOR Journals
1
Europeana
1
weniger ...
Erscheinungsjahr
Filter