Search Results for Teaching.

20 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Yazar

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

https://doi.org/10.1007/978-3-030-32441-4

Format:

Electronic Resources

Alıntı:

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Yazar

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556

https://doi.org/10.1007/978-3-030-03044-5

Format:

Electronic Resources

Alıntı:

-- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.

Software Engineering: Specification, Implementation, Verification

Yazar

Alagić, Suad. author.

https://doi.org/10.1007/978-3-319-61518-9

Format:

Electronic Resources

Alıntı:

This book takes a formal approach to teaching software engineering, using not only UML, but also

Learning Java with Games

Yazar

Xu, Chong-wei. author.

https://doi.org/10.1007/978-3-319-72886-5

Format:

Electronic Resources

Alıntı:

the method to applying concepts. Instead of teaching game design using Java, projects are designed to

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Yazar

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

https://doi.org/10.1007/978-3-319-90686-7

Format:

Electronic Resources

Alıntı:

, applications, implementations, and teaching of declarative programming focusing on topics such as

Fundamentals of Java Programming

Yazar

Ogihara, Mitsunori. author.

https://doi.org/10.1007/978-3-319-89491-1

Format:

Electronic Resources

Alıntı:

line-by-line descriptions, also with chapter-by-chapter coding exercises. Teaching resources include solutions

Using Microsoft Dynamics AX The New Dynamics ‘AX 7‘

Yazar

Luszczak, Andreas. author.

http://dx.doi.org/10.1007/978-3-658-13622-2

Format:

Electronic Resources

Alıntı:

, responsible for the implementation of Microsoft Dynamics AX in numerous projects. He has been teaching

Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programming

Yazar

Brauer, Johannes. author.

http://dx.doi.org/10.1007/978-3-658-06823-3

Format:

Electronic Resources

Alıntı:

. He teaches programming to undergraduates and works with new technologies for teaching, including

Using Microsoft Dynamics AX 2012 Updated for Version R3

Yazar

Luszczak, Andreas. author.

http://dx.doi.org/10.1007/978-3-658-08295-6

Format:

Electronic Resources

Alıntı:

Dynamics AX in numerous projects. He has been teaching Dynamics AX at renowned universities in Austria. In

10.

Computer Graphics for Java Programmers

Yazar

Ammeraal, Leen. author.

https://doi.org/10.1007/978-3-319-63357-2

Format:

Electronic Resources

Alıntı:

style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics

11.

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming

Yazar

Upadhyaya, Bhim P. author.

https://doi.org/10.1007/978-3-030-12561-5

Format:

Electronic Resources

Alıntı:

, binary trees, sorting, searching, and graphs Describes examples of complete and running applications for

12.

Programming with Scala Language Exploration

Yazar

Upadhyaya, Bhim P. author.

https://doi.org/10.1007/978-3-319-69368-2

Format:

Electronic Resources

Alıntı:

engineers to make the switch to Scala. Instructors teaching introductory programming courses will also find

	{displayName}	{count}
{error}