Sortiert nach
Developments in Language Theory, p.132-144
Link zum Volltext
Multimedia tools and applications, 2015-12, Vol.74 (24), p.11207-11222
2015
Link zum Volltext
Term Rewriting, 1995, p.16-26
1995
Link zum Volltext
Multimedia and Signal Processing, p.367-374
Link zum Volltext
Embedded Computer Systems: Architectures, Modeling, and Simulation, p.65-74
Link zum Volltext
Computers Helping People with Special Needs, p.303-310
Link zum Volltext
Formal Verification of Object-Oriented Software, p.31-45
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.356-371
2015
Link zum Volltext
Formal Methods for Components and Objects, p.247-277
Link zum Volltext
Lecture notes in computer science, 2005, p.147-163
2005
Link zum Volltext
Rewriting Techniques and Applications, 1989, p.178-186
1989
Link zum Volltext
Logics of Specification Languages, p.15-46
Link zum Volltext
Computer Aided Verification, 2005, p.519-533
2005
Link zum Volltext
8th International Conference on Automated Deduction, 1986, p.365-376
1986
Link zum Volltext
2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA), 2022, p.82-97
2022
- Link zum Volltext
2015 IEEE International Conference on Smart City/SocialCom/SustainCom (SmartCity), 2015, p.1003-1009
2015
Link zum Volltext
Databases in Networked Information Systems, p.107-121
Link zum Volltext
IEEE transactions on information forensics and security, 2024, Vol.19, p.5561-5574
2024
- Link zum Volltext
Journal of applied logic, 2012-03, Vol.10 (1), p.52-74
2012
Link zum Volltext
Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP 2003, 2003, p.763-770
2003
Link zum Volltext
Recent Trends in Data Type Specification, 1988, p.113-130
1988
Link zum Volltext
Theoretical computer science, 2010-08, Vol.411 (38), p.3423-3435
2010
Link zum Volltext
Graphics Recognition. Recent Advances and Perspectives, 2004, p.199-210
2004
Link zum Volltext
Biomedical Applications Based on Natural and Artificial Computing, p.315-324
Link zum Volltext
Computers Helping People with Special Needs, 2004, p.983-990
2004
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Symbols
- Exact Sciences And Technology
- Applied Sciences
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Function Symbol
- Engineering
- Engineering, Electrical & Electronic
- Mathematics
- Physical Sciences
- Predicate Symbol
- Theoretical Computing
- Mathematics, Applied
- Telecommunications
Kollektion
- Ingenta Connect
- Springer Book Series
- IEEE Electronic Library (IEL)
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ACM Digital Library Complete
- EBSCOhost Business Source Ultimate
- SpringerLink Journals - AutoHoldings
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Wiley Online Library
- Oxford University Press Journals Current
- De Gruyter journals
- Wiley Online Library Full Collection 2018
- MEDLINE
- Reference Global
Zeitschrift / Serie
- Siam Journal On Computing
- Theoretical Computer Science
- Ieee Transactions On Information Forensics And Security
- Lecture Notes In Computer Science
- Journal Of The Acm
- Multimedia Tools And Applications
- Ieee/acm Transactions On Networking
- Designs, Codes, And Cryptography
- Communications Of The Acm
- Theory And Practice Of Logic Programming
Neu hinzugefügt