Sortiert nach
Logical methods in computer science, 2023-01, Vol.19, Issue 3
2023
Link zum Volltext
Neural computing & applications, 2020-06, Vol.32 (11), p.6467-6480
2020
Link zum Volltext
Future generation computer systems, 2018-02, Vol.79, p.295-302
2018
Link zum Volltext
The American journal of pathology, 2014-03, Vol.184 (3), p.714-720
2014
Link zum Volltext
Journal of artificial societies and social simulation, 2017-06, Vol.20 (3)
2017
Link zum Volltext
Frontiers of Computer Science, 2016-10, Vol.10 (5), p.870-888
2016
Link zum Volltext
Human pathology, 2009-09, Vol.40 (9), p.1288-1295
2009
Link zum Volltext
Discrete Applied Mathematics, 2009-03, Vol.157 (5), p.1046-1068
2009
Link zum Volltext
Science China. Information sciences, 2014-07, Vol.57 (7), p.1-12
2014
Link zum Volltext
Pattern recognition letters, 2020-04, Vol.132, p.115-122
2020
Link zum Volltext
Theoretical computer science, 2008-11, Vol.407 (1), p.448-457
2008
Link zum Volltext
Theoretical computer science, 2013-06, Vol.492, p.70-87
2013
Link zum Volltext
Journal of automated reasoning, 2007-07, Vol.39 (1), p.49-75
2007
Link zum Volltext
Lecture notes in computer science, 2006, p.339-352
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.355-370
2005
Link zum Volltext
Lecture notes in computer science, 2004, p.93-104
2004
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-01, Vol.24 (Proc. CCA 2010), p.130-138
2010
Link zum Volltext
Future generation computer systems, 2018-11, Vol.88, p.168-172
2018
Link zum Volltext
Lecture notes in computer science, 2004, p.356-369
2004
Link zum Volltext
Lecture notes in computer science, 2005, p.386-392
2005
Link zum Volltext
中国科学：信息科学（英文版）, 2014 (7), p.113-124
2014
Link zum Volltext
Journal of information security and applications, 2017-06, Vol.34, p.251-254
2017
Link zum Volltext
Discrete Applied Mathematics, 2003-08, Vol.130 (2), p.185-207
2003
Link zum Volltext
Minds and machines (Dordrecht), 2013-03, Vol.23 (1), p.5-45
2013
Link zum Volltext
Mathematical logic quarterly, 2013-02, Vol.59 (1-2), p.4-11
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Operating Systems
- Algorithms & Data Structures
- Mathematical Theory Of Computation
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Complexity
- Computer Science; Control Theory; Systems
- Engineering
- Mathematics
- Computer Science, Artificial Intelligence
- Physical Sciences
- Theoretical Computing
- Artificial Intelligence
- Algorithms
- Engineering, Electrical & Electronic
- Logical, Boolean And Switching Functions
Kollektion
- Ingenta
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Springer Books
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@OVID
- MEDLINE
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Wiley Online Library
- De Gruyter eBooks
- Single Journals
- Sociological Abstracts
- Wiley Online Library
Zeitschrift / Serie
- Journal On Satisfiability, Boolean Modeling And Computation
- Acta Mathematica Sinica. English Series
- Ai Communications
- Annals Of Mathematics And Artificial Intelligence
- Discrete Applied Mathematics
- Electronic Notes In Theoretical Computer Science
- Future Generation Computer Systems
- Lecture Notes In Computer Science
- Theoretical Computer Science
- Theory And Applications Of Satisfiability Testing
Neu hinzugefügt