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
Programming language pragmatics
3. ed, 2009
Signatur: TXA4518(3)
    Datensatz exportieren als...
  • BibTeX
Theory and Practice of Model Transformations : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings [electronic resource]
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Compiler Construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings [electronic resource]
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
iOS Code Testing : Test-Driven Development and Behavior-Driven Development with Swift [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Extreme Programming and Agile Processes in Software Engineering : 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings [electronic resource]
1st ed. 2003, 2003
    Datensatz exportieren als...
  • BibTeX
Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings [electronic resource]
1st ed. 2003, 2003
    Datensatz exportieren als...
  • BibTeX
Penetration Testing Basics : A Quick-Start Guide to Breaking into Systems
2016
    Datensatz exportieren als...
  • BibTeX
Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings [electronic resource]
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings [electronic resource]
1st ed. 2008, 2008
    Datensatz exportieren als...
  • BibTeX
Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
ANNA A Language for Annotating Ada Programs : Reference Manual [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
1 – 25 von 411
Suche als RSS-Feed
Aktive Filter
SchlagwortSocial sciences
SchlagwortProgramming languages (Electronic computers)
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Autor / Autorin
15 weitere anzeigen...
Weniger anzeigen...
Erscheinungsform
Schlagwort
14 weitere anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts