Imatge de la portada

Structures of Computing A Guide to Practice-Oriented Theory /

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autors principals:	Börger, Egon (Autor), Gervasi, Vincenzo (Autor)
Autor corporatiu:	SpringerLink (Online service)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer International Publishing : Imprint: Springer, 2024.
Edició:	1st ed. 2024.
Matèries:	Computer science. Software engineering. Theory of Computation. Software Engineering.
Accés en línia:	https://doi.org/10.1007/978-3-031-54358-6
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
Publicat: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Publicat: (2025)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Publicat: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Publicat: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Publicat: (2025)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II /
Publicat: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I /
Publicat: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI /
Publicat: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV /
Publicat: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V /
Publicat: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III /
Publicat: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII /
Publicat: (2024)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Publicat: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Publicat: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Publicat: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Publicat: (2025)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II /
Publicat: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V /
Publicat: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III /
Publicat: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I /
Publicat: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV /
Publicat: (2023)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V /
Publicat: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Publicat: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Publicat: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Publicat: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Publicat: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI /
Publicat: (2025)

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings /
Publicat: (2024)

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Publicat: (2023)

Transactions on Petri Nets and Other Models of Concurrency XVII
Publicat: (2024)

Knowledge Discovery, Knowledge Engineering and Knowledge Management 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers /
Publicat: (2023)

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers /
Publicat: (2025)

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings /
Publicat: (2024)

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /
Publicat: (2023)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Publicat: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Publicat: (2025)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Publicat: (2024)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Publicat: (2023)

Concise Guide to Software Verification From Model Checking to Annotation Checking /
per: Huisman, Marieke, et al.
Publicat: (2023)

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings /
Publicat: (2024)