Search Results - computer programming. programming languages ((electronic OR elektronicky) computers)

E-business Implementation: A guide to web services, EAI, BPI, e-commerce, content management, portals, and supporting technologies by Watt, Dougal

“…'E-business Implementation' is written as a complete guide to successful e-business delivery, from both a project management and a detailed technological…”
Get full text

Connected Code: Why Children Need to Learn Programming by Kafai, Yasmin Bettina, Burke, Quinn

“… Programming is often promoted in K-12 schools as a way to encourage "computational thinking" -- which has now become the umbrella term for understanding what computer science has to contribute…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“… The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

“… The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles…”
Get full text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“… They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Get full text

Enhancing Students' Computer Programming Performances, Critical Thinking Awareness and Attitudes towards Programming: An Online Peer-Assessment Attempt by Wang, Xiao-Ming, Hwang, Gwo-Jen, Liang, Zi-Yun, Wang, Hsiu-Ying

“…It has become an important and challenging issue to foster students' concepts and skills of computer programming…”
Get full text

Data parallel C++ : mastering DPC++ for programming of heterogeneous systems using C++ and SYCL by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

“…Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and…”
Get full text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning by Riguzzi, Fabrizio

“… Combining the two is a very active field of study. Probabilistic Programming extends programming languages with probabilistic primitives that can be used to write complex probabilistic models…”
Get full text

Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

“… (what is the probability that software leaks confidential information?), and presents three programming languages for different applications…”
Get full text

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings by Caires, Luís

Get full text

Practical Foundations for Programming Languages by Harper, Robert

“…Types are the central organizing principle of the theory of programming languages…”
Get full text

Data Wrangling - Using Pandas, SQL, and Java by Campesato, Oswald

“… Companion files with code are available for downloading from the publisher.Features: Provides the reader with basic Python 3, Java, and Pandas programming concepts…”
Get full text

Python 3 and Machine Learning Using ChatGPT/GPT-4 by Campesato, Oswald

“…This book is designed to bridge the gap between theoretical knowledge and practical application in the fields of Python programming, machine learning, and the innovative use of ChatGPT-4 in data…”
Get full text

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I by Weirich, Stephanie

“…: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation…”
Get full text

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Muller, Peter

“… The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Get full text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II by Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II…”
Get full text

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings by Wies, Thomas

“… They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Get full text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I by Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II…”
Get full text

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings by European Symposium on Programming, Sergey, Ilya, European Conferences on Theory and Practice of Software

“… They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Get full text

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Weirich, Stephanie

“…: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation…”
Get full text