Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...IEICE transactions on fundamentals of electronics, communications and computer sciences, 2011, Vol.E94-A (12), p.2794-2801
2011
Volltextzugriff (PDF)
Journal of Applied Mathematics, 2014-01, Vol.2014 (2014), p.97-117-908
2014
Volltextzugriff (PDF)
Automated Reasoning, 2006, p.151-155
2006
Volltextzugriff (PDF)
Formal aspects of computing, 2014-09, Vol.26 (5), p.943-962
2014
Volltextzugriff (PDF)
Synthesiology English edition, 2009, Vol.1(3), pp.209-215
2009
Volltextzugriff (PDF)
Synthesiology, 2009, Vol.1 (3), p.209-215
2009
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.291-305
Volltextzugriff (PDF)
Language and Automata Theory and Applications, p.408-419
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, p.114-128
2002
Volltextzugriff (PDF)
2012 19th Asia-Pacific Software Engineering Conference, 2012, Vol.1, p.614-623
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.50-65
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.483-498
2003
Volltextzugriff (PDF)
Computer Science Logic, 2001, p.539-553
2001
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.142-156
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.221-236
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.163-178
Volltextzugriff (PDF)
Automated Deduction — Cade-13, 2005, p.373-387
2005
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2005, p.283-293
2005
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p.458-473
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.337-351
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2005-03, Vol.124 (1), p.97-111
2005
Volltextzugriff (PDF)
Acta informatica, 2000-07, Vol.36 (12), p.1007-1029
2000
Volltextzugriff (PDF)
Proceedings of the Fourth Symposium on Information and Communication Technology, 2013, p.275-284
2013
Volltextzugriff (PDF)
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012, p.251-259
2012
Volltextzugriff (PDF)
Software engineering notes, 2012-07, Vol.37 (4), p.1-8
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Electronic Journals Library
- IngentaConnect
- MEDLINE
- Springer Book Series (Lecture Notes)
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Collection
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Publisher or Other Site
- Ovid SocietyJournals and Single Titles
- IEEE Xplore
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- ACM Digital Library
- Oxford Journals
- Taylor & Francis Online
- Wiley Online Library Full Collection 2018
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- Project Euclid
Zeitschrift / Serie
- Nutrients
- Ieee Transactions On Applied Superconductivity
- The Journal Of The Japan Society For Respiratory Endoscopy
- Nihon Kyōbu Shikkan Gakkai Zasshi
- The Japanese Journal Of Thoracic Diseases
- Advances In Experimental Medicine And Biology
- Annals Of Nutrition And Metabolism
- Haigan
- Haigan. Lung Cancer
- Internal Medicine