Package Springer Computer Science eBooks 2005 English/International

Provider
Springer Nature
Status
Current
Description
URL
https://www.springernature.com
UUID
9ada0741-a2b8-4810-9d8c-6b0f71acd73f

Curated By

TIPPs (749)

Name Identifiers Coverage
Typed Lambda Calculi and Applications
  • isbn : 978-3-540-32014-2
  • pisbn : 978-3-540-25593-2
 Fulltext
Verification, Model Checking, and Abstract Interpretation
  • isbn : 978-3-540-30579-8
  • pisbn : 978-3-540-24297-0
 Fulltext
Theory and Applications of Satisfiability Testing
  • pisbn : 978-3-540-27829-0
  • isbn : 978-3-540-31580-3
 Fulltext
Fulltext
Fulltext
ECOOP 2005 - Object-Oriented Programming
  • isbn : 978-3-540-31725-8
  • pisbn : 978-3-540-27992-1
 Fulltext
Fulltext
Fulltext
Fulltext
Fulltext