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
Formal Methods and Software Engineering	isbn : 978-3-030-63406-3 pisbn : 978-3-030-63405-6	Fulltext
Integrated Formal Methods	isbn : 978-3-030-63461-2 pisbn : 978-3-030-63460-5	Fulltext
Games and Learning Alliance	isbn : 978-3-030-63464-3 pisbn : 978-3-030-63463-6	Fulltext
Rewriting Logic and Its Applications	isbn : 978-3-030-63595-4 pisbn : 978-3-030-63594-7	Fulltext
Towards Autonomous Robotic Systems	isbn : 978-3-030-63486-5 pisbn : 978-3-030-63485-8	Fulltext
Software Verification	isbn : 978-3-030-63618-0 pisbn : 978-3-030-63617-3	Fulltext
Artificial Intelligence XXXVII	isbn : 978-3-030-63799-6 pisbn : 978-3-030-63798-9	Fulltext
Bioinspired Optimization Methods and Their Applications	isbn : 978-3-030-63710-1 pisbn : 978-3-030-63709-5	Fulltext
Neural Information Processing	isbn : 978-3-030-63833-7 pisbn : 978-3-030-63832-0	Fulltext
Neural Information Processing	isbn : 978-3-030-63836-8 pisbn : 978-3-030-63835-1	Fulltext