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
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification
ACM Conferences
2023
    Datensatz exportieren als...
  • BibTeX
ISSE 2012 Securing Electronic Business Processes : Highlights of the Information Security Solutions Europe 2012 Conference [electronic resource]
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Computer Mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Trusted Computing Platforms : TPM2.0 in Context [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Computing and Combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Principles of Security and Trust : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Lecture Notes in Computer Science : 9635
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Information Theoretic Security : 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Performance Characterization and Benchmarking. Traditional to Big Data : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers [Elektronische Ressource]
2015
    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 [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
From Research to Practice in the Design of Cooperative Systems: Results and Open Challenges : Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30 - 1 June, 2012 [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Lecture Notes in Computer Science : 10578
2017
    Datensatz exportieren als...
  • BibTeX
Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Communications in Computer and Information Science : 824
2018
    Datensatz exportieren als...
  • BibTeX
Architecture of Computing Systems – ARCS 2014 : 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Trust and Trustworthy Computing : 8th International Conference, TRUST 2015, Heraklion, Greece, August 24-26, 2015, Proceedings [Elektronische Ressource]
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Secure and Trust Computing, Data Management, and Applications : STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011. Proceedings [electronic resource]
1st ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Transaction Processing : Management of the Logical Database and its Underlying Physical Structure [electronic resource]
1st ed. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Principles of Security and Trust : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Anwendungsentwicklung mit Datenbanken [Elektronische Ressource]
eXamen.press
5. Aufl. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Viability Theory : New Directions [electronic resource]
Modern Birkhèauser classics Viability theory
2nd ed. 2011, 2011
    Datensatz exportieren als...
  • BibTeX
Security in Computing and Communications : International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Network and System Security : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings
1st ed. 2015, 2015
    Datensatz exportieren als...
  • BibTeX
Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges : 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers [Elektronische Ressource]
2015
1 – 25 von 69
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... in den letzten 3 Monaten
SchlagwortComputer science
Suchergebnisse filtern
Filter anzeigen