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
Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies -- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Extreme Programming and Agile Methods - XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings [electronic resource]
1st ed. 2002, 2002
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings [electronic resource]
1st ed. 2010, 2010
    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
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCleophas, Ton J
Neu hinzugefügt... in den letzten 3 Monaten
SchlagwortTeaching
SpracheEnglisch
SchlagwortLogics and Meanings of Programs
SchlagwortProgramming Techniques
Suchergebnisse filtern
Filter anzeigen