Wir konnten keine exakten Treffer zu Ihrer Suche nach "logic in computer science" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Buch,Buch

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Outstanding Contributions to Logic -Band 25

Samson Abramsky s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extend…

lieferbar innerhalb 2-3 Wochen
2 Bücher
EUR 175,23*
: Research in Computer Science, Buch

Research in Computer Science

Communications in Computer and Information Science -Band 2085

This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Science, CRI 2023, held in Yaounde, Cameroon, during December 12-13, 2023. The 16 full papers included in this…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 65,71*
: Coalgebraic Methods in Computer Science, Buch

Coalgebraic Methods in Computer Science

Lecture Notes in Computer Science -Band 14617

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 71,19*
: Applied Computer Sciences in Engineering, Buch

Applied Computer Sciences in Engineering

Communications in Computer and Information Science -Band 2223

The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23 25, 2024. The 4…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 76,66*
: Applied Computer Sciences in Engineering, Buch

Applied Computer Sciences in Engineering

Communications in Computer and Information Science -Band 2222

The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23 25, 2024. The 42 …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 76,66*
: Relational and Algebraic Methods in Computer Science, Buch

Relational and Algebraic Methods in Computer Science

Lecture Notes in Computer Science -Band 14787

This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19 22, 2024. The 15 full papers presented in this book were…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
: Computer Science and Engineering in Health Services, Buch

Computer Science and Engineering in Health Services

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference Computer on Science and Engineering in Health Services (COMPSE 2022), which took place in Mexico City…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 240,94*
: Probability and Statistical Models in Operations Research, Computer and Management Sciences, Buch

Probability and Statistical Models in Operations Research, Computer and Management Sciences

Springer Series in Reliability Engineering

This book explores the convergence of stochastic modeling, reliability tools, and the quest for solutions in an era of globalized challenges. The tools have become only more important in the unforeseen em…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 186,19*
: Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning, Buch

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

Lecture Notes in Computer Science -Band 15228

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28 30, 20…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: 7th EAI International Conference on Computer Science and Engineering in Health Services, Buch

7th EAI International Conference on Computer Science and Engineering in Health Services

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Computer Science and Engineering in Health Services (COMPSE 2023), which took place November 16-17…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 240,94*
: Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0, Buch

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

Engineering Cyber-Physical Systems and Critical Infrastructures -Band 10

This book provides a wide collection of the recent studies triggering innovative ways to advance computer science and computational applications. The collection enables readers to understand more about te…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
: Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0, Buch

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

Engineering Cyber-Physical Systems and Critical Infrastructures -Band 9

This book provides a wide collection of the recent studies triggering innovative ways to advance computer science and computational applications. The collection enables readers to understand more about te…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
Lech T. Polkowski: Logic: Reference Book for Computer Scientists, Buch

Lech T. Polkowski
Logic: Reference Book for Computer Scientists

Intelligent Systems Reference Library -Band 245

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested i…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
: Model-Based Reasoning, Abductive Cognition, Creativity, Buch

Model-Based Reasoning, Abductive Cognition, Creativity

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important, innovative, and possibly creative changes in theorie…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
Krishnendu Chaudhury: Math and Architectures of Deep Learning, Buch
-22%

Krishnendu Chaudhury
Math and Architectures of Deep Learning

Math and Architectures of Deep Learning bridges the gap between theory and practice, laying out the math of deep learning side by side with practical implementations in Python and PyTorch. YouGÇÖll peer i…

sofort lieferbar
EUR 57,43**
Buch
EUR 44,67*
Payal Arora: From Pessimism to Promise, Buch

Payal Arora
From Pessimism to Promise

"In this book, digital anthropologist Payal Arora proposes ways in which we can envision new design systems and thinking to include the world. Drawing from fieldwork on young people's digital usage in Bra…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 28,41*
Neil Druckmann: The Last of Us: American Dreams: Volume 1, Buch

Neil Druckmann, Faith Erin Hicks,
The Last of Us: American Dreams: Volume 1

Nineteen years ago, a parasitic fungal outbreak killed the majority of the world's population, forcing survivors into a handful of quarantine zones. Thirteen-year-old Ellie has grown up in this violent, p…

sofort lieferbar
Buch
EUR 17,15*
: SOFSEM 2024: Theory and Practice of Computer Science, Buch

SOFSEM 2024: Theory and Practice of Computer Science

Lecture Notes in Computer Science -Band 14519

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 ful…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: Logics and Type Systems in Theory and Practice, Buch

Logics and Type Systems in Theory and Practice

Lecture Notes in Computer Science -Band 14560

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.