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
Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Least-Squares Finite Element Methods
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Agent Technology from a Formal Perspective [Elektronische Ressource]
NASA Monographs in Systems and Software Engineering
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Time for Verification : Essays in Memory of Amir Pnueli [Elektronische Ressource]
Lecture Notes in Computer Science : 6200
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finite-Elemente-Methode : Rechnergestützte Einführung [Elektronische Ressource]
4., neu bearb. u. erg. Aufl. 2012, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finite-Elemente-Methode : Rechnergestützte Einführung [Elektronische Ressource]
3., neu bearbeitete Auflage, 2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mixed Finite Element Methods and Applications [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finite-Elemente-Methode : Rechnergestützte Einführung [Elektronische Ressource]
5., bearb. u. erg. Aufl. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computational Electromagnetics [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematical and Computer Programming Techniques for Computer Graphics [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebraic Methodology and Software Technology : 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods: State of the Art and New Directions [Elektronische Ressource]
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation [Elektronische Ressource]
2009
Volltextzugriff (PDF)
1 – 25 von 344
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
SystemstelleHQN
SystemstelleKSV
SystemstelleNXY
SchlagwortComputer science
Suchergebnisse filtern
Filter anzeigen