Search Results

1. 1
   online resource

   Interpolation in software model checking and fault localization (2013)

   by Ermis, Evren , 2013

   E-Book Thesis Loading ... Online

   • Full Text

   
   
   

   Saved in:

2. 2
   online resource

   Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (2020)

   by Krishnan, Paddy , 2020

   E-Book Loading ... Online

   • Lizenzpflichtig, Verlag

   
   
   

   Saved in:

3. 3
   online resource

   Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (2019)

   by Chang, Bor-Yuh Evan , 2019

   E-Book Conference Proceedings Loading ... Online

   • lizenzpflichtig, Resolving-System
   • Zentralblatt MATH, Inhaltstext, Verlag

   
   
   

   Saved in:

4. 4
   online resource

   Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management (2017)

   by Kirsch, Christoph M , 2017

   E-Book Conference Proceedings Loading ... Online

   • Volltext, Verlag
   • Lizenzpflichtig, Verlag

   
   
   

   Saved in:

5. 5
   online resource

   Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (2017)

   by Cohen, Albert , 2017

   E-Book Conference Proceedings Loading ... Online

   • Volltext, Verlag
   • Lizenzpflichtig, Verlag

   
   
   

   Saved in:

6. 6
   online resource

   Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis (2017)

   by Ali, Karim , 2017

   E-Book Conference Proceedings Loading ... Online

   • Volltext, Verlag
   • Lizenzpflichtig, Verlag

   
   
   

   Saved in:

7. 7
   online resource

   Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (2016)

   by Cheney, James , 2016

   E-Book Conference Proceedings Loading ... Online

   • Volltext, Verlag
   • Lizenzpflichtig, Verlag

   
   
   

   Saved in:

8. 8
   online resource

   Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell (2021)

   by Hage, Jurriaan , 2021

   E-Book Conference Proceedings Loading ... Online

   • lizenzpflichtig, Verlag

   
   
   

   Saved in:

9. 9
   online resource

   Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (2021)

   by Do, Lisa Nguyen Quang , 2021

   E-Book Conference Proceedings Loading ... Online

   • lizenzpflichtig, Verlag

   
   
   

   Saved in:

10. 10
    online resource

    Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (2021)

    by Freund, Stephen N. , 2021

    E-Book Conference Proceedings Loading ... Online

    • lizenzpflichtig, Verlag

    
    
    

    Saved in:

11. 11
    online resource

    Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (2020)

    by Donaldson, Alastair F. , 2020

    E-Book Loading ... Online

    • Lizenzpflichtig, Verlag

    
    
    

    Saved in:

12. 12
    online resource

    Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (2019)

    by McKinley, Kathryn S. , 2019

    E-Book Loading ... Online

    • Lizenzpflichtig, Verlag

    
    
    

    Saved in:

13. 13
    online resource

    Proceedings of the 26th European conference on Object-Oriented Programming (2012)

    by Noble, James , 2012

    E-Book Conference Proceedings Loading ... Online

    • lizenzpflichtig, Verlag
    • Zentralblatt MATH, Inhaltstext, Verlag

    
    
    

    Saved in:

14. 14
    online resource

    Proceedings of the 13th Annual IEEEACM International Symposium on Code Generation and Optimization (2015)

    by Olukotun, Kunle , 2015

    E-Book Conference Proceedings Loading ... Online

    • Volltext, Verlag
    • Lizenzpflichtig, Verlag

    
    
    

    Saved in:

15. 15
    online resource

    Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (2018)

    by Sabel, David , 2018

    E-Book Loading ... Online

    • Verlag
    • Lizenzpflichtig, Verlag

    
    
    

    Saved in:

16. 16
    online resource

    Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (2018)

    by Gottschlich, Justin , 2018

    E-Book Loading ... Online

    • Verlag
    • Lizenzpflichtig, Verlag

    
    
    

    Saved in:

17. 17
    local holding

    Statisches und dynamisches Verhalten mehrstufiger Zahnradgetriebe (1979)

    by Gold, Peter Werner , 1979

    Book Thesis Loading ...

    
    
    

    Saved in:

18. 18
    local holding

    Statische und dynamische Analyse von Werkzeugmaschinenantrieben und Zahnradgetrieben (1980)

    by Müller, Rolf-Dieter , 1980

    Book Thesis Loading ...

    
    
    

    Saved in:

19. 19
    online resource

    Fehlererkennung in Spreadsheets (2012)

    by Zitzelsberger, Sebastian , 2012

    E-Book Thesis Loading ... Online

    • Full Text

    
    
    

    Saved in:

20. 20
    online resource

    Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss (2009)

    by Staiger-Stöhr, Stefan , 2009

    E-Book Thesis Loading ... Online

    • Full Text

    
    
    

    Saved in:

• 1
• 2
• 3
• Next
• [3]