Springer, 0-387

Central database

Publisher

  1. Research › Book
  2. Published

    Software Engineering, vol 2: Specification of Systems and Languages. / Bjørner, Dines.

    Springer, 2006.

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

  3. Published

    Software Engineering, vol. 3: Domains, Requirements and Software Design. / Bjørner, Dines.

    Springer, 2006.

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

  4. Published

    Security, Privacy, and Applied Cryptography Engineering : Proceedings Second International Conference, SPACE 2012. / Bogdanov, Andrey (Editor); Sanadhya, Somitra (Editor).

    Springer, 2012. 185 p. (Lecture Notes in Computer Science, Vol. 7644).

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

  5. Published

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. / Bras-Amorós, Maria (Editor); Høholdt, Tom (Editor).

    Berlin : Springer, 2009. 243 p. (Lecture Notes in Computer Science; No. 5527).

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

  6. Published

    Coding Theory, Cryptography and Related Areas. / Buchmann, Johannes; Stichtenoth, Henning; Tapia-Recillas, Horacio; Høholdt, Tom.

    Berlin : Springer, 1999.

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

  7. Published
  8. Published

    Duration Calculus: A Formal Approach to Real-Time Systems. / Chaochen, Zhou; Hansen, Michael Reichhardt.

    Springer, 2004. 247 p.

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

  9. Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers. / Christiansen, Henning (Editor); Skadhauge, Peter Rossen (Editor); Villadsen, Jørgen (Editor).

    Springer, 2005. (Lecture Notes in Computer Science, Vol. 3438).

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

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

  11. Published

    Applied Parallel Computing: Computations in Physics, Chemistry and Engineering Science. / Dongarra, Jack (Editor); Madsen, Kaj (Editor); Wasniewski, Jerzy (Editor).

    Springer, 1995.

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

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