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
Theorem Proving in Higher Order Logics
  • pisbn : 978-3-540-67863-2
  • isbn : 978-3-540-44659-0
  • doi : 10.1007/3-540-44659-1
 Fulltext
Theory and Applications of Models of Computation
  • pisbn : 978-3-540-72503-9
  • isbn : 978-3-540-72504-6
  • doi : 10.1007/978-3-540-72504-6
 Fulltext
Theoretical Computer Science
  • isbn : 978-3-540-45446-5
  • pisbn : 978-3-540-42672-1
  • doi : 10.1007/3-540-45446-2
 Fulltext
RoboCup 2000: Robot Soccer World Cup IV
  • pisbn : 978-3-540-42185-6
  • isbn : 978-3-540-45324-6
  • doi : 10.1007/3-540-45324-5
 Fulltext
Logic-Based Program Synthesis and Transformation
  • isbn : 978-3-540-48958-0
  • pisbn : 978-3-540-65765-1
  • doi : 10.1007/3-540-48958-4
 Fulltext
Technologies for E-Services
  • isbn : 978-3-540-44809-9
  • pisbn : 978-3-540-42565-6
  • doi : 10.1007/3-540-44809-8
 Fulltext
SOFSEM '98: Theory and Practice of Informatics
  • isbn : 978-3-540-49477-5
  • pisbn : 978-3-540-65260-1
  • doi : 10.1007/3-540-49477-4
 Fulltext
Embedded Software
  • pisbn : 978-3-540-42673-8
  • isbn : 978-3-540-45449-6
  • doi : 10.1007/3-540-45449-7
 Fulltext
Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues
  • pisbn : 978-3-540-74170-1
  • isbn : 978-3-540-74171-8
  • doi : 10.1007/978-3-540-74171-8
 Fulltext
Architecting Dependable Systems
  • pisbn : 978-3-540-40727-0
  • isbn : 978-3-540-45177-8
  • doi : 10.1007/3-540-45177-3
 Fulltext