1
Bridging the Gap Between AI and Reality [E-Book] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings /

Full text 
Favorites
Saved in:
2
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
Table of Contents: “... as Finite State Machines -- AutomaTutor: An Educational Mobile App for Teaching Automata Theory -- ESBMC v7.3: Model Checking C++ Programs using Clang....”

Full text 
Favorites
Saved in:
3
Frontiers in Software Engineering Education [E-Book] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers /
Subject (ZB): “...Education -- Data processing....”

Full text 
Favorites
Saved in:
4
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /

Full text 
Favorites
Saved in:
5
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [E-Book] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers /
Table of Contents: “... and Evaluation of Digital Twin -- OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology -- A Life-long Learning Education Passport powered by Blockchain Technology and Verifiable Digital Credentials...”

Full text 
Favorites
Saved in:
6
Software Sustainability [E-Book] /

Full text 
Favorites
Saved in:
7
Design, User Experience, and Usability: Designing Pleasurable Experiences [E-Book] : 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II /
Table of Contents: “...Design thinking and design philosophy -- Aesthetics and perception in design -- User experience evaluation methods and tools -- User centered design in the software development lifecycle -- DUXU education and training -- Persuasive and emotional design...”

Full text 
Favorites
Saved in:
8
TRIZ – The Theory of Inventive Problem Solving [E-Book] : Current Research and Trends in French Academic Institutions /

Full text 
Favorites
Saved in:
9
Euro-Par 2016: Parallel Processing Workshops [E-Book] : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers /
Table of Contents: “...Parallel and distributed computing education for undergraduate students.– Algorithms, models and tools for parallel computing on heterogeneous platforms -- Multicore software engineering -- Large-scale distributed virtual environments -- Parallel...”

Full text 
Favorites
Saved in:
10
Human-Computer Interaction. Theory, Design, Development and Practice [E-Book] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I /
Table of Contents: “...Theory, Practice and Education -- Interaction design methods and tools -- Usability and User Experience Evaluation methods and techniques -- Models and Patterns in HCI -- Development Methods and Techniques. ....”

Full text 
Favorites
Saved in:
11
Human-Computer Interaction. Novel User Experiences [E-Book] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III /
Subject (ZB): “...Education Data processing....”

Full text 
Favorites
Saved in:
12
Games and Learning Alliance [E-Book] : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers /
Subject (ZB): “...Education Data processing....”

Full text 
Favorites
Saved in:
13
Design, User Experience, and Usability: Novel User Experiences [E-Book] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II /
Table of Contents: “...Topical sections on emotion, motivation, and persuasion design -- DUXU in learning and education -- Games and gamification -- Culture, language and DUXU -- DUXU for social innovation and sustainability -- Usability and user experience studies....”

Full text 
Favorites
Saved in:
14
Software Engineering for Resilient Systems [E-Book] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
Table of Contents: “...-based adaption and resilience) -- Resilient cyber-physical systems and infrastructures -- Global aspects of resilience engineering: education, training and cooperation....”

Full text 
Favorites
Saved in:
15
Advances in Conceptual Modeling [E-Book] : ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings /

Full text 
Favorites
Saved in:
16
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Table of Contents: “...Education -- requirements modeling -- specification languages -- specification/verification -- formal calculi -- software design methods -- automatic code generation -- refinement methodologies -- compositional analysis -- verification tools -- Tool...”

Full text 
Favorites
Saved in:
17
Software Architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings [E-Book] /
Babar, Ali
2016

Full text 
Favorites
Saved in:
18
Collaboration and Technology [E-Book] : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings /
Subject (ZB): “...Education Data processing....”

Full text 
Favorites
Saved in:
19
Programming Smalltalk – Object-Orientation from the Beginning [E-Book] : An introduction to the principles of programming /

Full text 
Favorites
Saved in:
20
Human-Computer Interaction: Design and Evaluation [E-Book] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I /
Subject (ZB): “...Education....”

Full text 
Favorites
Saved in:

Narrow Search Results