Showing 1 - 20 results of 654 for search '', query time: 0.06s 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
    Models of Strategic Reasoning Logics, Games, and Communities /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  9. 9
    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
  10. 10
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Published in Springer eBooks (2015)
    Get full text
    eBook
  11. 11
    Ernst Zermelo An Approach to His Life and Work /
    Get full text
    eBook
  12. 12
    Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013 /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  13. 13
    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
  14. 14
    Industrial Deployment of System Engineering Methods
    Published in Springer eBooks (2013)
    Get full text
    eBook
  15. 15
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Get full text
    eBook
  16. 16
    Concise Computer Mathematics Tutorials on Theory and Problems /
    by Bagdasar, Ovidiu
    Published in Springer eBooks (2013)
    Get full text
    eBook
  17. 17
    Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Get full text
    eBook
  18. 18
    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
  19. 19
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    by Czelakowski, Janusz
    Published in Springer eBooks (2015)
    Get full text
    eBook
  20. 20
    Constraints Meet Concurrency
    by Mauro, Jacopo
    Published in Springer eBooks (2014)
    Get full text
    eBook
Search Tools: Get RSS Feed