Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...
    Datensatz exportieren als...
  • BibTeX
The Use of Lemmas in the Model Elimination Procedure
Journal of automated reasoning, 1997-08, Vol.19 (1), p.117
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
OO overkill: when simple is better than not
SIGCSE bulletin, 2001, Vol.33 (1), p.302-306
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
METEOR: Exploring model elimination theorem proving
Journal of automated reasoning, 1994-12, Vol.13 (3), p.283-296
1994
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Caching and lemmaizing in model elimination theorem provers
Automated Deduction—CADE-11, 2005, p.224-238
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Strategic directions in computer science education
ACM computing surveys, 1996-12, Vol.28 (4), p.836-845
1996
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Has our curriculum become math-phobic? (an American perspective)
Annual Joint Conference Integrating Technology into Computer Science Education: Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education : Helsinki, Finland; 11-13 July 2000, 2000, p.132-135
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An object-oriented, apprenticeship approach to data structures using simulation
Technology-Based Re-Engineering Engineering Education Proceedings of Frontiers in Education FIE'96 26th Annual Conference, 1996, Vol.1, p.130-134 vol.1
1996
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Recommendations for changes in advanced placement computer science (panel session)
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, 2000, p.416-416
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual Review of Federal Securities Regulation
The Business Lawyer, 2013-05, Vol.68 (3), p.839-976
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual review of federal securities regulation
The Business lawyer, 2013-05, Vol.68 (3), p.869
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual Review of Federal Securities Regulation
The Business Lawyer, 2007-05, Vol.62 (3), p.1065-1231
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual Review of Federal Securities Regulation
The Business Lawyer, 2008-05, Vol.63 (3), p.929-1077
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual Review of Federal Securities Regulation
The Business Lawyer, 2006-05, Vol.61 (3), p.1235-1374
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual Review of Federal Securities Regulation
The Business Lawyer, 2004-02, Vol.59 (2), p.689-896
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Annual Review of Federal Securities Regulation
The Business Lawyer, 2002-02, Vol.57 (2), p.885-953
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Effect of emotional factors on orthodontic cases
Revista portuguesa de estomatologia e cirurgia maxilo-facial, 1968-04, Vol.9 (2), p.105
1968
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The reactivity of the bound DPN of muscle triose phosphate dehydrogenase
Biochimica et biophysica acta, 1957-01, Vol.24 (1), p.141-154
1957
Volltextzugriff (PDF)
1 – 17 von 17
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen