Package Springer Lecture Notes (TU Chemnitz)

Provider
Springer Nature
Status
Current
Description
URL
UUID
09ec09f2-8164-407a-adea-86b2c235cf78

Curated By

  • TU Chemnitz

TIPPs (14292)

Name Identifiers Coverage
Computational Science and Its Applications -- ICCSA 2015
  • isbn : 978-3-319-21413-9
  • pisbn : 978-3-319-21412-2
Fulltext
Automated Deduction - CADE-25
  • isbn : 978-3-319-21401-6
  • pisbn : 978-3-319-21400-9
Fulltext
Computational Science and Its Applications -- ICCSA 2015
  • isbn : 978-3-319-21470-2
  • pisbn : 978-3-319-21469-6
Fulltext
Constructive Side-Channel Analysis and Secure Design
  • isbn : 978-3-319-21476-4
  • pisbn : 978-3-319-21475-7
Fulltext
Computational Science and Its Applications -- ICCSA 2015
  • isbn : 978-3-319-21410-8
  • pisbn : 978-3-319-21409-2
Fulltext
Rule Technologies: Foundations, Tools, and Applications
  • isbn : 978-3-319-21542-6
  • pisbn : 978-3-319-21541-9
Fulltext
Computer Aided Verification
  • isbn : 978-3-319-21668-3
  • pisbn : 978-3-319-21667-6
Fulltext
Developments in Language Theory
  • isbn : 978-3-319-21500-6
  • pisbn : 978-3-319-21499-3
Fulltext
Stabilization, Safety, and Security of Distributed Systems
  • isbn : 978-3-319-21741-3
  • pisbn : 978-3-319-21740-6
Fulltext
Computational Social Networks
  • isbn : 978-3-319-21786-4
  • pisbn : 978-3-319-21785-7
Fulltext