Programming languages (Electronic computers)
概要
作品: | 181 作品在 104 項出版品 104 種語言 |
---|
書目資訊
Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-電子資源)
Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(書目-電子資源)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-電子資源)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-電子資源)
Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code /
by:
(書目-電子資源)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
by:
(書目-電子資源)
Getting structured data from the Internet = running web crawlers/Scrapers on a Big Data Production Scale /
by:
(書目-電子資源)
Language server protocol and implementation = supporting language-smart editing and programming tools /
by:
(書目-電子資源)
Modern C++ for absolute beginners = a friendly introduction to the C++ programming language and C++11 to C++23 standards /
by:
(書目-電子資源)
Reasoning about program transformations = imperative programming and flow of data /
by:
(書目-語言資料,印刷品)
On conceptual modelling : = perspectives from artificial intelligence, databases, and programming languages /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification /
by:
(書目-語言資料,印刷品)
Interfaces = explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-電子資源)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-電子資源)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Formal languages for computer simulation = transdisciplinary models and applications /
by:
(書目-電子資源)
Programming languages = 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(書目-電子資源)
Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(書目-電子資源)
Text analytics with Python = a practical real-world approach to gaining actionable insights from your data /
by:
(書目-電子資源)
Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse /
by:
(書目-電子資源)
Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts /
by:
(書目-電子資源)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(書目-電子資源)
Modern C++ for absolute beginners = a friendly introduction to C++ programming language and C++11 to C++20 standards /
by:
(書目-電子資源)
Interaction flow modeling language = model-driven UI engineering of web and mobile apps with IFML /
by:
(書目-電子資源)
Spring quick reference guide = a pocket handbook for Spring framework, Spring boot, and more /
by:
(書目-電子資源)
Beginning Quarkus framework = build cloud-native enterprise Java applications and microservices /
by:
(書目-電子資源)
Options and derivatives programming in C++20 = algorithms and programming techniques for the financial industry /
by:
(書目-電子資源)
Programming 101 = learn to code with the Processing language using a visual approach /
by:
(書目-電子資源)
更多
較少的
主題