Package Springer Lecture Notes in Computer Science eBooks

Provider
Springer Nature
Status
Current
Description
Dieses Paket enthält die E-Book-Serie "Lecture Notes in Computer Science" ab Jg. 1997. Frühere Jahrgänge bis 1996 sind über die Nationallizenz "Lecture Notes Archiv 1964 - 1996" abgedeckt.
URL
https://www.springernature.com
UUID
172051a3-1220-4ec8-b15a-00f821d0a6ec

Curated By

  • SLUB Dresden

TIPPs (13280)

Name Identifiers Coverage
Isabelle/HOL
  • isbn : 978-3-540-45949-1
  • pisbn : 978-3-540-43376-7
  • doi : 10.1007/3-540-45949-9
 Fulltext
ZB 2002: Formal Specification and Development in Z and B
  • isbn : 978-3-540-45648-3
  • pisbn : 978-3-540-43166-4
  • doi : 10.1007/3-540-45648-1
 Fulltext
Parallel Processing and Applied Mathematics
  • isbn : 978-3-540-48086-0
  • pisbn : 978-3-540-43792-5
  • doi : 10.1007/3-540-48086-2
 Fulltext
Formal and Natural Computing
  • isbn : 978-3-540-45711-4
  • pisbn : 978-3-540-43190-9
  • doi : 10.1007/3-540-45711-9
 Fulltext
Embedded Processor Design Challenges
  • isbn : 978-3-540-45874-6
  • pisbn : 978-3-540-43322-4
  • doi : 10.1007/3-540-45874-3
 Fulltext
Coordination Models and Languages
  • isbn : 978-3-540-46000-8
  • pisbn : 978-3-540-43410-8
  • doi : 10.1007/3-540-46000-4
 Fulltext
LATIN 2002: Theoretical Informatics
  • isbn : 978-3-540-45995-8
  • pisbn : 978-3-540-43400-9
  • doi : 10.1007/3-540-45995-2
 Fulltext
Verification, Model Checking, and Abstract Interpretation
  • isbn : 978-3-540-47813-3
  • pisbn : 978-3-540-43631-7
  • doi : 10.1007/3-540-47813-2
 Fulltext
Methods and Applications of Artificial Intelligence
  • isbn : 978-3-540-46014-5
  • pisbn : 978-3-540-43472-6
  • doi : 10.1007/3-540-46014-4
 Fulltext
Qualitative Spatial Reasoning with Topological Information
  • isbn : 978-3-540-70736-3
  • pisbn : 978-3-540-43346-0
  • doi : 10.1007/3-540-70736-0
 Fulltext