Algebraic And Logic Programming
Racket Programming the Fun Way: From Strings to Turing Machines eBooks & eLearning
Posted by First1 at Jan. 12, 2021
Racket Programming the Fun Way: From Strings to Turing Machines by James. W. Stelly
English | January 12th, 2021 | ISBN: 1718500823 | 360 pages | True EPUB | 21.08 MB
English | January 12th, 2021 | ISBN: 1718500823 | 360 pages | True EPUB | 21.08 MB
An introduction to the Racket functional programming language and DrRacket development environment to explore topics in mathematics (mostly recreational) and computer science.
Racket Programming the Fun Way: From Strings to Turing Machines eBooks & eLearning
Posted by IrGens at Nov. 4, 2021
Racket Programming the Fun Way: From Strings to Turing Machines by James. W. Stelly
English | January 12, 2021 | ASIN: B085BW4J16, ISBN: 1718500823 | True AZW3 | 360 pages | 5.3 MB
English | January 12, 2021 | ASIN: B085BW4J16, ISBN: 1718500823 | True AZW3 | 360 pages | 5.3 MB
Logic and Algebraic Structures in Quantum Computing eBooks & eLearning
Posted by roxul at May 11, 2016
Jennifer Chubb and Ali Eskandarian, "Logic and Algebraic Structures in Quantum Computing"
English | 2016 | ISBN: 110703339X | 356 Pages | True PDF | 3 MB
English | 2016 | ISBN: 110703339X | 356 Pages | True PDF | 3 MB
Foundations of Algebraic Specification and Formal Software Development eBooks & eLearning
Posted by fdts at May 21, 2014
Foundations of Algebraic Specification and Formal Software Development
by Donald Sannella, Andrzej Tarlecki
English | 2012 | ISBN: 3642173357 | 603 pages | PDF | 2.87 MB
by Donald Sannella, Andrzej Tarlecki
English | 2012 | ISBN: 3642173357 | 603 pages | PDF | 2.87 MB
Foundations of Algebraic Specification and Formal Software Development eBooks & eLearning
Posted by AvaxGenius at Sept. 27, 2019
Foundations of Algebraic Specification and Formal Software Development by Donald Sannella
English | PDF | 2012 | 594 Pages | ISBN : 3642173357 | 5.84 MB
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development.
Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, eBooks & eLearning
Posted by insetes at April 10, 2019
Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, … By Patricia Melin, Oscar Castillo, Luis T. Aguilar, Witold Pedrycz
2007 | 851 Pages | ISBN: 3540729178 | PDF | 11 MB
2007 | 851 Pages | ISBN: 3540729178 | PDF | 11 MB
Algebraic Foundations of Systems Specification eBooks & eLearning
Posted by insetes at Aug. 22, 2021
Algebraic Foundations of Systems Specification By Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner
2011 | 616 Pages | ISBN: 3642641512 | DJVU | 6 MB
2011 | 616 Pages | ISBN: 3642641512 | DJVU | 6 MB
Algebraic Formalization of Smart Systems: Theory and Practice (Repost) eBooks & eLearning
Posted by AvaxGenius at May 3, 2021
Algebraic Formalization of Smart Systems: Theory and Practice By Natalia Serdyukova
English | PDF,EPUB | 2018 | 2018 | 220 Pages | ISBN : 3319770500 | 7.41 MB
This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to substantiate practical results in the field of smart systems, which previously had only an empirical justification. Further, it proposes a translation of the theory of smart systems from verbal language to a much more expressive language of algebraic formalization, allowing the laws of the theory of smart systems to be seen in a different light.
Logic of Computation eBooks & eLearning
Posted by insetes at Feb. 25, 2019
Logic of Computation By Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
1997 | 403 Pages | ISBN: 3642638325 | PDF | 13 MB
1997 | 403 Pages | ISBN: 3642638325 | PDF | 13 MB
Programming with Python : HandsOn Practice eBooks & eLearning
Posted by lucky_aut at July 29, 2021
Programming with Python : HandsOn Practice
Duration: 4h 59m | .MP4 1280x720, 30 fps(r) | AAC, 44100 Hz, 2ch | 4.58 GB
Genre: eLearning | Language: English
Duration: 4h 59m | .MP4 1280x720, 30 fps(r) | AAC, 44100 Hz, 2ch | 4.58 GB
Genre: eLearning | Language: English
Learn python by solving different problems