Showing 301 - 310 results of 762 for search 'Heidelberg Springer', query time: 0.02s Refine Results
  1. 301

    Apartness and uniformity a constructive development by Bridges, Douglas S., Vîta, Luminita Simona

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Apartness and uniformity a constructive development
  2. 302

    Applications of declarative programming and knowledge management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Applications of declarative programming and knowledge management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
  3. 303

    Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  4. 304

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  5. 305

    Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
  6. 306

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

    Published in Springer eBook. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  7. 307

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  8. 308

    Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
  9. 309

    RoboCup 2010 Robot Soccer World Cup XIV

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    RoboCup 2010 Robot Soccer World Cup XIV
  10. 310

    Rough Sets and Knowledge Technology 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings

    Published in Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource

    Rough Sets and Knowledge Technology 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings

Search Tools: