大葉大學圖書館 |

Works:	266 works in 263 publications in 263 languages

Titles

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (Language materials, printed)

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (Language materials, printed)

The Cinderella.2 Manual[electronic resource] :working with the interactive geometry software / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / by: (Language materials, printed)

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (Language materials, printed)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Foundational Java[electronic resource] :key elements and practical programming / by: (Language materials, printed)

Guide to scientific computing in C++[electronic resource] / by: (Language materials, printed)

Soft computing methods for microwave and millimeter-wave design problems[electronic resource] / by: (Language materials, printed)

Programming with multiple precision[electronic resource] / by: (Language materials, printed)

MATLAB for psychologists[electronic resource] / by: (Language materials, printed)

Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

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 / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Programming languages and systems[electronic resource] :21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Language materials, printed)

Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Language materials, printed)

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

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 / by: (Language materials, printed)

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 / by: (Language materials, printed)

Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (Language materials, printed)

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (Language materials, printed)

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 / by: (Language materials, printed)

Patterns, programming and everything[electronic resource] / by: (Language materials, printed)

Multicore programming using the ParC language[electronic resource] / by: (Language materials, printed)

Graph structures for knowledge representation and reasoning[electronic resource] :second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / by: (Language materials, printed)

Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (Language materials, printed)

Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (Language materials, printed)

Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (Language materials, printed)

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (Language materials, printed)

Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: (Language materials, printed)

Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (Language materials, printed)

Experimental algorithms[electronic resource] :11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / by: (Language materials, printed)

OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (Language materials, printed)

Multicore software engineering, performance, and tools[electronic resource] :International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Code generation with templates[electronic resource] / by: (Language materials, printed)

Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / by: (Language materials, printed)

Implementing Semantic Web services[electronic resource] :the SESA framework / by: (Language materials, printed)

Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Language materials, printed)

Conceptual modeling - ER 2008[electronic resource] :27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (Language materials, printed)

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Self-sustaining systems[electronic resource] :first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (Language materials, printed)

Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions / by: (Language materials, printed)

Transactions on aspect-oriented software development IX[electronic resource] / by: (Language materials, printed)

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

Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (Language materials, printed)

Winning Lego Mindstorms Programming[electronic resource] / by: (Language materials, printed)

Beginning Silverlight 2[electronic resource] :from novice to professional / by: (Language materials, printed)

Exploring C++[electronic resource] :the programmer's introduction to C++ / by: (Language materials, printed)

How to recruit and hire great software engineers[electronic resource] :Building a Crack Development Team / by: (Language materials, printed)

Algorithms and programming[electronic resource] :problems and solutions / by: (Language materials, printed)

Introduction to software quality[electronic resource] / by: (Language materials, printed)

Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / by: (Language materials, printed)

Optimization in science and engineering[electronic resource] :in honor of the 60th birthday of Panos M. Pardalos / by: (Language materials, printed)

Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (Language materials, printed)

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

A primer on scientific programming with Python[electronic resource] / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (Language materials, printed)

Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings / by: (Language materials, printed)

Numerical computations with GPUs[electronic resource] / by: (Language materials, printed)

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

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 / by: (Language materials, printed)

Models@run.time[electronic resource] :foundations, applications, and roadmaps / by: (Language materials, printed)

Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (Language materials, printed)

Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / by: (Language materials, printed)

ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings / by: (Language materials, printed)

Open source geospatial tools[electronic resource] :applications in earth observation / by: (Language materials, printed)

Trends in functional programming[electronic resource] :15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers / by: (Language materials, printed)

Data structures and algorithms with Python[electronic resource] / by: (Language materials, printed)

Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming / by: (Language materials, printed)

Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (Language materials, printed)

Guide to high performance distributed computing[electronic resource] :case studies with Hadoop, Scalding and Spark / by: (Language materials, printed)

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 / by: (Language materials, printed)

Pro Android games[electronic resource] / by: (Language materials, printed)

Verification of business rules programs[electronic resource] / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / by: (Language materials, printed)

Trends in functional programming[electronic resource] :14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers / by: (Language materials, printed)

JRuby Rails web application development[electronic resource] / by: (Language materials, printed)

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / by: (Language materials, printed)

Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (Language materials, printed)

Post-optimal analysis in linear semi-infinite optimization[electronic resource] / by: (Language materials, printed)

Guide to Java[electronic resource] :a concise introduction to programming / by: (Language materials, printed)

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Programming languages and operational semantics[electronic resource] :a concise overview / by: (Language materials, printed)

Programming languages and systems[electronic resource] :23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Beginning Haskell[electronic resource] :a project-based approach / by: (Language materials, printed)

Smart learning objects for smart education in computer science[electronic resource] :theory, methodology and robot-based implementation / by: (Electronic resources)

Genetic programming theory and practice XII[electronic resource] / by: (Language materials, printed)

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / by: (Language materials, printed)

Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers / by: (Language materials, printed)

Online game pioneers at work[electronic resource] / by: (Language materials, printed)

Pro HTML5 with Visual Studio 2015[electronic resource] / by: (Language materials, printed)

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 / by: (Language materials, printed)

Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (Language materials, printed)

Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (Language materials, printed)

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

Xamarin mobile application development[electronic resource] :cross-platform C# and Xamarin.Forms fundamentals / by: (Language materials, printed)

Learn WatchKit for iOS[electronic resource] / by: (Language materials, printed)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Object-oriented technology[electronic resource] / by: (Language materials, printed)

Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (Language materials, printed)

Algorithmic decision theory[electronic resource] :4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (Language materials, printed)

Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (Language materials, printed)

SAS programming and data visualization techniques[electronic resource] :a power user's guide / by: (Language materials, printed)

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

Pro couchbase development[electronic resource] :a NoSQL platform for the enterprise / by: (Language materials, printed)

Web programming with PHP and MySQL[electronic resource] :a practical guide / by: (Language materials, printed)

Object-oriented analysis, design and implementation[electronic resource] :an integrated approach / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (Language materials, printed)

Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (Language materials, printed)

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (Language materials, printed)

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (Language materials, printed)

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

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

Engineering multi-agent systems[electronic resource] :third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (Language materials, printed)

Beginning the Linux command line[electronic resource] / by: (Language materials, printed)

Pro PowerShell for database developers[electronic resource] / by: (Language materials, printed)

Learn Pixi.js[electronic resource] :create great interactive graphics for games and the Web / by: (Language materials, printed)

Continuous delivery with Visual Studio ALM 2015[electronic resource] / by: (Language materials, printed)

Microservices, IoT, and Azure[electronic resource] :leveraging DevOps and microservice architecture to deliver SaaS solutions / by: (Language materials, printed)

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

Android studio game development[electronic resource] :concepts and design / by: (Language materials, printed)

Agile Android[electronic resource] / by: (Language materials, printed)

Android studio new media fundamentals[electronic resource] :content production of digital audio/video, illustration and 3D animation / by: (Language materials, printed)

Building secure defenses against code-reuse attacks[electronic resource] / by: (Language materials, printed)

Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / by: (Language materials, printed)

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

Visual Studio LightSwitch 2015[electronic resource] / by: (Language materials, printed)

Pro iOS table views and collection views[electronic resource] :using Swift 2 / by: (Language materials, printed)

Beginning django CMS[electronic resource] / by: (Language materials, printed)

Make an e-commerce site in a weekend[electronic resource] :using PHP / by: (Language materials, printed)

Selenium WebDriver recipes in C#[electronic resource] / by: (Language materials, printed)

Broken Agile[electronic resource] :stories from the trenches / by: (Language materials, printed)

Full stack JavaScript[electronic resource] :learn Backbone.js, Node.js and MongoDB / by: (Language materials, printed)

Beginning iPhone development with Swift 2[electronic resource] :exploring the iOS SDK / by: (Language materials, printed)

Migrating from Drupal to Backdrop[electronic resource] / by: (Language materials, printed)

JavaScript object programming[electronic resource] / by: (Language materials, printed)

Make a 2D RPG in a weekend[electronic resource] :with RPG Maker MV / by: (Language materials, printed)

Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / by: (Language materials, printed)

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 / by: (Language materials, printed)

Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (Language materials, printed)

Verified software[electronic resource] :theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / by: (Language materials, printed)

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

Programming languages and systems[electronic resource] :25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Language materials, printed)

From tracking code to analysis[electronic resource] :generalised Courant-Snyder theory for any accelerator model / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / by: (Language materials, printed)

Devops on the Microsoft stack[electronic resource] / by: (Language materials, printed)

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

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

Beginning SOLID principles and design patterns for ASP.NET developers[electronic resource] / by: (Language materials, printed)

Kubernetes microservices with Docker[electronic resource] / by: (Language materials, printed)

Retrogame archeology[electronic resource] :exploring old computer games / by: (Language materials, printed)

Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / by: (Language materials, printed)

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Beginning F# 4.0[electronic resource] / by: (Language materials, printed)

JSON quick syntax reference[electronic resource] / by: (Language materials, printed)

Beginning Samsung ARTIK[electronic resource] :a guide for developers / by: (Language materials, printed)

Collaborative quality assurance in information systems development[electronic resource] :the interaction of software development techniques and team cognition / by: (Language materials, printed)

Windows 10 development recipes[electronic resource] :a problem-solution approach in HTML and JavaScript / by: (Language materials, printed)

Learn PHP 7[electronic resource] :object-oriented modular programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL / by: (Language materials, printed)

Practical linux topics[electronic resource] / by: (Language materials, printed)

MMOs from the outside in[electronic resource] :the massively-multiplayer online ro le-playing games of psychology, law, government, and real life / by: (Language materials, printed)

Android TV apps development[electronic resource] :building for media and games / by: (Language materials, printed)

Program arcade games[electronic resource] :with Python and Pygame / by: (Language materials, printed)

Introducing Zurb Foundation 6[electronic resource] / by: (Language materials, printed)

Java design patterns[electronic resource] :a tour of 23 gang of four design patterns in Java / by: (Language materials, printed)

Oracle Certified Professional Java SE 8 programmer exam 1Z0-809[electronic resource] :comprehensive OCPJP 8 certification guide / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (Language materials, printed)

Introduction to HPC with MPI for data science[electronic resource] / by: (Language materials, printed)

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Inductive logic programming[electronic resource] :25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers / by: (Electronic resources)

NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (Electronic resources)

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (Electronic resources)

Advances in data mining[electronic resource] :applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings / by: (Electronic resources)

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 / by: (Electronic resources)

Modelling foundations and applications[electronic resource] :12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings / by: (Electronic resources)

Finite difference computing with exponential decay models[electronic resource] / by: (Electronic resources)

Creating Google Chrome extensions[electronic resource] / by: (Electronic resources)

C++ standard library quick reference[electronic resource] / by: (Electronic resources)

Mac OS X for absolute beginners[electronic resource] / by: (Electronic resources)

Java XML and JSON[electronic resource] / by: (Electronic resources)

Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications / by: (Electronic resources)

Beginning Backdrop CMS[electronic resource] / by: (Electronic resources)

Relational database programming[electronic resource] :a set-oriented approach / by: (Electronic resources)

.NET development using the compiler API[electronic resource] / by: (Electronic resources)

Numerical simulation in physics and engineering[electronic resource] :lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School / by: (Electronic resources)

A primer on scientific programming with Python[electronic resource] / by: (Electronic resources)

Harley Hahn's Emacs field guide[electronic resource] / by: (Electronic resources)

Penetration testing basics[electronic resource] :a quick-start guide to breaking into systems / by: (Electronic resources)

Beginning SQL Queries[electronic resource] :From Novice to Professional / by: (Electronic resources)

Securing PHP apps[electronic resource] / by: (Electronic resources)

Polished game development[electronic resource] :from first steps to final release / by: (Electronic resources)

Random-like bi-level decision making[electronic resource] / by: (Electronic resources)

Euro-Par 2016[electronic resource] :parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / by: (Electronic resources)

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 / by: (Electronic resources)

Moving to responsive web design[electronic resource] :bring existing static sites into today's multi-device world with responsive web design / by: (Electronic resources)

Pro SQL Server on Microsoft Azure[electronic resource] / by: (Electronic resources)

Typed PHP[electronic resource] :stronger types for cleaner code / by: (Electronic resources)

Learning Groovy[electronic resource] / by: (Electronic resources)

Learn to program with Python[electronic resource] / by: (Electronic resources)

Material design implementation with AngularJS[electronic resource] :UI component framework / by: (Electronic resources)

Understanding control flow[electronic resource] :concurrent programming using [mu]C++ / by: (Electronic resources)

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

Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language / by: (Electronic resources)

Transactions on foundations for mastering change I[electronic resource] / by: (Electronic resources)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Electronic resources)

Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (Electronic resources)

Pro ASP.NET Core MVC[electronic resource] / by: (Electronic resources)

Scratch by example[electronic resource] :programming for all ages / by: (Electronic resources)

Automated trading with R[electronic resource] :quantitative research and platform development / by: (Electronic resources)

Lumen programming guide[electronic resource] :writing PHP microservices, REST and web service APIs / by: (Electronic resources)

PHP CLI[electronic resource] :create command line interface scripts with PHP / by: (Electronic resources)

Software developers as users[electronic resource] :semiotic investigations in human-centered software development / by: (Electronic resources)

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

Working with the American community survey in R[electronic resource] :a guide to using the acs package / by: (Electronic resources)

Migrating to Swift from Flash and ActionScript[electronic resource] / by: (Electronic resources)

MVVM in Delphi[electronic resource] :architecting and building Model View ViewModel Applications / by: (Electronic resources)

Principles of data mining[electronic resource] / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

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

Salesforce.com lightning process builder and visual workflow[electronic resource] :a practical guide to model-driven development on the Force.com platform / by: (Language materials, printed)

Practical C[electronic resource] / by: (Language materials, printed)

Practical web design for absolute beginners[electronic resource] / by: (Language materials, printed)

Advanced R[electronic resource] :data programming and the cloud / by: (Language materials, printed)

Creating maintainable APIs[electronic resource] :a practical case-study approach / by: (Language materials, printed)

Beginning iPhone development with Swift 3[electronic resource] :exploring the iOS SDK / by: (Language materials, printed)

Build iOS database apps with Swift and SQLite[electronic resource] / by: (Language materials, printed)

Practical Microsoft Visual Studio 2015[electronic resource] / by: (Language materials, printed)

Practical LPIC-1 Linux certification study guide[electronic resource] / by: (Language materials, printed)

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

Learn CentOS Linux network services[electronic resource] / by: (Language materials, printed)

Lean Python[electronic resource] :learn just enough Python to build useful tools / by: (Language materials, printed)

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

Apache HBase primer[electronic resource] / by: (Language materials, printed)

Beginning platino game engine[electronic resource] / by: (Language materials, printed)

Engineering Multi-Agent Systems[electronic resource] :4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Supercomputing[electronic resource] :second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers / by: (Language materials, printed)

Scientific Engineering of Distributed Java Applications[electronic resource] :4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (Electronic resources)

Software Engineering for Multi-Agent Systems III[electronic resource] :Research Issues and Practical Applications / by: (Electronic resources)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (Electronic resources)

Programming Techniques.