Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 16 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 16

book Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

pdf

Author: Mikołaj Bojańczyk Sławomir Lasota (auth.) Alain Finkel Jérôme Leroux Igor Potapov (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

pdf

Author: Eduard Paul Enoiu Daniel Sundmark Paul Pettersson (auth.) Hüsnü Yenigün Cemal Yilmaz Andreas Ulrich (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

pdf

Author: Carroll C. Morgan (auth.) Lindsay Groves Jing Sun (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Using Microsoft Dynamics AX 2012: Updated for Version R2

Using Microsoft Dynamics AX 2012: Updated for Version R2

pdf

Author: Dr. Andreas Luszczak (auth.)
Language: English
Year: 2013

00

06.02.2024

0

0

book 25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

pdf

Author: Grumberg Orna., Veith Helmut
Language: English
Year: 2008

00

06.02.2024

0

0

book Pro Hadoop Data Analytics Designing and Building Big Data Systems using the Hadoop Ecosystem

Pro Hadoop Data Analytics Designing and Building Big Data Systems using the Hadoop Ecosystem

epub

Author: Koitzsch Kerry
Language: English
Year: 2017

00

06.02.2024

4

0

book Harley Hahn's Emacs Field Guide [recurso electrónico] $c

Harley Hahn's Emacs Field Guide [recurso electrónico] $c

pdf

Author: Hahn Harley
Language: English
Year: 2016

00

06.02.2024

0

0

book Beginning Xamarin Development for the Mac: Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac

Beginning Xamarin Development for the Mac: Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac

epub

Author: Borycki Dawid
Language: English
Year: 2018

00

06.02.2024

0

0

book Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

epub

Author: Filipe Joaquim, van den Herik Jaap
Language: English
Year: 2017

00

06.02.2024

5

0

book Ubiquitous Information Technologies and Applications: CUTE 2012

Ubiquitous Information Technologies and Applications: CUTE 2012

pdf

Author: Ozgur Koray Sahingoz (auth.) Youn-Hee Han Doo-Soon Park Weijia Jia Sang-Soo Yeo (eds.)
Language: English
Year: 2013

00

06.02.2024

1

0