Programming languages (Electronic computers)

Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (書目-語言資料,印刷品)

Swift game programming for absolute beginners by: (書目-語言資料,印刷品)

Introduction to the theory of programming languages by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers 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: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

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

Programming Languages and Systems = 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / by: (書目-語言資料,印刷品)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

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

Guide to HTML, JavaScript and PHP = for scientists and engineers / by: (書目-語言資料,印刷品)

Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (書目-語言資料,印刷品)

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

Programming languages and systems = 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

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

Transactions on pattern languages of programming I by: (書目-語言資料,印刷品)

Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Learn Objective-C for Java developers by: (書目-語言資料,印刷品)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Database programming languages = 12th international symposium, DBPL 2009, Lyon, France, August 23-24, 2009 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-語言資料,印刷品)

OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (書目-語言資料,印刷品)

Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / 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: (書目-語言資料,印刷品)

Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Beginning C by: (書目-語言資料,印刷品)

Transactions on pattern languages of programming III by: (書目-語言資料,印刷品)

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

Practical Raspberry Pi by: (書目-語言資料,印刷品)

Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings / by: (書目-語言資料,印刷品)

The NCL natural constraint language by: (書目-語言資料,印刷品)

Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I / by: (書目-語言資料,印刷品)

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

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

Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : 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: (書目-語言資料,印刷品)

Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Advances in computing science--ASIAN 2003 = programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers / by: (書目-語言資料,印刷品)

Modular programming languages = Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / by: (書目-語言資料,印刷品)

Database programming languages = 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / by: (書目-語言資料,印刷品)

Domain-specific program generation = international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers / by: (書目-語言資料,印刷品)

Programming languages and systems = second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / by: (書目-語言資料,印刷品)

Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Expert shell scripting by: (書目-語言資料,印刷品)

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

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

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

Getting started with Raspberry Pi / by: (書目-語言資料,印刷品)

Formal languages for computer simulation = transdisciplinary models and applications / 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: (書目-語言資料,印刷品)

Leveraging WMI scripting = using Windows Management Instrumentation to solve Windows management problems / by: (書目-語言資料,印刷品)

Sockets, shellcode, porting & coding = reverse engineering exploits and tool coding for security professionals / by: (書目-語言資料,印刷品)

Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java by: (書目-語言資料,印刷品)

Understanding WMI scripting by: (書目-語言資料,印刷品)

Interaction flow modeling language = model-driven ui engineering of web and mobile apps with ifml / by: (書目-語言資料,印刷品)

Foundations of fuzzy logic and Semantic Web languages / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Rails 5 revealed by: (書目-語言資料,印刷品)

Dynamic SQL = applications, performance, and security / 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: (書目-語言資料,印刷品)

Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Ansible = from beginner to Pro / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / 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: (書目-語言資料,印刷品)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-語言資料,印刷品)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (書目-語言資料,印刷品)

Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse / 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: (書目-語言資料,印刷品)

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

Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights / by: (書目-語言資料,印刷品)

Low-level programming = C, Assembly, and program execution on Intel 64 architecture / by: (書目-語言資料,印刷品)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

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

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

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

A beginner's guide to Scala, object orientation and functional programming by: (書目-語言資料,印刷品)

C++17 quick syntax reference = apocket guide to the language, apis and library / by: (書目-語言資料,印刷品)

Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (書目-語言資料,印刷品)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-語言資料,印刷品)

Software languages = syntax, semantics, and metaprogramming / by: (書目-語言資料,印刷品)

Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Programming 101 = the how and why of programming revealed using the processing programming language / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Practical TLA+ = planning driven development / by: (書目-語言資料,印刷品)

Data analysis and visualization using Python = analyze data to create visualizations for BI systems / by: (書目-語言資料,印刷品)

Coding literacy : = how computer programming is changing writing / by: (書目-語言資料,印刷品)

Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Python for data analysis : = data wrangling with Pandas, NumPy, and IPython / by: (書目-語言資料,印刷品)

Agile Swift = Swift programming using Agile tools and techniques / by: (書目-語言資料,印刷品)

Deploying Raspberry Pi in the classroom by: (書目-語言資料,印刷品)

Machine learning using R by: (書目-語言資料,印刷品)

Interaction flow modeling language = model-driven UI engineering of web and mobile apps with IFML / by: (書目-語言資料,印刷品)

Implementing effective code reviews : = how to build and maintain clean code / by: (書目-語言資料,印刷品)

Ethereum smart contract development in solidity / by: (書目-語言資料,印刷品)

Pandas 1.x cookbook : = practical recipes for scientific computing, time series analysis, and exploratory data analysis using Python / by: (書目-語言資料,印刷品)

C++ all-in-one for dummies / by: (書目-語言資料,印刷品)

Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition / by: (書目-語言資料,印刷品)

Text analysis with Python = a research-oriented guide / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-語言資料,印刷品)

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

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (書目-語言資料,印刷品)

Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry / by: (書目-語言資料,印刷品)

Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Mastering REST APIs = boosting your web development journey with advanced API techniques / by: (書目-語言資料,印刷品)

C# 12 in a nutshell : = the definitive reference / by: (書目-語言資料,印刷品)

Biostatistics for epidemiology and public health using R / by: (書目-語言資料,印刷品)

R by example by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = SAFECOMP 2024 Workshops, DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024 : proceedings / by: (書目-語言資料,印刷品)

Oracle embedded programming and application development by: (書目-語言資料,印刷品)

Nonsequential and distributed programming with Go = synchronization of concurrent processes / by: (書目-語言資料,印刷品)

Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings / by: (書目-語言資料,印刷品)

Software, system, and service engineering = S3E 2024 Topical Area, held as part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, held as part of SEAA 2024, Paris, France, August 28-30, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Static analysis = 31st International Symposium, SAS 2024, Pasadena, CA, USA October 20-22, 2024 : proceedings / by: (書目-語言資料,印刷品)

Transactions on pattern languages of programming V by: (書目-語言資料,印刷品)

Programming languages and systems = 34th European Symposium on Programming, ESOP 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Programming languages and systems = 34th European Symposium on Programming, ESOP 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part II / by: (書目-語言資料,印刷品)