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

Central database

Publisher

  1. Published

    Advances in urban dispersion modelling. / Gryning, Sven-Erik; Batchvarova, E.

    Advances in air pollution modeling for environmental security. ed. / I. Faragó; K. Georgiev; A. Havasi. Berlin : Springer, 2005. p. 243-252 (Nato Science Series. IV: Earth and Environmental Sciences, 54).

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

  2. Published

    Advances in urban meteorology modelling. / Batchvarova, E.; Gryning, Sven-Erik.

    Advances in air pollution modeling for environmental security. ed. / I. Faragó; K. Georgiev; A. Havasi. Berlin : Springer, 2005. p. 23-32 (Nato Science Series. IV: Earth and Environmental Sciences, 54).

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

  3. Published

    Advice for Coordination. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis; Yang, Fan.

    10th international conference on Coordination Models and Languages (Coordination'08). ed. / Doug Lea; Gianluigi Zavattaro. Germany : Springer, 2008. p. 153-168 (Lecture Notes in Computer Science; No. 5052).

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

  4. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

  5. Published

    A formal analysis for capturing replay attacks in cryptographic protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo; Nielson, Hanne Riis.

    12th Asian Computing Science Conference, ASIAN 2007: Lecture Notes in Computer Science. Vol. 4846 Springer, 2007. p. 150-165.

    Publication: ResearchArticle in proceedings – Annual report year: 2007

  6. Published

    A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo.

    Lecture Notes in Computer Science. Vol. 5140 Springer, 2008. p. 167-183.

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

  7. Published

    A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.

    Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg : Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).

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

  8. Published

    A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way. / Dragoni, Nicola; Mazzara, Manuel.

    6th International Workshop on Web Services and Formal Methods (WS-FM'09). Springer, 2009. (LNCS).

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

  9. Published

    A Framework for Sustainable Design of Algal Biorefineries: Economic Aspects and Life Cycle Analysis. / Cheali, Peam; Loureiro da Costa Lira Gargalo, Carina; Gernaey, Krist; Sin, Gürkan.

    Algal Biorefineries: Volume 2: Products and Refinery Design. ed. / Aleš Prokop ; Rakesh K. Bajpai; Mark E. Zappi. Vol. 2 Springer, 2015. p. 511-535.

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

  10. 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

Previous 1 2 3 4 5 6 7 8 ...112 Next
Download list: To download, please limit the number of search results to 1,000 or less.