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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Property Testing : Problems and Techniques
1st ed. 2022, 2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Primality Testing in Polynomial Time : From Randomized Algorithms to “PRIMES Is in P” [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Lecture Notes in Computer Science : 9962
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Lecture Notes in Computer Science : 10522
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
Lecture Notes in Computer Science : 10472
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Lecture Notes in Computer Science : 10869
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Lecture Notes in Computer Science : 10419
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Lecture Notes in Computer Science : 10107
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Lecture Notes in Computer Science : 10487
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DNA Computing and Molecular Programming : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
Lecture Notes in Computer Science : 9818
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Planar graphs : theory and algorithms
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Lecture Notes in Computer Science : 10466
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering Secure Software and Systems : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Lecture Notes in Computer Science : 9639
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematical Aspects of Computer and Information Sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
Lecture Notes in Computer Science : 9582
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Security and Trust Management : 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Lecture Notes in Computer Science : 10437
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Lecture Notes in Computer Science : 10452
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Genetic Programming : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Lecture Notes in Computer Science : 9594
1st ed. 2016, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Lecture Notes in Computer Science : 9660
1st ed. 2016, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Lecture Notes in Computer Science : 9691
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph-Theoretic Concepts in Computer Science : 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Lecture Notes in Computer Science : 10168
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The New Codebreakers : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday
Lecture Notes in Computer Science : 9100
1st ed. 2016, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Machine Learning, Optimization, and Big Data : First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers
1st ed. 2015, 2015
Volltextzugriff (PDF)
1 – 25 von 45
Suche als RSS-Feed
Aktive Filter
Autor / AutorinInstitute of Electrical and Electronics Engineers,
Autor / AutorinInternational Symposium on Software Testing and Analysis
Autor / AutorinZhu, Dongming
SystemstelleTAY
SchlagwortSocial sciences
SchlagwortStatistics 
SchlagwortAlgorithms
Suchergebnisse filtern
Filter anzeigen