Programming languages (Electronic computers)

Principles of programming languages by: (書目-語言資料,印刷品)

The new PL/I = ... for PC, workstation and mainframe / by: (書目-語言資料,印刷品)

Introduction to the theory of programming languages by: (書目-電子資源)

Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings / by: (書目-電子資源)

Transactions on pattern languages of programming II = special issue on applying patterns / by: (書目-電子資源)

Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-電子資源)

The NCL natural constraint language by: (書目-電子資源)

Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-電子資源)

Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part II / by: (書目-電子資源)

Formal languages for computer simulation = transdisciplinary models and applications / by: (書目-電子資源)

Programming languages and systems = 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : 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: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-電子資源)

Programming languages and systems = 25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Foundations of programming languages by: (書目-電子資源)

Learn data analysis with Python = lessons in coding / by: (書目-電子資源)

A beginner's guide to Scala, object orientation and functional programming by: (書目-電子資源)

Transactions on pattern languages of programming IV by: (書目-電子資源)

Modern C++ for absolute beginners = a friendly introduction to C++ programming language and C++11 to C++20 standards / by: (書目-電子資源)

XcalableMP PGAS programming language = from programming model to applications / by: (書目-電子資源)

Nonsequential and distributed programming with Go = synchronization of concurrent processes: communication - cooperation - competition / by: (書目-電子資源)

Programming with TensorFlow = solution for edge computing applications / by: (書目-電子資源)

The TYPO3 guidebook = understand and use TYPO3 CMS / 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: (書目-電子資源)

Beginning C++20 = from novice to professional / by: (書目-電子資源)

Beginner's guide to kotlin programming by: (書目-電子資源)

Assembly language reimagined = programming the Intel x64 microprocessor in Linux / by: (書目-電子資源)

Languages and compilers for parallel computing / by: (書目-語言資料,印刷品)

Comparative programming languages / by: (書目-語言資料,印刷品)

Programming languages : = concepts and constructs / by: (書目-語言資料,印刷品)

Programming language pragmatics / by: (書目-語言資料,印刷品)

Programming languages : = concepts and constructs / by: (書目-語言資料,印刷品)

Concepts of programming languages / by: (書目-語言資料,印刷品)

The cognitive connection : = thought and language in man and machine / by: (書目-語言資料,印刷品)

Programming linguistics by: (書目-電子資源)

Mixed-effects models in S and S-PLUS by: (書目-電子資源)

Concepts in programming languages by: (書目-電子資源)

Foundations of object-oriented languages = types and semantics / by: (書目-電子資源)

Types and programming languages by: (書目-電子資源)

Game scripting mastery by: (書目-電子資源)

Advanced topics in types and programming languages by: (書目-電子資源)

Regular Expression Recipes for Windows Developers = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Beginning groovy and grails = from novice to professional / by: (書目-語言資料,印刷品)

Programming languages = an active learning approach / by: (書目-語言資料,印刷品)

Concepts of programming languages / by: (書目-語言資料,印刷品)

Understanding and writing compilers : = a do-it-yourself guide / by: (書目-語言資料,印刷品)

Computers and information processing / by: (書目-語言資料,印刷品)

Data types and structures / by: (書目-語言資料,印刷品)

A PROLOG database system / by: (書目-語言資料,印刷品)

Fundamentals of the computing sciences / by: (書目-語言資料,印刷品)

On conceptual modelling : = perspectives from artificial intelligence, databases, and programming languages / by: (書目-語言資料,印刷品)

Principles of programming languages / by: (書目-語言資料,印刷品)

Introduction to computer data processing / by: (書目-語言資料,印刷品)

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Action programming languages / by: (書目-語言資料,印刷品)

Programming languages = principles and paradigms / by: (書目-語言資料,印刷品)

New trends in formal languages = control, cooperation, and combinatorics / by: (書目-語言資料,印刷品)

Mixed-effects models in S and S-PLUS by: (書目-語言資料,印刷品)

Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification / by: (書目-語言資料,印刷品)

Coordination, Organizations, Institutions and Norms in Agent Systems V = COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009, revised selected papers / 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: (書目-語言資料,印刷品)

Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / 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: (書目-電子資源)

A beginner's guide to Scala, object orientation and functional programming by: (書目-電子資源)

Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (書目-電子資源)

Programming languages = 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / by: (書目-電子資源)

Software language engineering = 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014 : proceedings / by: (書目-電子資源)

Programming languages and systems = 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings / by: (書目-電子資源)

Transitioning to Swift by: (書目-電子資源)

Scripting in Java = integrating with Groovy and JavaScript / by: (書目-電子資源)

Foundations of programming languages by: (書目-電子資源)

An introduction to Python and computer programming by: (書目-電子資源)

Swift game programming for absolute beginners by: (書目-電子資源)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-電子資源)

Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings / by: (書目-電子資源)

OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (書目-電子資源)

SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (書目-電子資源)

Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (書目-電子資源)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (書目-電子資源)

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (書目-電子資源)

Programming languages : = principles and paradigms / by: (書目-語言資料,印刷品)

Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / 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: (書目-電子資源)

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (書目-電子資源)

Type systems for distributed programs = components and sessions / by: (書目-電子資源)

Ansible = from beginner to Pro / by: (書目-電子資源)

C++/CLI primer = for .NET development / by: (書目-電子資源)

Text analytics with Python = a practical real-world approach to gaining actionable insights from your data / by: (書目-電子資源)

Erlang and Elixir for imperative programmers by: (書目-電子資源)

Agile Swift = Swift programming using Agile tools and techniques / by: (書目-電子資源)

Deploying Raspberry Pi in the classroom by: (書目-電子資源)

Machine learning using R by: (書目-電子資源)

Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code / by: (書目-電子資源)

Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts / by: (書目-電子資源)

Software languages = syntax, semantics, and metaprogramming / by: (書目-電子資源)

Concepts of programming languages / by: (書目-語言資料,印刷品)

Programming language concepts by: (書目-電子資源)

Introduction to machine learning with Python : = a guide for data scientists / by: (書目-語言資料,印刷品)

Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights / by: (書目-電子資源)

Practical Scala DSLs = real-world applications using domain specific languages / by: (書目-電子資源)

C++17 quick syntax reference = apocket guide to the language, apis and library / by: (書目-電子資源)

Foundations of quantum programming / by: (書目-電子資源)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Dynamic SQL = applications, performance, and security in Microsoft SQL server / by: (書目-電子資源)

Guide to assembly language = a concise introduction / by: (書目-電子資源)

Beginning Ballerina programming = from novice to professional / by: (書目-電子資源)

Ethereum smart contract development in solidity by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / by: (書目-電子資源)

The art of modelling computational systems = a journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday / by: (書目-電子資源)

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Raku fundamentals = a primer with examples, projects, and case studies / by: (書目-電子資源)

The definitive guide to Masonite = building web applications with Python / by: (書目-電子資源)

Beginning Ring programming = from novice to professional / by: (書目-電子資源)

Implementing effective code reviews = how to build and maintain clean code / by: (書目-電子資源)

Options and derivatives programming in C++20 = algorithms and programming techniques for the financial industry / by: (書目-電子資源)

Raku recipes = a problem-solution approach / by: (書目-電子資源)

Getting structured data from the Internet = running web crawlers/Scrapers on a Big Data Production Scale / by: (書目-電子資源)

Understanding programming languages by: (書目-電子資源)

Learn microservices with Spring Boot = a practical approach to RESTful services using an event-driven architecture, cloud-native patterns, and containerization / by: (書目-電子資源)

Deep learning with R / by: (書目-語言資料,印刷品)

Language server protocol and implementation = supporting language-smart editing and programming tools / by: (書目-電子資源)

OpenMP = enabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings / by: (書目-電子資源)

Programming 101 = learn to code with the Processing language using a visual approach / by: (書目-電子資源)

Beginning MATLAB and Simulink = from beginner to pro / by: (書目-電子資源)

Modern C++ for absolute beginners = a friendly introduction to the C++ programming language and C++11 to C++23 standards / by: (書目-電子資源)

Programming languages = principles and paradigms / by: (書目-電子資源)

Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry / by: (書目-電子資源)

Text analysis with Python = a research-oriented guide / by: (書目-電子資源)

Semiotics of programming / by: (書目-語言資料,印刷品)

Mastering REST APIs = boosting your web development journey with advanced API techniques / by: (書目-電子資源)

R by example by: (書目-電子資源)

Transactions on pattern languages of programming V by: (書目-電子資源)

Nonsequential and distributed programming with Go = synchronization of concurrent processes / by: (書目-電子資源)

Let us Go! = a complete beginner's guide to golang programming and development / by: (書目-電子資源)

Programming language concepts / by: (書目-語言資料,印刷品)

Text processing / by: (書目-語言資料,印刷品)

Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-電子資源)

Head first Swift / by: (書目-語言資料,印刷品)

PRINCIPLES OF PROGRAMMING LANGUAGES = A Paradigm Approach / by: (書目-電子資源)

Concepts of programming languages / by: (書目-語言資料,印刷品)

Data models, database languages and database management systems / by: (書目-語言資料,印刷品)

Programming languages : = design and implementation / by: (書目-語言資料,印刷品)

Reasoning about program transformations = imperative programming and flow of data / by: (書目-電子資源)

Faster, smarter.. Beginning programming by: (書目-電子資源)

.Net common language runtime unleashed by: (書目-電子資源)

Sams teach yourself beginning programming in 24 hours by: (書目-電子資源)

C#.net = web developer's guide / by: (書目-電子資源)

Concepts of programming languages / by: (書目-語言資料,印刷品)

Programming languages and systems = 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings/ by: (書目-語言資料,印刷品)

Formal and natural computing = essays dedicated to Grzegorz Rozenberg / by: (書目-語言資料,印刷品)

Programming Pig / by: (書目-語言資料,印刷品)

Swift recipes = a problem-solution approach / by: (書目-電子資源)

Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (書目-電子資源)

Rails 5 revealed by: (書目-電子資源)

Dynamic SQL = applications, performance, and security / by: (書目-電子資源)

Biostatistics for epidemiology and public health using R / by: (書目-電子資源)

Maple 8 : = advanced programming guide / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (書目-電子資源)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-電子資源)

Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse / by: (書目-電子資源)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (書目-電子資源)

Programming languages : = principles and practice / by: (書目-語言資料,印刷品)

Interaction flow modeling language = model-driven UI engineering of web and mobile apps with IFML / by: (書目-電子資源)

Concepts of programming languages / by: (書目-語言資料,印刷品)

Head first Kotlin : = a brain-friendly guide / by: (書目-語言資料,印刷品)

Programming language design and implementation by: (書目-電子資源)

Head first Java / by: (書目-語言資料,印刷品)