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
Multimedia Transport and Teleservices: International COST 237 Workshop Vienna, Austria, November 13–15, 1994 Proceedings
1994
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Teleservices and Multimedia Communications: Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings
1996
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Multimedia Applications, Services and Techniques — ECMAST'98: Third European Conference Berlin, Germany, May 26–28 1998 Proceedings
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Local Area Networks: An Advanced Course: Glasgow, July 11–22, 1983 Proceedings
1985
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
2008 edition., 2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
2008 edition, 2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
2008 edition., 2008
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Index Problems for Game Automata
Descriptive Set Theoretic Methods in Automata Theory, p.71-89
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
When a Büchi Language Is Definable in wmso
Descriptive Set Theoretic Methods in Automata Theory, p.45-69
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Recognition by Thin Algebras
Descriptive Set Theoretic Methods in Automata Theory, p.121-135
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
When a Thin Language Is Definable in wmso
Descriptive Set Theoretic Methods in Automata Theory, p.93-119
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Collapse for Unambiguous Automata
Descriptive Set Theoretic Methods in Automata Theory, p.37-43
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Uniformization on Thin Trees
Descriptive Set Theoretic Methods in Automata Theory, p.137-156
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Undecidability of mso+u
Descriptive Set Theoretic Methods in Automata Theory, p.173-181
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Descriptive Complexity of mso+u
Descriptive Set Theoretic Methods in Automata Theory, p.159-171
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Human Behavior Understanding: 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013, Proceedings
2013, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Language of Mathematics: A Linguistic and Philosophical Investigation
1, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integrated Uncertainty in Knowledge Modelling and Decision Making: International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013, Proceedings
1, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Common Architecture for Cross Layer and Network Context Awareness
Self-Organizing Systems, p.103-118
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Self-organising Approach for Smart Meter Communication Systems
Self-Organizing Systems, p.169-175
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computational Intelligence Methods for Bioinformatics and Biostatistics: 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012. Revised Selected Papers
2013, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integer Programming and Combinatorial Optimization: 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
1, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Situational Awareness for Improving Network Resilience Management
Information Security Practice and Experience, p.31-43
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 83
Suche als RSS-Feed
Aktive Filter
KollektionEbook Central Perpetual and DDA
PublikationsformReferenzeintrag
KollektionHEAL-Link subscriptions: Springer Book Series
Suchergebnisse filtern
Filter anzeigen