Filter by
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? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights. This text prov…
- 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 paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transfo…
- 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 October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machin…
- 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 full papers presented together with 4 short papers were carefully reviewed and selected from 50 submissions. There are also 4 invited papers included. The papers were organized in topical sections named…
- 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 October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision…
- 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 October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision…
- 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 October 23–27, 2022. The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision…
- 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