大葉大學圖書館 |

Works:	49 works in 46 publications in 46 languages

Titles

Programming languages and systems[electronic resource] :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: (Language materials, printed)

Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (Language materials, printed)

The NCL natural constraint language [electronic resource] / by: (Language materials, printed)

Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (Language materials, printed)

PRINCIPLES OF PROGRAMMING LANGUAGES[electronic resources] :A Paradigm Approach / by: (Language materials, printed)

Formal languages for computer simulation[electronic resource] :transdisciplinary models and applications / by: (Language materials, printed)

Oracle embedded programming and application development[electronic resource] / by: (Language materials, printed)

Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / by: (Language materials, printed)

Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I / by: (Language materials, printed)

Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II / by: (Language materials, printed)

A beginner's guide to Scala, object orientation and functional programming[electronic resource] / by: (Language materials, printed)

Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (Language materials, printed)

Programming languages and systems[electronic resource] :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: (Language materials, printed)

Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II / by: (Language materials, printed)

Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I / by: (Language materials, printed)

An introduction to TTCN-3 / by: (Language materials, printed)

An introduction to Python and computer programming[electronic resource] / by: (Language materials, printed)

Swift recipes[electronic resource] :a problem-solution approach / by: (Language materials, printed)

Swift game programming for absolute beginners[electronic resource] / by: (Language materials, printed)

Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Language materials, printed)

Programming languages[electronic resource] :19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings / by: (Language materials, printed)

OpenMP[electronic resource] :heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Language materials, printed)

SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (Language materials, printed)

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Language materials, printed)

Testing Software and Systems[electronic resource] :27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (Language materials, printed)

Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (Language materials, printed)

Hardware and software[electronic resource] :verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Language materials, printed)

Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (Language materials, printed)

Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Language materials, printed)

A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Language materials, printed)

Programming languages and systems[electronic resource] :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: (Language materials, printed)

Rails 5 revealed[electronic resource] / by: (Language materials, printed)

Dynamic SQL[electronic resource] :applications, performance, and security / by: (Language materials, printed)

Biostatistics for epidemiology and public health using R / by: (Language materials, printed)

Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (Language materials, printed)

Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Type systems for distributed programs[electronic resource] :components and sessions / by: (Electronic resources)

Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (Electronic resources)

Ansible[electronic resource] :from beginner to Pro / by: (Electronic resources)

Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

Programming languages and systems[electronic resource] :14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (Electronic resources)

Hardware and software[electronic resource] :verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (Electronic resources)

C++/CLI primer[electronic resource] :for .NET development / by: (Language materials, printed)

Text analytics with Python[electronic resource] :a practical real-world approach to gaining actionable insights from your data / by: (Language materials, printed)

Erlang and Elixir for imperative programmers[electronic resource] / by: (Language materials, printed)

Deductive software verification - The KeY Book[electronic resource] :from theory to practice / by: (Language materials, printed)

Foundations of quantum programming / by: (Electronic resources)

Text analysis with Python[electronic resource] :a research-oriented guide / by: (Electronic resources)

Programming languages (Electronic computers)