Springer, 0-387

Central database

Publisher

  1. 2013
  2. Published

    Compact q-gram Profiling of Compressed Strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Springer, 2013. p. 62-73 (Lecture Notes in Computer Science, Vol. 7922).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  3. Published

    Comparison of Algal Biodiesel Production Pathways Using Life Cycle Assessment Tool. / Singh, Anoop; Olsen, Stig Irving.

    Life Cycle Assessment of Renewable Energy Sources. Springer, 2013. p. 145-168 (Green Energy and Technology).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  4. Published

    Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. / Greenyer, Joel; Kindler, Ekkart.

    Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, 2013. p. 774-789 (Lecture Notes in Computer Science, Vol. 8107).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  5. Published

    Computational Logistics : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings. / Pacino, Dario (Editor); Voß, Stefan (Editor); Jensen, Rune Møller (Editor).

    Springer, 2013. 269 p. (Lecture Notes in Computer Science, Vol. 8197).

    Publication: Research - peer-reviewBook – Annual report year: 2013

  6. Published

    Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Anker Jensen, Per; Lassen, Tine.

    Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. ed. / Henrik Legind Larsen; Maria J. Martin-Bautista; María Amparo Vila; Troels Andreasen; Henning Christiansen. Springer, 2013. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  7. Published

    Cormorants in Denmark : Re-enforced management and scientific evidence. / Jepsen, Niels; Olesen, Thomas.

    Human-Wildlife Conflicts in Europe: Fisheries and Fish-eating Vertebrates as a Model Case. ed. / Reinhard A. Klenke; Irene Ring; Andreas Kranz; Niels Jepsen; Felix Rauschmayer; Klaus Henle. Berlin : Springer, 2013. p. 165-183 (Environmental Science).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  8. Published

    Deciding between Conflicting Influences. / Jensen, Andreas Schmidt.

    Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, 2013. p. 137-155 (Lecture Notes in Computer Science, Vol. 8245).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  9. Published

    Deciding bisimilarities on distributions. / Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 72-88 (Lecture Notes in Computer Science, Vol. 8054).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  10. Published

    Deciding on PSS: A Framework for PSS Strategies. / Neugebauer, Line Maria; Mougaard, Krestine; Andersen, Jakob Axel Bejbro; McAloone, Tim C.

    Product-Service Integration for Sustainable Solutions. Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems. ed. / Horst Meier. Springer, 2013. p. 299-310 (Lecture Notes in Production Engineering).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  11. Published

    Defining Privacy Is Supposed to Be Easy. / Mödersheim, Sebastian Alexander; Gross, Thomas; Viganò, Luca.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 619-635 (Lecture Notes in Computer Science, Vol. 8312).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

Previous 1...3 4 5 6 7 8 9 10 ...90 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word