Showing 1 - 20 results of 115 for search '', query time: 0.07s Refine Results
  1. 1
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  2. 2
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  3. 3
    Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  5. 5
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  6. 6
    Transactions on Rough Sets XIX
    Published in Springer eBooks (2015)
    Get full text
    eBook
  7. 7
    Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  8. 8
    Petri Net Synthesis
    Get full text
    eBook
  9. 9
    Models of Strategic Reasoning Logics, Games, and Communities /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  10. 10
    Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  11. 11
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Published in Springer eBooks (2015)
    Get full text
    eBook
  12. 12
    Ernst Zermelo An Approach to His Life and Work /
    Get full text
    eBook
  13. 13
    Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013 /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  14. 14
    Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  15. 15
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  16. 16
    Nonstandard Analysis for the Working Mathematician
    Published in Springer eBooks (2015)
    Get full text
    eBook
  17. 17
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    by Czelakowski, Janusz
    Published in Springer eBooks (2015)
    Get full text
    eBook
  18. 18
    Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  19. 19
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  20. 20
    AI 2015: Advances in Artificial Intelligence 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Get full text
    eBook
Search Tools: Get RSS Feed