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
    Datensatz exportieren als...
  • BibTeX
1984 ACM A.M. turing award recipient. From programming language design to computer construction
Communications of the ACM, 1985, Vol.28 (2), p.159-164
1985
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
2008 workshop on Tools at VSTTE 2008, Toronto
Formal aspects of computing, 2011, Vol.23 (5)
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An algebraic semantics for MOF: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary
Formal aspects of computing, 2010, Vol.22 (3-4), p.269-296
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Allan L. Schen. Big blue's time-shaving pioneer
Communications of the ACM, 1987, Vol.30 (10), p.824-828
1987
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applicable Formal Methods
Formal aspects of computing, 2006, Vol.18 (1)
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applicable Formal Methods
Formal aspects of computing, 2011, Vol.23 (6)
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applications of combinatiorial designs in computer science
ACM computing surveys, 1989, Vol.21 (2), p.223-250
1989
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Atomic actions, and their refinements to isolated protocols: Refinement
Formal aspects of computing, 2010, Vol.22 (1), p.33-61
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automated property verification for large scale B models with ProB: Applicable Formal Methods
Formal aspects of computing, 2011, Vol.23 (6), p.683-709
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automatic verification of Java programs with dynamic frames: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary
Formal aspects of computing, 2010, Vol.22 (3-4), p.423-457
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automating the transformation-based analysis of visual languages: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary
Formal aspects of computing, 2010, Vol.22 (3-4), p.297-326
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
AVoCS (Automated Verification of Critical Systems) workshop
Formal aspects of computing, 2005, Vol.17 (2)
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
AVoCS'05 International Workshop on Automated Verification of Critical Systems
Formal aspects of computing, 2007, Vol.19 (3)
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The big brother ballot
Operating systems review, 1999-07, Vol.33 (3), p.19-25
1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Bisimulations in calculi modelling membranes: Extended versions of selected contributions from the International Colloquium on Theoretical Aspects of Computing (ICTAC), November 2006, Tunis, Tunisia
Formal aspects of computing, 2008, Vol.20 (4-5), p.351-377
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Brian K. Reid. A graphics tale of a hacker tracker
Communications of the ACM, 1987, Vol.30 (10), p.820-823
1987
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Capture-avoiding substitution as a nominal algebra: Extended versions of selected contributions from the International Colloquium on Theoretical Aspects of Computing (ICTAC), November 2006, Tunis, Tunisia
Formal aspects of computing, 2008, Vol.20 (4-5), p.451-479
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The certification of the Mondex electronic purse to ITSEC Level E6: Verified software grand challenge : the Mondex case study
Formal aspects of computing, 2008, Vol.20 (1), p.5-19
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Commentaries on the past 15 years
Communications of the ACM, 1987-10, Vol.30 (10), p.880-883
1987
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Comments on: On the security of three-party cryptographic protocols by Xu, Zhang and Zhu
Operating systems review, 1999-07, Vol.33 (3), p.5-6
1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A comparison of tools for teaching formal software verification: Education
Formal aspects of computing, 2009, Vol.21 (3), p.293-301
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A compositional Petri net translation of general π-calculus terms: Extended versions of selected contributions from the International Colloquium on Theoretical Aspects of Computing (ICTAC), November 2006, Tunis, Tunisia
Formal aspects of computing, 2008, Vol.20 (4-5), p.429-450
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Compositional refinement in agent-based security protocols: Applicable Formal Methods
Formal aspects of computing, 2011, Vol.23 (6), p.711-737
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The computing program of the office of naval research, 1946-1953
Communications of the ACM, 1987-10, Vol.30 (10), p.832-848
1987
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Concurrency and Real-Time for Eiffel-like Languages
Formal aspects of computing, 2009, Vol.21 (4)
2009
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 99
Suche als RSS-Feed
Aktive Filter
KollektionHEAL-Link subscriptions: Springer Book Series
KollektionOxford University Press Journals Current
KollektionWiley-Blackwell Journals
ThemaArtificial Intelligence
ThemaBiology
ThemaMemory And File Management
ThemaScience & Technology
KollektionACM Digital Library
ThemaComputer Science; Control Theory; Systems
ThemaMiscellaneous
Suchergebnisse filtern
Filter anzeigen