Programming languages (Electronic computers)

Languages and Compilers for Parallel Computing18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / by: (書目-電子資源)

Programming Languages and Systems (vol. # 3924)15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / by: (書目-電子資源)

Declarative Agent Languages and Technologies IIIThird International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / by: (書目-電子資源)

Static Analysis (vol. # 4134)13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / by: (書目-電子資源)

Modular Programming Languages7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by: (書目-電子資源)

Programming Languages and Systems (vol. # 4279)4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by: (書目-電子資源)

Declarative Agent Languages and Technologies IV4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / by: (書目-電子資源)

Programming Languages and Systems14th 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: (書目-電子資源)

Declarative Agent Languages and Technologies IISecond International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by: (書目-電子資源)

Languages and Compilers for High Performance Computing17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (書目-電子資源)

Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (書目-電子資源)

Programming Languages and Systems :Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-電子資源)

Languages and Compilers for Parallel Computing :15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers by: (書目-電子資源)

Database Programming Languages :10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers by: (書目-電子資源)

Static Analysis15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (書目-電子資源)

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

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

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

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

IEEE transactions on software engineering. by: (書目-語言資料,印刷品)

Declarative agent languages and technologies VI6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (書目-電子資源)

Expert shell scripting by: (書目-電子資源)

Advances in computing science--ASIAN 2003programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings / by: (書目-電子資源)

Languages and compilers for parallel computing14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers / by: (書目-電子資源)

Modular programming languagesJoint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings / by: (書目-電子資源)

Programming languages and systems12th 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 systemsfirst Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / by: (書目-電子資源)

Static analysis10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / by: (書目-電子資源)

Database programming languages9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / by: (書目-電子資源)

Declarative agent languages and technologiesfirst international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers / by: (書目-電子資源)

Domain-specific program generationinternational seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers / by: (書目-電子資源)

Programming languages and systemssecond Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / by: (書目-電子資源)

Programming languages and systems13th 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 analysis11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / by: (書目-電子資源)

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

The new PL/I... for PC, workstation and mainframe / by: (書目-電子資源)

Languages: from formal to naturalessays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (書目-電子資源)

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

Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (書目-電子資源)

Static analysis16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (書目-電子資源)

Database programming languages12th international symposium, DBPL 2009, Lyon, France, August 23-24, 2009 : proceedings / by: (書目-電子資源)

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

Programming languages and systems7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-電子資源)

Learn Objective-C for Java developers by: (書目-電子資源)

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

Programming languages and systems19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-電子資源)

Programming languagesprinciples and paradigms / by: (書目-電子資源)

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

Analysis and verification of multiple-agent languages5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / by: (書目-電子資源)

Languages and compilers for parallel computing9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings / by: (書目-電子資源)

Modular programming languagesJoint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings / by: (書目-電子資源)

New trends in formal languagescontrol, cooperation, and combinatorics / by: (書目-電子資源)

Programming languagesimplementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / by: (書目-電子資源)

Static analysis4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / by: (書目-電子資源)

Database programming languages6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings / by: (書目-電子資源)

Programming languages and systems7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: (書目-電子資源)

Static analysis5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / by: (書目-電子資源)

Automata, languages and programming26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings / by: (書目-電子資源)

Meta-level architectures and reflectionSecond International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings / by: (書目-電子資源)

Programming languages and systems8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / by: (書目-電子資源)

Static analysis6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / by: (書目-電子資源)

Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings / by: (書目-電子資源)

Languages and compilers for parallel computing12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings / by: (書目-電子資源)

Languages, compilers, and run-time systems for scalable computers5th international workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers / by: (書目-電子資源)

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

Modular programming languagesJoint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8,2000 : proceedings / by: (書目-電子資源)

Research issues in structured and semistructured database programming7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers / by: (書目-電子資源)

Static analysis7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/ by: (書目-電子資源)

Languages and compilers for parallel computing13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / by: (書目-電子資源)

Languages, compilers, and tools for embedded systemsACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June18, 2000 : proceedings / by: (書目-電子資源)

Metalevel architectures and separation of crosscutting concernsthird international conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings / by: (書目-電子資源)

Programming languages and systems10th 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: (書目-電子資源)

Static analysis8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / by: (書目-電子資源)

Automata, languages and programming29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (書目-電子資源)

Database programming languages8th international workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers / by: (書目-電子資源)

Formal and natural computingessays dedicated to Grzegorz Rozenberg / by: (書目-電子資源)

Programming languages and systems11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / by: (書目-電子資源)

Static analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / by: (書目-電子資源)

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / by: (書目-電子資源)

Designing embedded systems with the SIGNAL programming languagesynchronous, reactive specification / by: (書目-電子資源)

Coordination, Organizations, Institutions and Norms in Agent Systems VCOIN 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: (書目-電子資源)

Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers / by: (書目-電子資源)

Programming languages and systems8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings / by: (書目-電子資源)

PHP objects, patterns, and practice by: (書目-電子資源)

Programming erlang :software for a concurrent world / by: (書目-語言資料,印刷品)

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

Programming languages and systems20th 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 IIspecial issue on applying patterns / by: (書目-電子資源)

Guide to HTML, JavaScript and PHP for scientists and engineers / by: (書目-電子資源)

Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II / by: (書目-電子資源)

Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I / by: (書目-電子資源)

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

Static analysis18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-電子資源)

Programming languages and systems9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / by: (書目-電子資源)

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

Programming languages and systems21st 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 engineering4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-電子資源)

Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part II / by: (書目-電子資源)

Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part I / by: (書目-電子資源)

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

Static analysis19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (書目-電子資源)

Programming languages16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-電子資源)

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

Programming languages and systems10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (書目-電子資源)

Programming languages and systems23rd 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 programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I / by: (書目-電子資源)

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

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

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

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

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

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

Oracle embedded programming and application development by: (書目-電子資源)

Software language engineering7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

Programming languages and systems24th 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: (書目-電子資源)

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

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

Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II / by: (書目-電子資源)

Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

Software technologies10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (書目-電子資源)

Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-電子資源)

A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-電子資源)

Programming languages and systems25th 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 SQLapplications, performance, and security / by: (書目-電子資源)

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

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

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

Programming languages20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (書目-電子資源)

Ansiblefrom beginner to Pro / by: (書目-電子資源)

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

Programming languages and systems14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

Low-level programmingC, Assembly, and program execution on Intel 64 architecture / by: (書目-電子資源)

Software Technologies11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (書目-電子資源)

Scaling OpenMP for exascale performance and portability13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (書目-電子資源)

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

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

Programming languages and systems15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

Programming languages and systems27th 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 programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

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

Software technologies12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (書目-電子資源)

Programming 101the how and why of programming revealed using the processing programming language / by: (書目-電子資源)

Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (書目-電子資源)

Practical TLA+planning driven development / by: (書目-電子資源)

Data analysis and visualization using Pythonanalyze data to create visualizations for BI systems / by: (書目-電子資源)

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

Programming languages and systems28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (書目-電子資源)

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

Programming languages and systems26th 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: (書目-電子資源)

Software technologies13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (書目-電子資源)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (書目-電子資源)

Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings / by: (書目-電子資源)

Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings / by: (書目-電子資源)

Introducing Vala programminga language and techniques to boost productivity / by: (書目-電子資源)

Julia quick syntax referencea pocket guide for data science programming / by: (書目-電子資源)

Programming languages and systems29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (書目-電子資源)

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

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

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

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

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

Software technologies14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / by: (書目-電子資源)

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

OpenMPportable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings / by: (書目-電子資源)

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

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

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

Spring quick reference guidea pocket handbook for Spring framework, Spring boot, and more / by: (書目-電子資源)

Beginning Quarkus frameworkbuild cloud-native enterprise Java applications and microservices / by: (書目-電子資源)

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

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (書目-電子資源)

OpenMPconquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Search-based software engineering11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings / by: (書目-電子資源)

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

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

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

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

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

Programming languages and systems18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020 : proceedings / by: (書目-電子資源)

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

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

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

Python testing with Seleniumlearn to implement different testing techniques using the Selenium WebDriver / by: (書目-電子資源)

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

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

The TYPO3 guidebookunderstand and use TYPO3 CMS / by: (書目-電子資源)

Programming languages and systems30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: (書目-電子資源)

Languages and compilers for parallel computing32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019 : revised selected papers / by: (書目-電子資源)

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

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (書目-電子資源)

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

Programming languages and systems19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings / by: (書目-電子資源)

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

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

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

Languages and compilers for parallel computing33rd International Workshop, LCPC 2020, virtual event, October 14-16, 2020 : revised selected papers / by: (書目-電子資源)

Languages and compilers for parallel computing34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers / by: (書目-電子資源)

Programming languages and systems31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Software technologies16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (書目-電子資源)

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

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

Programming languages and systems20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings / by: (書目-電子資源)

Static analysis29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 : proceedings / by: (書目-電子資源)

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

Languages and compilers for parallel computing35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022 : revised selected papers / by: (書目-電子資源)

Programming languages and systems32nd European Symposium on programming, Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / by: (書目-電子資源)

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

Software technologies17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (書目-電子資源)

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

Computer safety, reliability, and securitySAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-電子資源)

Programming languagesprinciples and paradigms / by: (書目-電子資源)

Static analysis30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (書目-電子資源)

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

Programming languages and systems21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (書目-電子資源)

The statistical analysis of doubly truncated data :with applications in R / by: (書目-語言資料,印刷品)

Information technology for managementsolving social and business problems through IT : ITBS 2023 Main Track and ISM 2023 Thematic Track, held as part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023 : extended and revised selected papers / by: (書目-電子資源)

Software, system, and service engineeringS3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023 and 8th Workshop on Advances in Programming Languages, WAPL 2023, held as part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Programming languages and systems33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (書目-電子資源)

Programming languages and systems33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (書目-電子資源)