Sortiert nach
IEEE transactions on computer-aided design of integrated circuits and systems, 2006-05, Vol.25 (5), p.780-788
2006
- Link zum Volltext
2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.480-491
2009
- Link zum Volltext
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings, 2003, p.361-370
2003
- Link zum Volltext
Journal of the ACM, 1986-01, Vol.33 (1), p.151-178
1986
Link zum Volltext
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), 1998, p.70-80
1998
- Link zum Volltext
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 1999, p.336-343
1999
- Link zum Volltext
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), 2000, p.121-131
2000
- Link zum Volltext
Annual ACM IEEE Design Automation Conference: Proceedings of the 42nd annual conference on Design automation; 13-17 June 2005, 2005, p.467-470
2005
- Link zum Volltext
2008 Formal Methods in Computer-Aided Design, 2008, p.1-10
2008
- Link zum Volltext
2009 Formal Methods in Computer-Aided Design, 2009, p.33-40
2009
Link zum Volltext
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, 1991, p.368-377
1991
- Link zum Volltext
Proceedings International Conference on Computer Design VLSI in Computers and Processors, 1997, p.455-460
1997
- Link zum Volltext
International Conference on Software Engineering, 1992, p.188-198
1992
- Link zum Volltext
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988, p.328-337
1988
- Link zum Volltext
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 1990, p.4640-4675
1990
- Link zum Volltext
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989, p.333-342
1989
- Link zum Volltext
The Canadian Geographer, 1989, Vol.33 (3), p.284
1989
Link zum Volltext
Biochemistry (Easton), 2023-09, Vol.62 (17), p.2530-2540
2023
Link zum Volltext
Pharmaceutics, 2023-09, Vol.15 (9), p.2303
2023
Link zum Volltext
Journal of motor behavior, 2019-09, Vol.51 (5), p.551-560
2019
Link zum Volltext
ChemistrySelect (Weinheim), 2022-11, Vol.7 (44), p.n/a
2022
Link zum Volltext
ACS applied bio materials, 2023-10, Vol.6 (10), p.4345-4357
2023
Link zum Volltext
Soil & tillage research, 2007-09, Vol.95 (1), p.348-356
2007
Link zum Volltext
Physical review. D, Particles, fields, gravitation, and cosmology, 2011-07, Vol.84 (2), Article 025010
2011
Link zum Volltext
IEEE transactions on nuclear science, 2008-08, Vol.55 (4), p.2323-2328
2008
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Life Sciences & Biomedicine
- Contracts
- Logic
- Automata
- Physical Sciences
- Computer Science, Hardware & Architecture
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Humans
- Nuclear Science & Technology
- Physics
- Biochemistry & Molecular Biology
- Biological And Medical Sciences
- Boolean Functions
- Calculus
- Computational Modeling
Kollektion
- IngentaConnect
- IEEE Xplore
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- NUS Single-Journal Subscriptions
- MEDLINE
- ACM Digital Library Complete
- IngentaConnect Journals
- Taylor & Francis Journals Auto-Holdings Collection
- BSC - Ebsco (Business Source Ultimate)
- Psychology & Behavioral Sciences Collection (EBSCO)
- Taylor & Francis Current Content Access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals
- Taylor & Francis Online
- Springer journals
- American Physical Society Journals
- JSTOR
Zeitschrift / Serie