Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Greg L. Turnquist, "Learning Spring Boot 3.0" (repost)

Posted By: TimMa
Greg L. Turnquist, "Learning Spring Boot 3.0" (repost)

Greg L. Turnquist, "Learning Spring Boot 3.0"
2022 | ISBN: 1803233303 | English | PDF | 270 pages | 4.4 MB

Spring Boot 3 brings more than just the powerful ability to build secure web apps on top of a rock-solid database. It delivers new options for testing, deployment, Docker support, and native images for GraalVM, along with ways to squeeze out more efficient usage of existing resources. …

Software Pioneers: Contributions to Software Engineering (Repost)

Posted By: AvaxGenius
Software Pioneers: Contributions to Software Engineering (Repost)

Software Pioneers: Contributions to Software Engineering by Manfred Broy
English | Scan PDF | 2002 | 713 Pages | ISBN : 3540430814 | 208.7 MB

A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote below: A well-defined segmentation of the project effort ensures system modularity. Each task fonos a separate, distinct program module. At implementation time each module and its inputs and outputs are well-defined, there is no confusion in the intended interface with other system modules.

Diagrammatic Representation and Inference

Posted By: AvaxGenius
Diagrammatic Representation and Inference

Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings by Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana
English | PDF | 2022 | 386 Pages | ISBN : 3031151453 | 37.7 MB

This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022.
The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions.

Transactions on Petri Nets and Other Models of Concurrency XVI

Posted By: AvaxGenius
Transactions on Petri Nets and Other Models of Concurrency XVI

Transactions on Petri Nets and Other Models of Concurrency XVI by Maciej Koutny, Fabrice Kordon, Daniel Moldt
English | EPUB | 2022 | 154 Pages | ISBN : 3662653028 | 16.1 MB

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.
ToPNoC contains:

Informatics in Schools. Rethinking Computing Education

Posted By: AvaxGenius
Informatics in Schools. Rethinking Computing Education

Informatics in Schools. Rethinking Computing Education: 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3–5, 2021, Proceedings by Erik Barendsen
English | EPUB | 2021 | 166 Pages | ISBN : 3030902277 | 10.7 MB

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format.
The 12 full papers presented were carefully reviewed and selected from 29 submissions. They are organized in topical sections named: Fostering Computational Thinking, Programming Education, Advancing Computing Education, and Teachers’ Professional Development.

Informatics in Schools. Rethinking Computing Education

Posted By: AvaxGenius
Informatics in Schools. Rethinking Computing Education

Informatics in Schools. Rethinking Computing Education: 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3–5, 2021, Proceedings by Erik Barendsen
English | PDF | 2021 | 166 Pages | ISBN : 3030902277 | 8.2 MB

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format.

Graph Transformation

Posted By: AvaxGenius
Graph Transformation

Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings by Nicolas Behr
English | PDF | 2022 | 216 Pages | ISBN : 3031098420 | 10.6 MB

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 transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.

Reversible Computation

Posted By: AvaxGenius
Reversible Computation

Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings by Claudio Antares Mezzina
English | PDF | 2022 | 245 Pages | ISBN : 3031090047 | 8.1 MB

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.

Detection of Intrusions and Malware, and Vulnerability Assessment

Posted By: AvaxGenius
Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment: 19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 –July 1, 2022, Proceedings by Lorenzo Cavallaro
English | PDF | 2022 | 229 Pages | ISBN : 3031094832 | 12.6 MB

This book constitutes the proceedings of the 19th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2022, held in Cagliari, Italy, in June – July 2021.
The 10 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 39 submissions.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | EPUB | 2021 | 263 Pages | ISBN : 3030810968 | 12.8 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

NASA Formal Methods

Posted By: AvaxGenius
NASA Formal Methods

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings by Aaron Dutle
English | PDF | 2021 | 416 Pages | ISBN : 3030763838 | 20.6 MB

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

Software Pioneers: Contributions to Software Engineering

Posted By: AvaxGenius
Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering by Manfred Broy
English | Scan PDF | 2002 | 713 Pages | ISBN : 3540430814 | 208.7 MB

A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote below: A well-defined segmentation of the project effort ensures system modularity. Each task fonos a separate, distinct program module. At implementation time each module and its inputs and outputs are well-defined, there is no confusion in the intended interface with other system modules.

Patterns, Programming and Everything

Posted By: AvaxGenius
Patterns, Programming and Everything

Patterns, Programming and Everything by Karin K. Breitman
English | PDF | 2012 | 179 Pages | ISBN : 1447123492 | 3.2 MB

With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic – all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research – this book reflects on Dr Bishop’s outstanding contribution to computer science. Having worked at three different universities she now holds a leadership position in the research division of a major software company.

Logic and Argumentation

Posted By: AvaxGenius
Logic and Argumentation

Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings by Pietro Baroni
English | PDF | 2021 | 562 Pages | ISBN : 3030893901 | 12.3 MB

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | PDF | 2021 | 263 Pages | ISBN : 3030810968 | 10.7 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.