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
Assurances for Self-Adaptive Systems : Principles, Models, and Techniques [electronic resource]
1st ed. 2013, 2013
    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
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
Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Multiparadigm Programming in Mozart/Oz : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings [electronic resource]
1st ed. 2012, 2012
    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
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures [electronic resource]
1st ed. 2008, 2008
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Object-Based Models and Languages for Concurrent Systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers [electronic resource]
1st ed. 1995, 1995
    Datensatz exportieren als...
  • BibTeX
Middleware 2006 : ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Software and Compilers for Embedded Systems : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings
1st ed. 2000, 2000
    Datensatz exportieren als...
  • BibTeX
Automotive Embedded Systeme : Effizfientes Framework - Vom Design zur Implementierung [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Principles of Distributed Systems : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings [electronic resource]
1st ed. 2003, 2003
    Datensatz exportieren als...
  • BibTeX
Network and Parallel Computing : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings [electronic resource]
1st ed. 2012, 2012
1 – 21 von 21
Suche als RSS-Feed
Aktive Filter
Autor / AutorinWasniewski, Jerzy
SchlagwortArtificial intelligence
SchlagwortOperating systems (Computers)
SchlagwortSoftware Engineering
Suchergebnisse filtern
Filter anzeigen