Programming Techniques.

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

The Cinderella.2 Manual[electronic resource] :working with the interactive geometry software / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / …で: (言語・文字資料 (印刷物))

Foundational Java[electronic resource] :key elements and practical programming / …で: (言語・文字資料 (印刷物))

Guide to scientific computing in C++[electronic resource] / …で: (言語・文字資料 (印刷物))

Soft computing methods for microwave and millimeter-wave design problems[electronic resource] / …で: (言語・文字資料 (印刷物))

Programming with multiple precision[electronic resource] / …で: (言語・文字資料 (印刷物))

MATLAB for psychologists[electronic resource] / …で: (言語・文字資料 (印刷物))

Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance[electronic resource] :16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Compiler construction[electronic resource] :21st International Conference, CC 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 / …で: (言語・文字資料 (印刷物))

Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Tools and algorithms for the construction and analysis of systems[electronic resource] :18th International Conference, TACAS 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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Fundamental approaches to software engineering[electronic resource] :15th International Conference, FASE 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 / …で: (言語・文字資料 (印刷物))

NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Applications of evolutionary computation[electronic resource] :EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Testbeds and research infrastructure Development of Networks and Communities[electronic resource] :development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in software engineering techniques[electronic resource] :4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / …で: (言語・文字資料 (印刷物))

Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Euro-Par 2011: Parallel processing workshops[electronic resource] :CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Euro-Par 2011: Parallel processing workshops[electronic resource] :CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Patterns, programming and everything[electronic resource] / …で: (言語・文字資料 (印刷物))

Multicore programming using the ParC language[electronic resource] / …で: (言語・文字資料 (印刷物))

Graph structures for knowledge representation and reasoning[electronic resource] :second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / …で: (言語・文字資料 (印刷物))

Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Dependable networks and services[electronic resource] :6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Experimental algorithms[electronic resource] :11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Multicore software engineering, performance, and tools[electronic resource] :International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Code generation with templates[electronic resource] / …で: (言語・文字資料 (印刷物))

Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Implementing Semantic Web services[electronic resource] :the SESA framework / …で: (言語・文字資料 (印刷物))

Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Conceptual modeling - ER 2008[electronic resource] :27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Quality of software architectures[electronic resource] :models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Self-sustaining systems[electronic resource] :first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions / …で: (言語・文字資料 (印刷物))

Transactions on aspect-oriented software development IX[electronic resource] / …で: (言語・文字資料 (印刷物))

Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / …で: (言語・文字資料 (印刷物))

Winning Lego Mindstorms Programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Beginning Silverlight 2[electronic resource] :from novice to professional / …で: (言語・文字資料 (印刷物))

Exploring C++[electronic resource] :the programmer's introduction to C++ / …で: (言語・文字資料 (印刷物))

How to recruit and hire great software engineers[electronic resource] :Building a Crack Development Team / …で: (言語・文字資料 (印刷物))

Algorithms and programming[electronic resource] :problems and solutions / …で: (言語・文字資料 (印刷物))

Introduction to software quality[electronic resource] / …で: (言語・文字資料 (印刷物))

Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Optimization in science and engineering[electronic resource] :in honor of the 60th birthday of Panos M. Pardalos / …で: (言語・文字資料 (印刷物))

Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

A primer on scientific programming with Python[electronic resource] / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Numerical computations with GPUs[electronic resource] / …で: (言語・文字資料 (印刷物))

A beginner's guide to Scala, object orientation and functional programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Declarative programming and knowledge management[electronic resource] :Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Models@run.time[electronic resource] :foundations, applications, and roadmaps / …で: (言語・文字資料 (印刷物))

Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Open source geospatial tools[electronic resource] :applications in earth observation / …で: (言語・文字資料 (印刷物))

Trends in functional programming[electronic resource] :15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Data structures and algorithms with Python[electronic resource] / …で: (言語・文字資料 (印刷物))

Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming / …で: (言語・文字資料 (印刷物))

Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Guide to high performance distributed computing[electronic resource] :case studies with Hadoop, Scalding and Spark / …で: (言語・文字資料 (印刷物))

Solving software challenges for exascale[electronic resource] :International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Pro Android games[electronic resource] / …で: (言語・文字資料 (印刷物))

Verification of business rules programs[electronic resource] / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Trends in functional programming[electronic resource] :14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

JRuby Rails web application development[electronic resource] / …で: (言語・文字資料 (印刷物))

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Post-optimal analysis in linear semi-infinite optimization[electronic resource] / …で: (言語・文字資料 (印刷物))

Guide to Java[electronic resource] :a concise introduction to programming / …で: (言語・文字資料 (印刷物))

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance[electronic resource] :17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages and operational semantics[electronic resource] :a concise overview / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Beginning Haskell[electronic resource] :a project-based approach / …で: (言語・文字資料 (印刷物))

Smart learning objects for smart education in computer science[electronic resource] :theory, methodology and robot-based implementation / …で: (コンピュータ・メディア)

Genetic programming theory and practice XII[electronic resource] / …で: (言語・文字資料 (印刷物))

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Online game pioneers at work[electronic resource] / …で: (言語・文字資料 (印刷物))

Pro HTML5 with Visual Studio 2015[electronic resource] / …で: (言語・文字資料 (印刷物))

Modelling foundations and applications[electronic resource] :11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

An introduction to Python and computer programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Xamarin mobile application development[electronic resource] :cross-platform C# and Xamarin.Forms fundamentals / …で: (言語・文字資料 (印刷物))

Learn WatchKit for iOS[electronic resource] / …で: (言語・文字資料 (印刷物))

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / …で: (言語・文字資料 (印刷物))

Object-oriented technology[electronic resource] / …で: (言語・文字資料 (印刷物))

Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithmic decision theory[electronic resource] :4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday / …で: (言語・文字資料 (印刷物))

SAS programming and data visualization techniques[electronic resource] :a power user's guide / …で: (言語・文字資料 (印刷物))

Swift OSX programming for absolute beginners[electronic resource] / …で: (言語・文字資料 (印刷物))

Pro couchbase development[electronic resource] :a NoSQL platform for the enterprise / …で: (言語・文字資料 (印刷物))

Web programming with PHP and MySQL[electronic resource] :a practical guide / …で: (言語・文字資料 (印刷物))

Object-oriented analysis, design and implementation[electronic resource] :an integrated approach / …で: (言語・文字資料 (印刷物))

Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Agent environments for multi-agent systems IV[electronic resource] :4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers / …で: (言語・文字資料 (印刷物))

Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / …で: (言語・文字資料 (印刷物))

Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / …で: (言語・文字資料 (印刷物))

Engineering multi-agent systems[electronic resource] :third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / …で: (言語・文字資料 (印刷物))

Beginning the Linux command line[electronic resource] / …で: (言語・文字資料 (印刷物))

Pro PowerShell for database developers[electronic resource] / …で: (言語・文字資料 (印刷物))

Learn Pixi.js[electronic resource] :create great interactive graphics for games and the Web / …で: (言語・文字資料 (印刷物))

Continuous delivery with Visual Studio ALM 2015[electronic resource] / …で: (言語・文字資料 (印刷物))

Microservices, IoT, and Azure[electronic resource] :leveraging DevOps and microservice architecture to deliver SaaS solutions / …で: (言語・文字資料 (印刷物))

Swift 2 for absolute beginners[electronic resource] / …で: (言語・文字資料 (印刷物))

Android studio game development[electronic resource] :concepts and design / …で: (言語・文字資料 (印刷物))

Agile Android[electronic resource] / …で: (言語・文字資料 (印刷物))

Android studio new media fundamentals[electronic resource] :content production of digital audio/video, illustration and 3D animation / …で: (言語・文字資料 (印刷物))

Building secure defenses against code-reuse attacks[electronic resource] / …で: (言語・文字資料 (印刷物))

Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Visual Studio LightSwitch 2015[electronic resource] / …で: (言語・文字資料 (印刷物))

Pro iOS table views and collection views[electronic resource] :using Swift 2 / …で: (言語・文字資料 (印刷物))

Beginning django CMS[electronic resource] / …で: (言語・文字資料 (印刷物))

Make an e-commerce site in a weekend[electronic resource] :using PHP / …で: (言語・文字資料 (印刷物))

Selenium WebDriver recipes in C#[electronic resource] / …で: (言語・文字資料 (印刷物))

Broken Agile[electronic resource] :stories from the trenches / …で: (言語・文字資料 (印刷物))

Full stack JavaScript[electronic resource] :learn Backbone.js, Node.js and MongoDB / …で: (言語・文字資料 (印刷物))

Beginning iPhone development with Swift 2[electronic resource] :exploring the iOS SDK / …で: (言語・文字資料 (印刷物))

Migrating from Drupal to Backdrop[electronic resource] / …で: (言語・文字資料 (印刷物))

JavaScript object programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Make a 2D RPG in a weekend[electronic resource] :with RPG Maker MV / …で: (言語・文字資料 (印刷物))

Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / …で: (言語・文字資料 (印刷物))

Adaptive Resource Management and Scheduling for Cloud Computing[electronic resource] :Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastian, Spain, July 20, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Verified software[electronic resource] :theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

From tracking code to analysis[electronic resource] :generalised Courant-Snyder theory for any accelerator model / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Devops on the Microsoft stack[electronic resource] / …で: (言語・文字資料 (印刷物))

Rails 5 revealed[electronic resource] / …で: (言語・文字資料 (印刷物))

Dynamic SQL[electronic resource] :applications, performance, and security / …で: (言語・文字資料 (印刷物))

Beginning SOLID principles and design patterns for ASP.NET developers[electronic resource] / …で: (言語・文字資料 (印刷物))

Kubernetes microservices with Docker[electronic resource] / …で: (言語・文字資料 (印刷物))

Retrogame archeology[electronic resource] :exploring old computer games / …で: (言語・文字資料 (印刷物))

Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Coordination models and languages[electronic resource] :18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Beginning F# 4.0[electronic resource] / …で: (言語・文字資料 (印刷物))

JSON quick syntax reference[electronic resource] / …で: (言語・文字資料 (印刷物))

Beginning Samsung ARTIK[electronic resource] :a guide for developers / …で: (言語・文字資料 (印刷物))

Collaborative quality assurance in information systems development[electronic resource] :the interaction of software development techniques and team cognition / …で: (言語・文字資料 (印刷物))

Windows 10 development recipes[electronic resource] :a problem-solution approach in HTML and JavaScript / …で: (言語・文字資料 (印刷物))

Learn PHP 7[electronic resource] :object-oriented modular programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL / …で: (言語・文字資料 (印刷物))

Practical linux topics[electronic resource] / …で: (言語・文字資料 (印刷物))

MMOs from the outside in[electronic resource] :the massively-multiplayer online ro le-playing games of psychology, law, government, and real life / …で: (言語・文字資料 (印刷物))

Android TV apps development[electronic resource] :building for media and games / …で: (言語・文字資料 (印刷物))

Program arcade games[electronic resource] :with Python and Pygame / …で: (言語・文字資料 (印刷物))

Introducing Zurb Foundation 6[electronic resource] / …で: (言語・文字資料 (印刷物))

Java design patterns[electronic resource] :a tour of 23 gang of four design patterns in Java / …で: (言語・文字資料 (印刷物))

Oracle Certified Professional Java SE 8 programmer exam 1Z0-809[electronic resource] :comprehensive OCPJP 8 certification guide / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Introduction to HPC with MPI for data science[electronic resource] / …で: (言語・文字資料 (印刷物))

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Inductive logic programming[electronic resource] :25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers / …で: (コンピュータ・メディア)

NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Advances in data mining[electronic resource] :applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings / …で: (コンピュータ・メディア)

Software engineering and formal methods[electronic resource] :14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Modelling foundations and applications[electronic resource] :12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Finite difference computing with exponential decay models[electronic resource] / …で: (コンピュータ・メディア)

Creating Google Chrome extensions[electronic resource] / …で: (コンピュータ・メディア)

C++ standard library quick reference[electronic resource] / …で: (コンピュータ・メディア)

Mac OS X for absolute beginners[electronic resource] / …で: (コンピュータ・メディア)

Java XML and JSON[electronic resource] / …で: (コンピュータ・メディア)

Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications / …で: (コンピュータ・メディア)

Beginning Backdrop CMS[electronic resource] / …で: (コンピュータ・メディア)

Relational database programming[electronic resource] :a set-oriented approach / …で: (コンピュータ・メディア)

.NET development using the compiler API[electronic resource] / …で: (コンピュータ・メディア)

Numerical simulation in physics and engineering[electronic resource] :lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School / …で: (コンピュータ・メディア)

A primer on scientific programming with Python[electronic resource] / …で: (コンピュータ・メディア)

Harley Hahn's Emacs field guide[electronic resource] / …で: (コンピュータ・メディア)

Penetration testing basics[electronic resource] :a quick-start guide to breaking into systems / …で: (コンピュータ・メディア)

Beginning SQL Queries[electronic resource] :From Novice to Professional / …で: (コンピュータ・メディア)

Securing PHP apps[electronic resource] / …で: (コンピュータ・メディア)

Polished game development[electronic resource] :from first steps to final release / …で: (コンピュータ・メディア)

Random-like bi-level decision making[electronic resource] / …で: (コンピュータ・メディア)

Euro-Par 2016[electronic resource] :parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Rewriting logic and its applications[electronic resource] :11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Moving to responsive web design[electronic resource] :bring existing static sites into today's multi-device world with responsive web design / …で: (コンピュータ・メディア)

Pro SQL Server on Microsoft Azure[electronic resource] / …で: (コンピュータ・メディア)

Typed PHP[electronic resource] :stronger types for cleaner code / …で: (コンピュータ・メディア)

Learning Groovy[electronic resource] / …で: (コンピュータ・メディア)

Learn to program with Python[electronic resource] / …で: (コンピュータ・メディア)

Material design implementation with AngularJS[electronic resource] :UI component framework / …で: (コンピュータ・メディア)

Understanding control flow[electronic resource] :concurrent programming using [mu]C++ / …で: (コンピュータ・メディア)

Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language / …で: (コンピュータ・メディア)

Transactions on foundations for mastering change I[electronic resource] / …で: (コンピュータ・メディア)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Pro ASP.NET Core MVC[electronic resource] / …で: (コンピュータ・メディア)

Scratch by example[electronic resource] :programming for all ages / …で: (コンピュータ・メディア)

Automated trading with R[electronic resource] :quantitative research and platform development / …で: (コンピュータ・メディア)

Lumen programming guide[electronic resource] :writing PHP microservices, REST and web service APIs / …で: (コンピュータ・メディア)

PHP CLI[electronic resource] :create command line interface scripts with PHP / …で: (コンピュータ・メディア)

Software developers as users[electronic resource] :semiotic investigations in human-centered software development / …で: (コンピュータ・メディア)

Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / …で: (コンピュータ・メディア)

Working with the American community survey in R[electronic resource] :a guide to using the acs package / …で: (コンピュータ・メディア)

Migrating to Swift from Flash and ActionScript[electronic resource] / …で: (コンピュータ・メディア)

MVVM in Delphi[electronic resource] :architecting and building Model View ViewModel Applications / …で: (コンピュータ・メディア)

Principles of data mining[electronic resource] / …で: (言語・文字資料 (印刷物))

Verified Software. Theories, Tools, and Experiments[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Go recipes[electronic resource] :a problem-solution approach / …で: (言語・文字資料 (印刷物))

Salesforce.com lightning process builder and visual workflow[electronic resource] :a practical guide to model-driven development on the Force.com platform / …で: (言語・文字資料 (印刷物))

Practical C[electronic resource] / …で: (言語・文字資料 (印刷物))

Practical web design for absolute beginners[electronic resource] / …で: (言語・文字資料 (印刷物))

Advanced R[electronic resource] :data programming and the cloud / …で: (言語・文字資料 (印刷物))

Creating maintainable APIs[electronic resource] :a practical case-study approach / …で: (言語・文字資料 (印刷物))

Beginning iPhone development with Swift 3[electronic resource] :exploring the iOS SDK / …で: (言語・文字資料 (印刷物))

Build iOS database apps with Swift and SQLite[electronic resource] / …で: (言語・文字資料 (印刷物))

Practical Microsoft Visual Studio 2015[electronic resource] / …で: (言語・文字資料 (印刷物))

Practical LPIC-1 Linux certification study guide[electronic resource] / …で: (言語・文字資料 (印刷物))

C++/CLI primer[electronic resource] :for .NET development / …で: (言語・文字資料 (印刷物))

Learn CentOS Linux network services[electronic resource] / …で: (言語・文字資料 (印刷物))

Lean Python[electronic resource] :learn just enough Python to build useful tools / …で: (言語・文字資料 (印刷物))

Erlang and Elixir for imperative programmers[electronic resource] / …で: (言語・文字資料 (印刷物))

Apache HBase primer[electronic resource] / …で: (言語・文字資料 (印刷物))

Beginning platino game engine[electronic resource] / …で: (言語・文字資料 (印刷物))

Engineering Multi-Agent Systems[electronic resource] :4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers / …で: (言語・文字資料 (印刷物))

OpenSHMEM and related technologies[electronic resource] :enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Supercomputing[electronic resource] :second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Scientific Engineering of Distributed Java Applications[electronic resource] :4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / …で: (コンピュータ・メディア)

Software Engineering for Multi-Agent Systems III[electronic resource] :Research Issues and Practical Applications / …で: (コンピュータ・メディア)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings …で: (コンピュータ・メディア)

Software Engineering.

Electronic data processing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer networks.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Electronics and Microelectronics, Instrumentation.

Programming Techniques.

Geometry

Mathematics.

Algorithms.

Classical Continuum Physics.

Geometry.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Computer Science.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Information Systems Applications (incl. Internet)

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

FORTRAN (Computer program language)

FORTRAN 95 (Computer program language)

Software Engineering.

FORTRAN 90 (Computer program language)

FORTRAN 2003 (Computer program language)

Programming Techniques.

Data Structures.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

FORTRAN 77 (Computer program language)

Computer Science.

Software Engineering.

Java (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Science

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Computer Science.

Simulation and Modeling.

Math Applications in Computer Science.

C++ (Computer program language)

Appl.Mathematics/Computational Methods of Engineering.

Microwaves, RF and Optical Engineering.

Soft computing.

Programming Techniques.

Applied and Technical Physics.

Numerical and Computational Physics.

Computational Intelligence.

Computer-aided design.

Engineering.

Programming Techniques.

Computer programming

Computational Intelligence.

Engineering.

Computer programming.

Psychology.

Psychological Methods/Evaluation.

Psychometrics.

Programming Techniques.

Statistics and Computing/Statistics Programs.

Psychology

Software Engineering.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Programming Techniques.

Adaptive computing systems

Computer architecture

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Telecommunication systems

Logics and Meanings of Programs.

Computer systems

Computer software

Information Systems Applications (incl. Internet)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Artificial intelligence

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logic Computer programming

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer logic

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

System design

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

System analysis

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Computer software

Operating Systems.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Fault-tolerant computing

Computer Science.

System analysis

Software Engineering.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer programming

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Multiagent systems

Programming Techniques.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Genetic programming (Computer science)

Computer Science.

Computational Biology/Bioinformatics.

Image Processing and Computer Vision.

Biologically-inspired computing

Computation by Abstract Devices.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Computer music

Computer Science.

Computer Communication Networks.

Computer Appl. in Arts and Humanities.

Evolutionary programming (Computer science)

Computer graphics

Image Processing and Computer Vision.

Computation by Abstract Devices.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Evolutionary computation

Computer Science.

Computer Communication Networks.

Math Applications in Computer Science.

Evolutionary programming (Computer science)

Software Engineering.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Wireless communication systems

Computer networks

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

System Performance and Evaluation.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software engineering

Mathematical Logic and Formal Languages.

Software Engineering/Programming and Operating Systems.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Computer Science.

Computer logic.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Software engineering.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer programming.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Software engineering.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer programming.

Programming Techniques.

Processor Architectures.

Parallel programming (Computer science)

Computer Science.

Data structures (Computer science)

Mathematical Logic and Formal Languages.

Knowledge representation (Information theory)

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Computer Science.

Software engineering

Software Engineering.

Systems engineering

Logics and Meanings of Programs.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer science

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Computer Science.

Science

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computer-Aided Engineering (CAD, CAE) and Design.

Numeric Computing.

Computer Science.

Simulation and Modeling.

Large scale systems

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Mathematical Logic and Formal Languages.

Model-driven software architecture

Logics and Meanings of Programs.

Programming Techniques.

Object-oriented methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Object-oriented programming (Computer science)

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Operating Systems.

Programming Techniques.

Computer security

Computer Science.

Computer networks

Software Engineering.

Computational grids (Computer systems)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Operating Systems.

Programming Techniques.

Ubiquitous computing

Computer Science.

Computer Communication Networks.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Programming Techniques.

Algorithms.

Computer Science.

Computer Communication Networks.

OpenMP

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Programming Techniques.

Processor Architectures.

Programming Languages, Compilers, Interpreters.

Parallel programming (Computer science)

Computer Science.

System Performance and Evaluation.

Software engineering

Multiprocessors

Software Engineering.

Operating Systems.

Programming Techniques.

Special Purpose and Application-Based Systems.

Programming Languages, Compilers, Interpreters.

Parallel programming (Computer science)

Computer Science.

System Performance and Evaluation.

Software Engineering.

Computer Science, general.

Programming Techniques.

Computer Science.

Code generators.

Computer programming.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming languages

Computer Science.

Semantic Web.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl.Internet)

Business Information Systems.

Computer Science.

e-Commerce/e-business.

Software engineering

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Performance and Reliability.

Computer Science.

Software Engineering.

Computer simulation.

Programming Techniques.

Database Management.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Information Systems Applications (incl.Internet)

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Models and Principles.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Software engineering

Software Engineering.

Software architecture

Software Engineering/Programming and Operating Systems.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Data Mining and Knowledge Discovery.

Computer Science.

Software engineering

Operating Systems.

Programming Techniques.

Special Purpose and Application-Based Systems.

Self-adaptive software

Models and Principles.

Self-stabilization (Computer science)

Computer Science.

Computer System Implementation.

Software engineering

Artificial intelligence

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Aspect-oriented programming.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Systems and Data Security.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Science, general.

Programming Techniques.

LEGO Mindstorms toys.

Computer Science.

Robots.

Multimedia systems.

Web sites

Programming Techniques.

Application software

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

C++ (Computer program language)

Computer engineers

Computer software

Programming Techniques.

Employment interviewing.

Computer programmers

Computer Science.

Computer algorithms.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Mathematics.

Algorithms.

Computational Mathematics and Numerical Analysis.

Computer programming.

Software Engineering.

Mathematical Logic and Formal Languages.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Computer Science.

System Performance and Evaluation.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Computer Science.

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering/Programming and Operating Systems.

Operations Research, Management Science.

Programming Techniques.

Mathematics.

Computer-Aided Engineering (CAD, CAE) and Design.

Optimization.

Calculus of Variations and Optimal Control; Optimization.

Mathematical optimization.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Programming Techniques.

Programming languages (Electronic computers)

Software engineering.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Python (Computer program language)

Programming Techniques.

Mathematics.

Numerical and Computational Physics.

Computational Science and Engineering.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Mathematical Logic and Formal Languages.

Deontic logic

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer logic

Computer Appl. in Administrative Data Processing.

Computer Science.

Discrete Mathematics in Computer Science.

Computer algorithms.

Graphics processing units

Appl.Mathematics/Computational Methods of Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Computer Science.

Computer System Implementation.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Computer Science.

Object-oriented programming (Computer science)

Declarative programming

Theory of Computation.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Knowledge management

Computer Science.

Math Applications in Computer Science.

Constraint programming (Computer science)

Software Engineering.

Programming Techniques.

Management of Computing and Information Systems.

Computer Science.

Simulation and Modeling.

Model-driven software architecture.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software engineering

Software Engineering.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Object-oriented programming (Computer science)

Geographic information systems.

Earth Sciences.

Image Processing and Computer Vision.

Open source software.

Geographical Information Systems/Cartography.

Remote Sensing/Photogrammetry.

Programming Techniques.

Environmental Monitoring/Analysis.

Earth System Sciences.

Data structures (Computer science)

Logics and Meanings of Programs.

Programming Techniques.

Artificial Intellgence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Logic design

Computer Science.

Data structures (Computer science)

Computer algorithms.

Python (Computer program language)

Data Structures.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer Science.

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Smalltalk (Computer program language)

Computer Science.

Object-oriented programming (Computer science)

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer Science.

Artificial intelligence.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

High performance computing

Image Processing and Computer Vision.

Electronic data processing

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Computer Science.

Computer Communication Networks.

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Supercomputers

Computer games

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Mobile games.

Computer Science.

Rule-based programming.

Logics and Meanings of Programs.

Business

Database Management.

Programming Techniques.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Computer Science.

Data structures (Computer science)

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Logic design

Computer Science.

Software Engineering.

Ruby (Computer program language)

Information Systems Applications (incl. Internet)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Electronic data processing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Operations Research, Management Science.

Programming Techniques.

Mathematics.

Models and Principles.

Duality theory (Mathematics)

Mathematical Software.

Mathematical optimization.

Java (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Application program interfaces (Computer software)

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Telecommunication systems

Logics and Meanings of Programs.

Computer systems

Computer software

Information Systems Applications (incl. Internet)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Theory of Computation.

Software Engineering/Programming and Operating Systems.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Programming Techniques.

Computer programming

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Haskell (Computer program language)

Functional programming (Computer science)

Computer Science.

Computer-assisted instruction.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Computer science

Educational Technology.

Computer Science.

Simulation and Modeling.

Computers and Education.

Artificial intelligence

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Genetic programming (Computer science)

Computer Science.

Artificial Intelligence (incl. Robotics).

Artificial intelligence

Software Engineering.

Information Systems Applications (incl. Internet)

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Cloud computing

Computer Science.

Computer Communication Networks.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Finite differences

Programming Techniques.

Internet games

Computer games.

Internet industry.

Computer Science.

The Computer Industry.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

HTML (Document markup language)

Web site development.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer-aided software engineering

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software engineering

Software Engineering.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Computer Science.

Appl.Mathematics/Computational Methods of Engineering.

Communications Engineering, Networks.

Python (Computer program language)

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Engineering.

Programming Techniques.

Mobile computing.

Programming Languages, Compilers, Interpreters.

Microsoft .NET Framework.

Application software

Computer Science.

C# (Computer program language)

Wearable computers.

Programming Techniques.

Mobile computing.

Application software

Computer Science.

FORTRAN (Computer program language)

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Programming Techniques.

Object-oriented methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Object-oriented programming (Computer science)

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Data mining

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Decision making

Computer Science.

Probability and Statistics in Computer Science.

Computer Communication Networks.

Decision trees

Computer logic.

Computer multitasking.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer science.

Information visualization.

Programming Techniques.

Database Management.

SAS (Computer program language)

Computer Science.

Computer Science, general.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Cloud computing.

Storage area networks (Computer networks)

Computer Science.

Computer Science, general.

Client/server computing.

Programming Techniques.

Database management.

Computer Science.

PHP (Computer program language)

Programming Techniques.

Database Management.

SQL (Computer program language)

Web site development.

Computer Science.

Computer System Implementation.

Programming Techniques.

Computer Science.

Object-oriented programming (Computer science)

Mathematical Logic and Formal Languages.

Software Engineering.

Nonmonotonic reasoning

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Programming Techniques.

Computer logic

Computer science

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

User interfaces (Computer systems)

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Programming Techniques.

Software engineering.

User Interfaces and Human Computer Interaction.

Computer science.

Computer networks.

Computer Communication Networks.

Multiagent systems

Computer programming.

Artificial intelligence.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer science

Logic, Symbolic and mathematical

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Computer logic.

Software Engineering.

Logics and Meanings of Programs.

Information Systems Applications (incl. Internet)

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming languages (Electronic computers)

Software engineering.

Algorithms.

Computer science.

Computer networks.

Computer Science.

Computer Communication Networks.

Computer programming.

Computer logic.

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Software engineering.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Management information systems.

Domain-specific programming languages

Computer science.

Computer networks.

Computer Communication Networks.

Computer programming.

Software engineering

Engineering systems

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Software engineering.

Computer science.

Multiagent systems

Computer programming.

Artificial intelligence.

Operating systems (Computers)

Programming Techniques.

Scripting languages (Computer science)

Computer Science.

Windows PowerShell (Computer program language)

Database Management.

Programming Techniques.

Web services.

Computer Science.

Interactive computer graphics.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Video games

Computer Science.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Application software

Computer Science.

Computer Science, general.

Software architecture.

Programming Techniques.

Cloud computing.

Application software

Computer Science.

Internet of things.

Computer network architectures.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Swift (Computer program language)

Application software

Computer Science.

Computer games

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Agile software development.

Application software

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Application software

Digital media.

Computer Science.

Media Design.

Computer security.

Information Systems and Communication Service.

Programming Techniques.

Data encryption (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Systems and Data Security.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Induction (Logic)

Machine learning

Computer Science.

Computer logic.

Mathematical Logic and Formal Languages.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer logic

Software engineering.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer science.

Computer programming.

Artificial intelligence.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Application software

Computer Science.

Visual programming (Computer science)

User interfaces (Computer systems)

Computer Science, general.

Programming Techniques.

Swift (Computer program language)

Computer Science.

Software Engineering.

Web sites

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web site development.

Computer Science.

PHP (Computer program language)

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web site development.

Electronic commerce.

Computer Science.

Software Engineering.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

C# (Computer program language)

Quality Control, Reliability, Safety and Risk.

Software Engineering.

Programming Techniques.

Agile software development.

Computer Science.

JavaScript (Computer program language)

Programming Techniques.

Computer Science.

iPhone (Smartphone)

Programming Techniques.

Swift (Computer program language)

Application software

Computer Science.

Web sites

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web site development.

Web publishing.

Computer Science.

Software Engineering.

JavaScript (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Object-oriented programming (Computer science)

Electronic games

Programming Techniques.

Fantasy games.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Computer scheduling

Cloud computing

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Logic programming

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer logic.

Software Engineering.

Mathematical Logic and Formal Languages.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Programming Techniques.

Software engineering.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Computer programming.

Software Engineering.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Programming Techniques.

Computer programming

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

Particle Acceleration and Detection, Beam Physics.

Particle accelerators

Particle acceleration.

Programming Techniques.

Numerical and Computational Physics.

Physics.

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Computer Science, general.

Software Engineering.

Computer software

Programming Techniques.

Software engineering.

Computer science.

Computer Science.

Computer programming.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Computer programming.

Computer security.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

SQL (Computer program language)

Database management.

Computer science.

Systems and Data Security.

Computer programming.

Programming Techniques.

Computer Science.

Application software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Database management.

Computer Science.

History of Computing.

Media Research.

Computer games

Programming Techniques.

Computer games.

Multimedia Information Systems.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Data structures (Computer science)

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Logic design

Computer Science.

Software Engineering.

Software architecture

Electronic data processing

Logics and Meanings of Programs.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Programming Techniques.

Functional programming languages.

Programming Languages, Compilers, Interpreters.

Microsoft .NET Framework.

F# (Computer program language)

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

JSON (Document markup language)

Computer Science.

Embedded Internet devices

Software Engineering.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Special Purpose and Application-Based Systems.

Processor Architectures.

Computer Science.

Computer Hardware.

Internet of things.

Software Engineering.

Agile software development

Business and Management.

Computer software

Programming Techniques.

Knowledge Management.

Software Management.

Cognitive Psychology.

Operating systems (Computers)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

PHP (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Programming Techniques.

Operating Systems.

Computer Science.

Computer System Implementation.

Programming Techniques.

Information Systems Applications (incl. Internet)

Fantasy games.

Video games

Computer Science.

Programming Techniques.

Mobile apps

Computer Science.

Media Design.

Software Engineering.

Python (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Video games

Computer Science.

Computer programming.

Web sites

Programming Techniques.

Cascading style sheets.

Programming Languages, Compilers, Interpreters.

Web site development.

Computer Science.

Java (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Java (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Electronic data processing personnel

Computer Science.

Declarative programming

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

High performance computing.

Programming Techniques.

Computer Science.

Software Engineering.

Programming Techniques.

Operating Systems.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

Parallelizing compilers

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Data Mining and Knowledge Discovery.

Induction (Logic)

Machine learning

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Operating Systems.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Data mining

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Data Mining and Knowledge Discovery.

Computer Science.

System Performance and Evaluation.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer-aided software engineering

Computer Science.

Computer Communication Networks.

Software Engineering.

Appl.Mathematics/Computational Methods of Engineering.

Programming Techniques.

Mathematics.

Numerical and Computational Physics.

Computational Science and Engineering.

Finite differences.

Differential equations, Partial.

Browsers (Computer programs)

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

C++ (Computer program language)

Operating systems (Computers)

Programming Techniques.

Computer Hardware.

Computer Science.

Computer System Implementation.

Programming Techniques.

XML (Document markup language)

Programming Languages, Compilers, Interpreters.

JSON (Document markup language)

Computer Science.

Software Engineering.

Operating Systems.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Arduino (Programmable controller)

Computer Science.

Computer Hardware.

Computer Systems Organization and Communication Networks.

Internet of things.

Software Engineering.

Web sites

Open source software.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Relational databases.

Programming Techniques.

Database Management.

Computer Science.

Software Engineering.

Compilers (Computer programs)

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Microsoft .NET Framework.

Computer Science.

Image Processing and Computer Vision.

Numerical Analysis.

Programming Techniques.

Mathematics.

Partial Differential Equations.

Mathematical Modeling and Industrial Mathematics.

Mathematical physics

Engineering mathematics

Mathematics of Computing.

Python (Computer program language)

Programming Techniques.

Mathematics.

Numerical and Computational Physics.

Computational Science and Engineering.

Input/Output and Data Communications.

Operating Systems.

Programming Techniques.

Document Preparation and Text Processing.

Programming Languages, Compilers, Interpreters.

Text editors (Computer programs)

Computer Science.

Software Engineering.

Programming Techniques.

Penetration testing (Computer security)

Programming Languages, Compilers, Interpreters.

Computer networks

Computer Science.

Querying (Computer science)

Relational databases.

Database Management.

Programming Techniques.

Data Structures.

Programming Languages, Compilers, Interpreters.

SQL (Computer program language)

Database management.

Data Mining and Knowledge Discovery.

Computer Science.

Computer programming.

PHP (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Application software

Computer Science.

Systems and Data Security.

Computer games

Programming Techniques.

Computer Science.

Mathematics of Computing.

Probability Theory and Stochastic Processes.

Multiple criteria decision making.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Decision making

Mathematics of Algorithmic Complexity.

Computer Science.

Statistics and Computing/Statistics Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Programming Languages, Compilers, Interpreters.

Computer System Implementation.

Discrete Mathematics in Computer Science.

Parallel processing (Electronic computers)

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Computer logic

Programming Languages, Compilers, Interpreters.

Models and Principles.

Computer Science.

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web site development.

Computer Science.

Programming Techniques.

Database Management.

Information Storage and Retrieval.

Programming Languages, Compilers, Interpreters.

Computer Science.

PHP (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Groovy (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Python (Computer program language)

Programming Techniques.

Computer Science.

Computer programming.

Web applications

AngularJS (Software framework)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Applications.

Computer multitasking.

Software Engineering.

Programming Techniques.

Control Structures and Microprogramming.

Programming Languages, Compilers, Interpreters.

Performance and Reliability.

Computer Science.

C++ (Computer program language)

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Scala (Computer program language)

Pattern Recognition.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Functional programming (Computer science)

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Management of Computing and Information Systems.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

System Performance and Evaluation.

Software engineering

Software Engineering.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Science, general.

Software Engineering.

Web sites

Programming Techniques.

Microsoft .NET Framework.

Computer Science.

Microsoft and .NET.

Input/Output and Data Communications.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer programming.

Programming Techniques.

R (Computer program language)

Programming Languages, Compilers, Interpreters.

Computer Science.

Application program interfaces (Computer software)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web applications.

Web Development.

Computer Science.

Computer programming.

PHP (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web Development.

Computer Science.

User interfaces (Computer systems)

Software Engineering.

Computer software

Computers.

Programming Techniques.

Software engineering.

User Interfaces and Human Computer Interaction.

Models and Principles.

Human-computer interaction.

Computer science.

Computer Science.

Computer programming.

Software Engineering.

Mathematical Logic and Formal Languages.

Software engineering

Computer logic.

Logics and Meanings of Programs.

Logic, Symbolic and mathematical.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Formal methods (Computer science)

Software engineering.

Programming languages (Electronic computers)

Computer Communication Networks.

Computer science.

Computer Science.

Computer programming.

Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law.

Statistical Theory and Methods.

Demography.

Programming Techniques.

R (Computer program language)

Cities and towns

Statistics.

Big Data/Analytics.

Urban Studies/Sociology.

Apple and iOS.

Software Engineering.

Programming Techniques.

Swift (Computer program language)

Application software

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Application software

Computer Science.

Microsoft and .NET.

Data mining.

Database Management.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Information Storage and Retrieval.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Software engineering.

Algorithms.

Parallel processing (Electronic computers)

Computer science.

Computer networks.

Computer Science.

Computer Communication Networks.

Programming Techniques.

Go (Computer program language)

Programming Languages, Compilers, Interpreters.

Computer Science.

Salesforce (Online service)

Information Systems Applications (incl. Internet)

Programming Techniques.

Customer relations

Sales management

Computer science.

Application software.

Computer Science.

Computer programming.

Computer Applications.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

C (Computer program language)

Computer Science.

Web sites

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Web Development.

Computer Science.

Programming Techniques.

R (Computer program language)

Programming Languages, Compilers, Interpreters.

Cloud computing.

Computer Science.

Probability and Statistics in Computer Science.

Statistics and Computing/Statistics Programs.

Application program interfaces (Computer software)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Application software

Computer Science.

Apple and iOS.

iPhone (Smartphone)

Programming Techniques.

Swift (Computer program language)

Application software

Computer Science.

Apple and iOS.

Programming Techniques.

Database Management.

Programming Languages, Compilers, Interpreters.

Swift (Computer program language)

SQL (Computer program language)

Web databases.

Computer Science.

Software Engineering.

Programming Techniques.

Computer Science.

Microsoft and .NET.

Open source software

Programming Techniques.

Operating Systems.

Computer Science.

Systems and Data Security.

Open Source.

C++/CLI (Computer program language)

Software Engineering.

Programming Techniques.

Software engineering.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Computer programming.

Operating systems (Computers)

Professional Computing.

Management of Computing and Information Systems.

Operating Systems.

Programming Techniques.

The Computing Profession.

Computer Science.

Systems and Data Security.

Python.

Software Engineering.

Python (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

ERLANG (Computer program language)

Elixir (Computer program language)

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Computer programming.

Data Structures, Cryptology and Information Theory.

Open source software.

Programming Techniques.

Big Data.

Computer Science.

Databases.

Mobile Computing.

Electronic games

Programming Techniques.

Game Development.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Computer Communication Networks.

Computers and Society.

Multiagent systems

Application program interfaces (Computer software)

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Information Systems Applications (incl. Internet)

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

High performance computing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Simulation and Modeling.

Math Applications in Computer Science.

Computer Hardware.

Supercomputers

Software engineering

Software Engineering.

Electronic data processing

Java (Computer program language)

Programming Techniques.

Information Storage and Retrieval.

Information Systems Applications (incl.Internet)

Multimedia Information Systems.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Communication Networks.

Intelligent agents (Computer software)

Software Engineering.

Electronic data processing

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Information Storage and Retrieval.

Internet

Information Systems Applications (incl.Internet)

Computer Science.

Computer Communication Networks.