Springer, 0-387

Central database

Publisher

  1. Published

    Parallel Processing and Applied Mathematics. 10th International Conference, PPAM 2013. Revised Selected Papers. / Wyrzykowski, Roman (Editor); Dongarra, Jack (Editor); Karczewski, Konrad (Editor); Wasniewski, Jerzy (Editor).

    Springer, 2014. 817 p. (Lecture Notes in Computer Science, Vol. 8384).

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

  2. Published

    The stochastic quality calculus. / Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages. Proceedings. ed. / Eva Kühn; Rosario Pugliese. Springer, 2014. p. 179-193 (Lecture Notes in Computer Science, Vol. 8459).

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

  3. Published

    Reservoir Modeling Combining Geostatistics with Markov Chain Monte Carlo Inversion. / Zunino, Andrea; Lange, Katrine; Melnikova, Yulia; Hansen, Thomas Mejer; Mosegaard, Klaus.

    Mathematics of Planet Earth Lecture : Proceedings of the 15th Annual Conference of the International Association for Mathematical Geosciences. Springer, 2014. p. 683-687 (Lecture Notes in Earth Science).

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

  4. Published

    Development of a GPU-accelerated MIKE 21 Solver for Water Wave Dynamics. / Aackermann, Peter Edward ; Pedersen, Peter Juhler Dinesen; Engsig-Karup, Allan Peter; Clausen, Thomas; Grooss, Jesper.

    Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Springer, 2013. p. 129-130 (Lecture Notes in Computer Science, Vol. 7686).

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

  5. Published

    Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. / Ahlbrecht, Tobias; Bender-Saebelkampf, Christian; Brito, Maiquel; Christensen, Nicolai Christian; Dix, Jürgen; Franco, Mariana Ramos; Heller, Hendrik; Hess, Andreas Viktor; Heßler, Axel; Hübner, Jomi Fred; Jensen, Andreas Schmidt; Johnsen, Jannick Boese; Köster, Michael; Li, Chengqian; Liu, Lu; Morato, Marcelo Menezes; Ørum, Philip Bratt; Schlesinger, Federico; Schmitz, TiagoLuiz; Sichman, Jaime Simão; Souza, Kaio Siqueira; Uez, Daniela Maria; Villadsen, Jørgen; Werner, Sebastian; Woller, Øyvind Grønland; Zatelli, Maicon Rafael.

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

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

  6. Published

    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.

    Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Springer, 2013. p. 80-96 (Lecture Notes in Computer Science, Vol. 7750).

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

  7. Published

    An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers. / Albrecht, Martin Roland; Leander, Gregor.

    Selected Areas in Cryptography: 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers. Springer, 2013. p. 1-15 (Lecture Notes in Computer Science, Vol. 7707).

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

  8. Published

    Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm.

    AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, 2013. p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

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

  9. Published

    Marine Gravity and Geoid from Satellite Altimetry. / Andersen, Ole Baltazar.

    Geoid Determination - Theory and Methods. ed. / Fernando Sansò; Michael G. Sideris. Springer, 2013. p. 401-451 (Lecture Notes in Earth Sciences, Vol. 110).

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

  10. Published

    Optical Coherence Tomography: Advanced Modeling. / Andersen, Peter E.; Thrane, Lars; Yura, Harold T.; Tycho, Andreas; Jørgensen, Thomas Martini.

    Handbook of Coherent-Domain Optical Methods: Biomedical Diagnostics, Environmental Monitoring, and Materials Science. ed. / Valery V. Tuchin. Springer, 2013. p. 743-798.

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

Previous 1 2 3 4 5 6 7 8 ...88 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