Suggested Topics within your search.
Showing 81 - 100 results of 1,795 Refine Results
  1. 81
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.
  2. 82
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Mathematical software -- ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
  3. 83
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Algorithmic aspects in information and management : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
  4. 84
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Artificial neural networks and machine learning -- ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings.
  5. 85
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Parallel problem solving from nature -- PPSN XIV : 14th international conference, Edinburgh, UK, September 17-21, 2016, proceedings /
  6. 86
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Social media : the good, the bad, and the ugly : 15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13-15, 2016, Proceedings /
  7. 87
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Cellular automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings /
  8. 88
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Computational logistics : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings /
  9. 89
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    DNA computing and molecular programming : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
  10. 90
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /
  11. 91
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
  12. 92
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /
  13. 93
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Wireless algorithms, systems, and applications : 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings /
  14. 94
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Swarm intelligence : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings /
  15. 95
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Artificial neural networks and machine learning -- ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings.
  16. 96
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Combinatorial algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
  17. 97
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /
  18. 98
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Discrete optimization and operations research : 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
  19. 99
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    String processing and information retrieval : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings /
  20. 100
    Published 2016
    Ebook
    Online:
    Springer eBooks
    Save to List
    Saved in:
    Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /
Search Tools: RSS Feed – Email Search – Save Search