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
Meta-Programming and Model-Driven Meta-Program Development : Principles, Processes and Techniques [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Analytical and Stochastic Modelling Techniques and Applications : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Rapid Integration of Software Engineering Techniques : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Analytical and Stochastic Modelling Techniques and Applications : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Generative Programming and Component Engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
A Programming Approach to Computability [Elektronische Ressource]
Texts and Monographs in Computer Science
1982
    Datensatz exportieren als...
  • BibTeX
Rule-Based Reasoning, Programming, and Applications : 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Real-Time C++ : Efficient Object-Oriented and Template Microcontroller Programming [electronic resource]
3rd ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Models@run.time : Foundations, Applications, and Roadmaps [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Beginning Functional JavaScript : Uncover the Concepts of Functional Programming with EcmaScript 8 [electronic resource]
2nd ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Software testing and analysis : process, principles, and techniques
2008
Signatur: TWQ11935
    Datensatz exportieren als...
  • BibTeX
Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings [electronic resource]
1st ed. 1990, 1990
    Datensatz exportieren als...
  • BibTeX
Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Software Engineering for Multi-Agent Systems IV : Research Issues and Practical Applications [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings [electronic resource]
1st ed. 2008, 2008
1 – 25 von 208
Suche als RSS-Feed
Aktive Filter
Art des InhaltsBibliographie
Autor / AutorinILP (Conference)
SystemstelleTVW
SystemstelleTVY
SchlagwortProgramming languages (Electronic computers)
SchlagwortSoftware Engineering
Suchergebnisse filtern
Filter anzeigen