Search Results for Teaching.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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.

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

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

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

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

Conversations Around Semiotic Engineering

Yazar

Diniz Junqueira Barbosa, Simone. editor.

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

Format:

Electronic Resources

Alıntı:

Opportunity or an Opportunity Missed? -- Semiotic Engineering as Teaching -- Generative Art - a Semiotic

Fluid Dynamics Theory, Computation, and Numerical Simulation

Yazar

Pozrikidis, C. author.

https://doi.org/10.1007/978-1-4899-7991-9

Format:

Electronic Resources

Alıntı:

invaluable resource for research, teaching, classroom instruction, and self-study. This book is a must for

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

Yazar

Štuikys, Vytautas. author.

http://dx.doi.org/10.1007/978-3-319-16913-2

Format:

Electronic Resources

Alıntı:

Development -- A Vision of Smart Teaching In CS -- Understanding of LO Domain Through its Taxonomies -- Reuse

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Yazar

Chivers, Ian. author.

http://dx.doi.org/10.1007/978-3-319-17701-4

Format:

Electronic Resources

Alıntı:

Fortran standardisation process. The authors have been teaching and supporting Fortran and related areas

10.

Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

Yazar

Sage, Kingsley. author.

https://doi.org/10.1007/978-3-030-13304-7

Format:

Electronic Resources

Alıntı:

through to postgraduate-level teaching, in both traditional university teaching and adult education.

11.

Introduction to Programming with Fortran

Yazar

Chivers, Ian. author.

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

Format:

Electronic Resources

Alıntı:

-- Coarray Fortran -- C Interop -- IEEE Arithmetic -- Derived Type IO -- Sorting and Searching -- Handling

12.

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

Yazar

Laaksonen, Antti. author.

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

Format:

Electronic Resources

Alıntı:

Introduction -- Programming Techniques -- Efficiency -- Sorting and Searching -- Data Structures

	{displayName}	{count}
{error}