Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. Published

    Towards understanding the known-key security of block ciphers. / Andreeva, Elena; Bogdanov, Andrey; Mennink, Bart.

    Fast Software Encryption: 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers. ed. / Shiho Moria. Springer, 2014. p. 348-366 (Lecture Notes in Computer Science, Vol. 8424).

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

  2. Published

    Indium Tin Oxide-Free Polymer Solar Cells: Toward Commercial Reality. / Angmo, Dechan; Espinosa Martinez, Nieves; Krebs, Frederik C.

    Low-cost Nanomaterials : Toward Greener and More Efficient Energy Applications. ed. / Z. Lin; J. Wang. Springer, 2014. p. 189-225 (Green Energy and Technology).

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

  3. Published

    Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?. / Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto.

    Revised Selected Papers of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014. ed. / Santiago Escobar. Springer, 2014. p. 21-41 (Lecture Notes in Computer Science, Vol. 8663).

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

  4. Published

    Pareto Efficient Solutions of Attack Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 279-280 (Lecture Notes in Computer Science; No. 8788).

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

  5. Published

    Boundary-Layer and Air Quality Study at “Station Nord” in Greenland. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Skov, Henrik; Sørensen, Lise Lotte; Kirova, H.; Münkel, Christoph.

    Air Pollution Modeling and its Application XXIII. ed. / Douw Steyn; Rohit Mathur. Springer, 2014. p. 525-529 (Springer Proceedings in Complexity).

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

  6. Published

    Measurements and modeling of the wind profile up to 600 meters at a flat coastal site. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Floors, Rogier Ralph; Vincent, Claire Louise; Peña, Alfredo; Mikkelsen, Torben.

    Air Pollution Modeling and its Application XXII. ed. / Douw G. Steyn; Peter J.H. Builtjes; Renske M.A. Timmermans. Springer, 2014. p. 565-569.

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

  7. Published

    Synthetic Plasmid Biology. / Bentzon-Tilia, Mikkel; Sørensen, Søren Johannes; Hansen, Lars Hestbjerg.

    Molecular Life Sciences: An Encyclopedic Reference. Springer, 2014.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  8. Published

    Smart Rotor Modeling: Aero-Servo-Elastic Modeling of a Smart Rotor with Adaptive Trailing Edge Flaps. / Bergami, Leonardo.

    Springer, 2014. 156 p. (Research Topics in Wind Energy, Vol. 3).

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

  9. Published

    Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: Proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014 . ed. / Alexander S. Kulikov; Sergei O. Kuznetsov; Pavel Pevzner. Springer, 2014. p. 40-49 (Lecture Notes in Computer Science, Vol. 8486).

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

  10. Published

    40 years of formal methods. / Bjørner, Dines; Havelund, Klaus.

    FM 2014: Formal Methods: Proceedings of 19th International Symposium. Vol. 8442 Springer, 2014. p. 42-61 (Lecture Notes in Computer Science, Vol. 8442).

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

Previous 1 2 3 4 5 6 7 8 ...100 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word