Search Results - "Programming Languages, Compilers, Interpreters" :: K.UTB vyhledávací portál

Loading…

Advanced Guide to Python 3 Programming

by Hunt, John
Year of Publication 19.09.2019

Get full text

eBook

Loading…

Advanced Guide to Python 3: Programming

by Hunt, John
Year of Publication 2019

Get full text

eBook

Loading…

A Beginners Guide to Python 3 Programming

by Hunt, John
Year of Publication 2019

Get full text

eBook

Loading…

Introduction to Software Design with Java

by Robillard, Martin P
Year of Publication 2022

Get full text

eBook

Loading…

SSA-Based Compiler Design

by Rastello, Fabrice, Bouchez Tichadou, Florent
Year of Publication 2022

Get full text

eBook

Loading…

Algorithms on trees and graphs : with python code

by Valiente, Gabriel
Year of Publication 2021

Get full text

eBook Book

Loading…

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

by International Conference on Formal Methods for Industrial Critical Systems, Lafuente, Alberto Lluch, Mavridou, Anastasia
Year of Publication 2021

Get full text

eBook Book

Loading…

Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers

by Dahanayake, Ajantha, Pastor, Oscar, Thalheim, Bernhard
Year of Publication 2021

Get full text

eBook

Loading…

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

by Margaria, Tiziana, Steffen, Bernhard
Year of Publication 2021

Get full text

eBook

Loading…

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

by FMOODS, FORTE, Hatcliff, John, Zucca, Elena
Year of Publication 2010

Get full text

eBook Book Conference Proceeding

Loading…

Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers

by Zsok, Viktoria, Porkolab, Zoltan, Horvath, Zoltan
Year of Publication 2019

Get full text

eBook Conference Proceeding

Loading…

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

by Rabe, Florian, Farmer, William M, Passmore, Grant O, Youssef, Abdou
Year of Publication 2018

Get full text

eBook Conference Proceeding

Loading…

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Year of Publication 06.03.2018

Get full text

Conference Proceeding

Loading…

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

by Workshop on Logic, Language, Information and Computation, Moss, Lawrence Stuart, Queiroz, Ruy de, Martinez, Maricarmen
Year of Publication 2018

Get full text

eBook Book

Loading…

Machine Learning Using R - With Time Series and Industry-Based Use Cases in R (2nd Edition)

by Ramasubramanian, Karthik, Singh, Abhishek
Year of Publication 2019

Get full text

eBook

Loading…

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

by Jones, Cliff, Wang, Ji, Zhan, Naijun
Year of Publication 2018

Get full text

eBook

Loading…

A Practical Approach to Compiler Construction

by Watson, Des
Year of Publication 2017

Get full text

eBook

Loading…

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Year of Publication 2016

Get full text

Conference Proceeding

Loading…

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

by Black, Elizabeth, Modgil, Sanjay, Oren, Nir
Year of Publication 2018

Get full text

eBook

Loading…

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

by Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don
Year of Publication 2016

Get full text

eBook

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database