Sortiert nach
SIAM journal on computing, 2010-01, Vol.39 (7-8), p.3441-3462
2010
Link zum Volltext
SIAM journal on computing, 2010-01, Vol.39 (6), p.2176-2188
2010
Link zum Volltext
Automated Deduction – CADE-20, 2005, p.219-234
2005
Link zum Volltext
Computer Safety, Reliability, and Security, 2005, p.303-316
1ère éd, 2005
Link zum Volltext
SIAM journal on computing, 2011, Vol.40 (1), p.79-91
2011
Link zum Volltext
SIAM journal on computing, 2010, Vol.39 (5), p.2075-2089
2010
Link zum Volltext
Lecture notes in computer science, 2000, p.280-301
2000
Link zum Volltext
SIAM journal on computing, 2010, Vol.39 (5), p.1941-1956
2010
Link zum Volltext
Database Theory - ICDT 2005, 2005, p.337-351
2005
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.78-92
2005
Link zum Volltext
Advances in Neural Networks - ISNN 2006, 2006, p.135-143
2006
Link zum Volltext
IEEE transactions on evolutionary computation, 2001-04, Vol.5 (2), p.93-101
2001
- Link zum Volltext
Lecture notes in computer science, 2005, p.167-181
1ère éd, 2005
Link zum Volltext
Applications and Theory of Petri Nets 2005, 2005, p.349-364
2005
Link zum Volltext
Journal of the ACM, 2010-03, Vol.57 (3), p.1-44
2010
Link zum Volltext
SIAM journal on computing, 2010-01, Vol.39 (7-8), p.3633-3669
2010
Link zum Volltext
Information and computation, 2011-03, Vol.209 (3), p.486-512
2011
Link zum Volltext
Lecture notes in computer science, 2006, p.110-121
2006
Link zum Volltext
Lecture notes in computer science, 2004, p.267-281
2004
Link zum Volltext
SIAM journal on computing, 2011, Vol.40 (1), p.107-121
2011
Link zum Volltext
Foundations of Software Science and Computation Structures, 2006, p.94-110
2006
Link zum Volltext
Implementation and Application of Automata, 2006, p.126-136
2006
Link zum Volltext
Lecture notes in computer science, 2004, p.210-220
2004
Link zum Volltext
Lecture notes in computer science, 2005, p.105-118
2005
Link zum Volltext
Lecture notes in computer science, 2006, p.440-453
2006
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Software
- Function Symbol
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Algorithmics. Computability. Computer Arithmetics
- Artificial Intelligence
- Predicate Symbol
- Computer Science, Information Systems
- Mathematics
- Physical Sciences
- Input Symbol
- Memory Organisation. Data Processing
Kollektion
- SpringerLink Series
- Business Source Ultimate
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore Digital Library
- Wiley Online Library - AutoHoldings Journals
- MEDLINE
- Wiley Online Library Full Collection 2018
- Nexis
- Journals@Ovid Complete
- Publisher or Other Site
Zeitschrift / Serie
- Siam Journal On Computing
- Lecture Notes In Computer Science
- Journal Of The Acm
- Theoretical Computer Science
- Advances In Information Systems
- Advances In Information Systems, Proceedings
- Ieee Transactions On Neural Networks
- Implementation And Application Of Automata
- Information And Computation
- String Processing And Information Retrieval