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

Central database

Publisher

  1. 2014
  2. 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

  3. Published

    A Cautionary Analysis of STAPLE Using Direct Inference of Segmentation Truth. / Van Leemput, Koen; Sabuncu, Mert R.

    Proceedings of the 17th International Conference Medical Image Computing and Computer-Assisted Intervention (MICCAI 2014): Part I. Springer, 2014. p. 398-406 (Lecture Notes in Computer Science, Vol. 8673).

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

  4. Published

    Advanced Topology Optimization Methods for Conceptual Architectural Design. / Aage, Niels; Amir, Oded; Clausen, Anders; Hadar, Lior ; Maier, Dana ; Søndergaard, Asbjørn .

    Advances in Architectural Geometry 2014. ed. / P. Block; J. Knippers; N.J. Mitra; W. Wang. Springer, 2014.

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

  5. Published

    A Fuzzy Linear Programming Approach for Aggregate Production Planning. / Iris, Cagatay; Cevikcan, Emre.

    Supply Chain Management Under Fuzziness: Studies in Fuzziness and Soft Computing. ed. / Cengiz Kahraman; Başar Öztayşi. Vol. 313 Springer, 2014. p. 335-374.

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

  6. Published

    ALE: AES-based lightweight authenticated encryption. / Bogdanov, Andrey; Mendel, Florian; Regazzoni, Francesco; Rijmen, Vincent; Tischhauser, Elmar.

    Fast Software Encryption. Revised Selected Papers. Vol. 8424 Springer, 2014. p. 447-466 (Lecture Notes in Computer Science, Vol. 8424).

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

  7. Published

    Algorithm Theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings.. / Ravi, R. (Editor); Gørtz, Inge Li (Editor).

    Springer, 2014. 391 p. (Lecture Notes in Computer Science, Vol. 8503).

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

  8. Published

    Analyzing Social Interactions: Promises and Challenges of Cross Recurrence Quantification Analysis. / Fusaroli, Riccardo; Konvalinka, Ivana; Wallot, Sebastian.

    Translational Recurrences: From Mathematical Theory to Real-World Applications. ed. / N. Marwan; M. Riley; A. Giuliani; C. L. Webber Jr.Springer, 2014. p. 137-155 (Springer Proceedings in Mathematics & Statistics, Vol. 103).

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

  9. Published

    An Inference Language for Imaging. / Pedemonte, Stefano ; Catana, Ciprian; Van Leemput, Koen.

    Revised Selected Papers of the 1st International Workshop on Bayesian and grAphical Models for Biomedical Imaging (BAMBI 2014). Springer, 2014. p. 61-72 (Lecture Notes in Computer Science, Vol. 8677).

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

  10. Published

    An Institution for Imperative RSL Specifications. / Haxthausen, Anne Elisabeth.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

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

  11. Published

    Application and Theory of Petri Nets and Concurrency : Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014. / Ciardo, Gianfranco (Editor); Kindler, Ekkart (Editor).

    Springer, 2014. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

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

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