Reverse Mathematics: Problems, Reductions, and Proofs
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Ca…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-11367-3
- Collation
- xix, 488p.: Ill.
- Series Title
- Theory and Applications of Computability
- Call Number
- 004.6 Rev
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part …
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022. The 10 full papers and 1 tool p…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09843-7
- Collation
- xii, 207p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Gra
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, Oc…
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19818-2
- Collation
- lvi, 757p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.656 94 Com
Distributed Computing and Intelligent Technology: 18th International Conferen…
This book constitutes the proceedings of the 18th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2022, held in Bhubaneswar, India, in January 20212. The 11 fu…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-94876-4
- Collation
- xii, 273p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Dis
Computer Vision – ECCV 2022 17th European Conference, Tel Aviv, Israel, Oct…
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19821-2
- Collation
- lvii, 753p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.656 94 Com
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, Oc…
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19842-7
- Collation
- lvi, 729p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.656 94 Com
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, Oc…
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19775-8
- Collation
- lvii, 757p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Com
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography