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
Software validation : inspection - testing - verification - alternatives ; proc. of the Symposium on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983
1984
Signatur: TTQ830472
    Datensatz exportieren als...
  • BibTeX
NODe 2005, GSEM 2005 : Erfurt, Germany, September 20 - 22, 2005
GI-Edition : Proceedings : 69 (Alle Bände)
2005
Signatur: TTQ051468
    Datensatz exportieren als...
  • BibTeX
Advances in cooperative control and optimization : proceedings from the 7th International Conference on Cooperative Control and Optimization
Lecture notes in control and information sciences : 369 (Alle Bände)
2007
Signatur: TTQ070187
    Datensatz exportieren als...
  • BibTeX
Advanced manufacturing and sustainable logistics : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21 - 22, 2010 ; proceedings
Lecture notes in business information processing : 46 (Alle Bände)
2010
Signatur: TTQ100242
    Datensatz exportieren als...
  • BibTeX
Human computer interaction
1. ed, 1995
Signatur: TVV16518
    Datensatz exportieren als...
  • BibTeX
Proceedings / 37th Annual Symposium on Foundations of Computer Science : October 14 - 16, 1996, Burlington, Vt
1996
Signatur: TVA2940
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing : PDP '98 ; Univ. of Madrid, January 21 - 23, 1998
1998
Signatur: TTQ980413
    Datensatz exportieren als...
  • BibTeX
Informatik 2005 - Informatik LIVE! : 19. bis 22. September 2005 in Bonn. 2
Informatik 2005 - Informatik LIVE! (Alle Bände), GI-Edition : Proceedings : 68 (Alle Bände)
2005
Signatur: TTQ051515-2
    Datensatz exportieren als...
  • BibTeX
Informatik 2008, Beherrschbare Systeme - dank Informatik : 8. - 13. September in München. 1
Informatik 2008, Beherrschbare Systeme - dank Informatik (Alle Bände), GI-Edition : Proceedings : 133 (Alle Bände)
2008
Signatur: TTQ080182-1
    Datensatz exportieren als...
  • BibTeX
Informatik 2008, Beherrschbare Systeme - dank Informatik : 8. - 13. September in München. 2
Informatik 2008, Beherrschbare Systeme - dank Informatik (Alle Bände), GI-Edition : Proceedings : 134 (Alle Bände)
2008
Signatur: TTQ080182-2
    Datensatz exportieren als...
  • BibTeX
Informatik 2011, Informatik schafft Communities : 4. - 7.10.2011 in Berlin
GI-Edition : Proceedings : 192 (Alle Bände), Beiträge der ... Jahrestagung der Gesellschaft für Informatik e.V. (GI) : 41 (Alle Bände)
2011
Signatur: TTQ110123
1 – 11 von 11
Suche als RSS-Feed
Aktive Filter
Autor / AutorinILP (Conference)
Autor / AutorinInstitute of Electrical and Electronics Engineers,
Autor / AutorinInternational Symposium of Formal Methods Europe
SystemstelleTVW
SystemstelleTVY
SystemstelleTTQ
Suchergebnisse filtern
Filter anzeigen