Programming languages (Electronic computers).

Migrating to Swift from Web Development by: (書目-語言資料,印刷品)

Learn Swift on the Mac = For OS X and iOS / by: (書目-語言資料,印刷品)

Stripes by Example by: (書目-語言資料,印刷品)

Developing for Apple TV using tvOS and Swift by: (書目-語言資料,印刷品)

Beginning C for Arduino, Second Edition = Learn C Programming for the Arduino / by: (書目-語言資料,印刷品)

Genetic Algorithms in Java Basics by: (書目-語言資料,印刷品)

Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering for Collective Autonomic Systems = The ASCENS Approach / by: (書目-語言資料,印刷品)

Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by: (書目-語言資料,印刷品)

Exploring Robotics with ROBOTIS Systems by: (書目-語言資料,印刷品)

Object-Oriented Technology by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / by: (書目-語言資料,印刷品)

Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / by: (書目-語言資料,印刷品)

Software Architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by: (書目-語言資料,印刷品)

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

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Introduction to React by: (書目-語言資料,印刷品)

C++ 14 Quick Syntax Reference = Second Edition / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / by: (書目-語言資料,印刷品)

SDL 2015: Model-Driven Engineering for Smart Cities = 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / by: (書目-語言資料,印刷品)

Xamarin Mobile Application Development = Cross-Platform C# and Xamarin.Forms Fundamentals / by: (書目-語言資料,印刷品)

Python For ArcGIS by: (書目-語言資料,印刷品)

Learn Pixi.js by: (書目-語言資料,印刷品)

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

Model Checking Software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by: (書目-語言資料,印刷品)

Automatic SIMD Vectorization of SSA-based Control Flow Graphs by: (書目-語言資料,印刷品)

Migrating from Drupal to Backdrop by: (書目-語言資料,印刷品)

Theory and Practice of Model Transformations = 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / by: (書目-語言資料,印刷品)

Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / by: (書目-語言資料,印刷品)

Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Selenium WebDriver Recipes in C# = Second Edition / by: (書目-語言資料,印刷品)

Building Secure Defenses Against Code-Reuse Attacks by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

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

Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Fundamentals of Software Engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods for Multicore Programming = 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by: (書目-語言資料,印刷品)

Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Broken Agile = Second Edition / by: (書目-語言資料,印刷品)

Mathematica®: A Problem-Centered Approach by: (書目-語言資料,印刷品)

Guide to Fortran 2008 Programming by: (書目-語言資料,印刷品)

Programmierung von verteilten Systemen und Webanwendungen mit Java EE = Erste Schritte in der Java Enterprise Edition / by: (書目-語言資料,印刷品)

Advanced Metaprogramming in Classic C++ by: (書目-語言資料,印刷品)

Pro Design Patterns in Swift by: (書目-語言資料,印刷品)

Using the C++ Standard Template Libraries by: (書目-語言資料,印刷品)

Introduction to Programming with Fortran = With Coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (書目-語言資料,印刷品)

Using Microsoft Dynamics AX 2012 = Updated for Version R3 / by: (書目-語言資料,印刷品)

Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen / by: (書目-語言資料,印刷品)

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

Android Studio Game Development = Concepts and Design / by: (書目-語言資料,印刷品)

SQL Server T-SQL Recipes by: (書目-語言資料,印刷品)

Introduction to Modern Fortran for the Earth System Sciences by: (書目-語言資料,印刷品)

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

Make a 2D RPG in a Weekend = Second Edition: With RPG Maker MV / by: (書目-語言資料,印刷品)

Swift 2 for Absolute Beginners by: (書目-語言資料,印刷品)

Android Recipes = A Problem-Solution Approach for Android 5.0 / by: (書目-語言資料,印刷品)

Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming / by: (書目-語言資料,印刷品)

Swift for Absolute Beginners by: (書目-語言資料,印刷品)

Formalizing Data-Centric Web Services by: (書目-語言資料,印刷品)

Digital Electronics for Musicians by: (書目-語言資料,印刷品)

MATLAB Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Beginning R = An Introduction to Statistical Programming / by: (書目-語言資料,印刷品)

Web Development with Go = Building Scalable Web Apps and RESTful Services / by: (書目-語言資料,印刷品)

Design and Implementation of the MTX Operating System by: (書目-語言資料,印刷品)

Learn to Program with C by: (書目-語言資料,印刷品)

Understanding Network Hacks = Attack and Defense with Python / by: (書目-語言資料,印刷品)

Make an E-commerce Site in a Weekend = Using PHP / by: (書目-語言資料,印刷品)

Model-Integrating Software Components = Engineering Flexible Software Systems / by: (書目-語言資料,印刷品)

Expert T-SQL Window Functions in SQL Server by: (書目-語言資料,印刷品)

JavaScript Frameworks for Modern Web Dev by: (書目-語言資料,印刷品)

Pro Android Games = L Edition / by: (書目-語言資料,印刷品)

Numerical Python = A Practical Techniques Approach for Industry / by: (書目-語言資料,印刷品)

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

Expert F# 4.0 by: (書目-語言資料,印刷品)

Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

C++ Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Compiler Construction = 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Modelling Foundations and Applications = 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / by: (書目-語言資料,印刷品)

Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by: (書目-語言資料,印刷品)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / by: (書目-語言資料,印刷品)

Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

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

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / by: (書目-語言資料,印刷品)

Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Pro React by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / by: (書目-語言資料,印刷品)

Swift Game Programming for Absolute Beginners by: (書目-語言資料,印刷品)

Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / by: (書目-語言資料,印刷品)

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Aspect-Oriented Software Development XII by: (書目-語言資料,印刷品)

Languages, Applications and Technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Agile Android by: (書目-語言資料,印刷品)

An Introduction to Python and Computer Programming by: (書目-語言資料,印刷品)

Swift 3 for Absolute Beginners by: (書目-語言資料,印刷品)

A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advanced R = Data Programming and the Cloud / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Common Lisp Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Software Reading Techniques = Twenty Techniques for More Effective Software Review and Inspection / by: (書目-語言資料,印刷品)

Scala: From a Functional Programming Perspective = An Introduction to the Programming Language / by: (書目-語言資料,印刷品)

C++ Standard Library Quick Reference by: (書目-語言資料,印刷品)

Introducing Bootstrap 4 by: (書目-語言資料,印刷品)

Go Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Lumen Programming Guide = Writing PHP Microservices, REST and Web Service APIs / by: (書目-語言資料,印刷品)

Interactive Object Oriented Programming in Java = Learn and Test Your Skills / by: (書目-語言資料,印刷品)

Typed PHP = Stronger Types For Cleaner Code / by: (書目-語言資料,印刷品)

PHP CLI = Create Command Line Interface Scripts with PHP / by: (書目-語言資料,印刷品)

Instruction Level Parallelism by: (書目-語言資料,印刷品)

Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by: (書目-語言資料,印刷品)

Learn Electronics with Raspberry Pi = Physical Computing with Circuits, Sensors, Outputs, and Projects / by: (書目-語言資料,印刷品)

Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Learn PHP 7 = Object Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by: (書目-語言資料,印刷品)

An Introduction to Statistics with Python = With Applications in the Life Sciences / by: (書目-語言資料,印刷品)

Numeric Computation and Statistical Data Analysis on the Java Platform by: (書目-語言資料,印刷品)

Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Data Mining. Applications and Theoretical Aspects = 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

System Analysis and Modeling. Technology-Specific Aspects of Models = 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / by: (書目-語言資料,印刷品)

Information and Communication Technologies in Education, Research, and Industrial Applications = 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by: (書目-語言資料,印刷品)

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems = 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / by: (書目-語言資料,印刷品)

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments = Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Java XML and JSON by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / by: (書目-語言資料,印刷品)

PHP Objects, Patterns, and Practice by: (書目-語言資料,印刷品)

Lean Python = Learn Just Enough Python to Build Useful Tools / by: (書目-語言資料,印刷品)

Understanding Control Flow = Concurrent Programming Using μC++ / by: (書目-語言資料,印刷品)

Practical Web Design for Absolute Beginners by: (書目-語言資料,印刷品)

Programming Languages and Systems = 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Using Microsoft Dynamics AX = The New Dynamics ‘AX 7‘ / by: (書目-語言資料,印刷品)

Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Data Science Using Oracle Data Miner and Oracle R Enterprise = Transform Your Business Systems into an Analytical Powerhouse / by: (書目-語言資料,印刷品)

Building Embedded Systems = Programmable Hardware / by: (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Program Arcade Games = With Python and Pygame / by: (書目-語言資料,印刷品)

Python Descriptors by: (書目-語言資料,印刷品)

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

Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / by: (書目-語言資料,印刷品)

More Math Into LaTeX by: (書目-語言資料,印刷品)

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by: (書目-語言資料,印刷品)

Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications / by: (書目-語言資料,印刷品)

Beginning Robotics Programming in Java with LEGO Mindstorms by: (書目-語言資料,印刷品)

Einführung in C = Praktisches Lern- und Arbeitsbuch für Programmieranfänger / by: (書目-語言資料,印刷品)

Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

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

Moving to Responsive Web Design = Bring existing static sites into today's multi-device world with responsive web design / by: (書目-語言資料,印刷品)

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

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

Java Design Patterns by: (書目-語言資料,印刷品)

Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

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

Text Analytics with Python = A Practical Real-World Approach to Gaining Actionable Insights from your Data / by: (書目-語言資料,印刷品)

MVVM in Delphi = Architecting and Building Model View ViewModel Applications / by: (書目-語言資料,印刷品)

Beginning SQL Server R Services = Analytics for Data Scientists / by: (書目-語言資料,印刷品)

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

Introducing Materialize by: (書目-語言資料,印刷品)

Automated Trading with R = Quantitative Research and Platform Development / by: (書目-語言資料,印刷品)

PHP Persistence = Concepts, Techniques and Practical Solutions with Doctrine / by: (書目-語言資料,印刷品)

Math Mutation Classics = Exploring Interesting, Fun and Weird Corners of Mathematics / by: (書目-語言資料,印刷品)

JSON Quick Syntax Reference by: (書目-語言資料,印刷品)

Microservices From Day One = Build robust and scalable software from the start / by: (書目-語言資料,印刷品)

Harley Hahn's Emacs Field Guide by: (書目-語言資料,印刷品)

Dynamic SQL = Applications, Performance, and Security / by: (書目-語言資料,印刷品)

Windows 10 Development Recipes = A Problem-Solution Approach in HTML and JavaScript / by: (書目-語言資料,印刷品)

Erlang and Elixir for Imperative Programmers by: (書目-語言資料,印刷品)

Programmierparadigmen = Eine Einführung auf der Grundlage von Racket / by: (書目-語言資料,印刷品)

Beginning SQL Queries = From Novice to Professional / by: (書目-語言資料,印刷品)

Beginning KeystoneJS = A practical introduction to KeystoneJS using a real-world project / by: (書目-語言資料,印刷品)

Java Lambdas and Parallel Streams by: (書目-語言資料,印刷品)

Grundkurs Programmieren mit Delphi = Systematisch programmieren lernen für Einsteiger / by: (書目-語言資料,印刷品)

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

Einführung in UML = Analyse und Entwurf von Software / by: (書目-語言資料,印刷品)

Build iOS Database Apps with Swift and SQLite by: (書目-語言資料,印刷品)

Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript / by: (書目-語言資料,印刷品)

Introducing Zurb Foundation 6 by: (書目-語言資料,印刷品)

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

.NET Development Using the Compiler API by: (書目-語言資料,印刷品)

Scratch by Example = Programming for All Ages / by: (書目-語言資料,印刷品)

Beginning Ruby = From Novice to Professional / by: (書目-語言資料,印刷品)

Learning Groovy by: (書目-語言資料,印刷品)

Model-Based Systems Engineering with OPM and SysML by: (書目-語言資料,印刷品)

C++/CLI Primer = For .NET Development / by: (書目-語言資料,印刷品)

Options and Derivatives Programming in C++ = Algorithms and Programming Techniques for the Financial Industry / by: (書目-語言資料,印刷品)

Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 22nd International Conference, TACAS 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: (書目-語言資料,印刷品)

Deductive Software Verification – The KeY Book = From Theory to Practice / by: (書目-語言資料,印刷品)

Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by: (書目-語言資料,印刷品)

Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Foundations for Mastering Change I by: (書目-語言資料,印刷品)

Transactions on Modularity and Composition I by: (書目-語言資料,印刷品)

Rewriting Logic and Its Applications = 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

C++-Metaprogrammierung = Eine Einführung in die Präprozessor- und Template-Metaprogrammierung / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 19th International Conference, FASE 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: (書目-語言資料,印刷品)

Creating Maintainable APIs = A Practical, Case-Study Approach / by: (書目-語言資料,印刷品)

Java als erste Programmiersprache = Grundkurs für Hochschulen / by: (書目-語言資料,印刷品)

Kubernetes Microservices with Docker by: (書目-語言資料,印刷品)

Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by: (書目-語言資料,印刷品)

Verified Software: Theories, Tools, and Experiments = 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied OpenStack Design Patterns = Design solutions for production-ready infrastructure with OpenStack components / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / by: (書目-語言資料,印刷品)

Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / by: (書目-語言資料,印刷品)

Software Architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

PHP Beyond the Web by: (書目-語言資料,印刷品)

Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide = A Comprehensive OCPJP 8 Certification Guide / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Modelling Foundations and Applications = 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Perspectives of System Informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Funktionale Programmierung und Metaprogrammierung = Interaktiv in Common Lisp / by: (書目-語言資料,印刷品)

Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by: (書目-語言資料,印刷品)

Ruby Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Human-Centered and Error-Resilient Systems Development = IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / by: (書目-語言資料,印刷品)

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / by: (書目-語言資料,印刷品)

Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen / by: (書目-語言資料,印刷品)

Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 19th International Conference, FOSSACS 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: (書目-語言資料,印刷品)

Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Introduction to Programming with Fortran by: (書目-語言資料,印刷品)

Python Descriptors = Understanding and Using the Descriptor Protocol / by: (書目-語言資料,印刷品)

Practical TLA+ = Planning Driven Development / by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

API Development = A Practical Guide for Business Implementation Success / by: (書目-語言資料,印刷品)

Practical Video Game Bots = Automating Game Processes using C++, Python, and AutoIt / by: (書目-語言資料,印刷品)

Java for Absolute Beginners = Learn to Program the Fundamentals the Java 9+ Way / by: (書目-語言資料,印刷品)

C# 7 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (書目-語言資料,印刷品)

Ethereum for Architects and Developers = With Case Studies and Code Samples in Solidity / by: (書目-語言資料,印刷品)

Deep Belief Nets in C++ and CUDA C: Volume 2 = Autoencoding in the Complex Domain / by: (書目-語言資料,印刷品)

Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Pro .NET Memory Management = For Better Code, Performance, and Scalability / by: (書目-語言資料,印刷品)

Eclipse TEA Revealed = Building Plug-ins and Creating Extensions for Eclipse / by: (書目-語言資料,印刷品)

Principles of Package Design = Creating Reusable Software Components / by: (書目-語言資料,印刷品)

Testing and Tuning Market Trading Systems = Algorithms in C++ / by: (書目-語言資料,印刷品)

Personal Finance with Python = Using pandas, Requests, and Recurrent / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Good Habits for Great Coding = Improving Programming Skills with Examples in Python / by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by: (書目-語言資料,印刷品)

Learning Java with Games by: (書目-語言資料,印刷品)

Pro DevOps with Google Cloud Platform = With Docker, Jenkins, and Kubernetes / by: (書目-語言資料,印刷品)

Testing Software and Systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by: (書目-語言資料,印刷品)

Build Mobile Apps with Ionic 4 and Firebase = Hybrid Mobile App Development / by: (書目-語言資料,印刷品)

Regex Quick Syntax Reference = Understanding and Using Regular Expressions / by: (書目-語言資料,印刷品)

Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Learn to Program with Python 3 = A Step-by-Step Guide to Programming / by: (書目-語言資料,印刷品)

Web Applications with Elm = Functional Programming for the Web / by: (書目-語言資料,印刷品)

Topics in Parallel and Distributed Computing = Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by: (書目-語言資料,印刷品)

NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Systems Programming in Unix/Linux by: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Rewriting Logic and Its Applications = 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / by: (書目-語言資料,印刷品)

Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by: (書目-語言資料,印刷品)

Practical Java Machine Learning = Projects with Google Cloud Platform and Amazon Web Services / by: (書目-語言資料,印刷品)

Developing Turn-Based Multiplayer Games = with GameMaker Studio 2 and NodeJS / by: (書目-語言資料,印刷品)

Practical Apache Spark = Using the Scala API / by: (書目-語言資料,印刷品)

Practical PHP 7, MySQL 8, and MariaDB Website Databases = A Simplified Approach to Developing Database-Driven Websites / by: (書目-語言資料,印刷品)

Stylish F# = Crafting Elegant Functional Code for .NET and .NET Core / by: (書目-語言資料,印刷品)

Pro Vue.js 2 by: (書目-語言資料,印刷品)

Complete Guide to Test Automation = Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by: (書目-語言資料,印刷品)

Practical Quantum Computing for Developers = Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience / by: (書目-語言資料,印刷品)

Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / by: (書目-語言資料,印刷品)

Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Provenance and Annotation of Data and Processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings / by: (書目-語言資料,印刷品)

Pro Android with Kotlin = Developing Modern Mobile Apps / by: (書目-語言資料,印刷品)

Visual Design of GraphQL Data = A Practical Introduction with Legacy Data and Neo4j / by: (書目-語言資料,印刷品)

Learn Android Studio 3 with Kotlin = Efficient Android App Development / by: (書目-語言資料,印刷品)

Spring Boot 2 Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / by: (書目-語言資料,印刷品)

Programming with Actors = State-of-the-Art and Research Perspectives / by: (書目-語言資料,印刷品)

Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Scalable Uncertainty Management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / by: (書目-語言資料,印刷品)

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

Security Standardisation Research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computing with Data = An Introduction to the Data Industry / by: (書目-語言資料,印刷品)

Java üben mit dem Plotter = Ein Überblick für Studierende und Einsteiger / by: (書目-語言資料,印刷品)

Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Relational and Algebraic Methods in Computer Science = 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / by: (書目-語言資料,印刷品)

Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by: (書目-語言資料,印刷品)

Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / by: (書目-語言資料,印刷品)

Swift 4 for Absolute Beginners = Develop Apps for iOS / by: (書目-語言資料,印刷品)

Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 / by: (書目-語言資料,印刷品)

Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Learn Rails 5.2 = Accelerated Web Development with Ruby on Rails / by: (書目-語言資料,印刷品)

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

Pro TypeScript = Application-Scale JavaScript Development / by: (書目-語言資料,印刷品)

Practical Android = 14 Complete Projects on Advanced Techniques and Approaches / by: (書目-語言資料,印刷品)

SOFSEM 2018: Theory and Practice of Computer Science = 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / by: (書目-語言資料,印刷品)

Make Your Own Python Text Adventure = A Guide to Learning Programming / by: (書目-語言資料,印刷品)

Deep Belief Nets in C++ and CUDA C: Volume 1 = Restricted Boltzmann Machines and Supervised Feedforward Networks / by: (書目-語言資料,印刷品)

Design Patterns in Modern C++ = Reusable Approaches for Object-Oriented Software Design / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Beginning Xamarin Development for the Mac = Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Programmierung mit PASCAL = Eine Einführung für Programmieranfänger / by: (書目-語言資料,印刷品)

DevOps for Azure Applications = Deploy Web Applications on Azure / by: (書目-語言資料,印刷品)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops = Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Handbook of Floating-Point Arithmetic by: (書目-語言資料,印刷品)

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

Practical Scala DSLs = Real-World Applications Using Domain Specific Languages / by: (書目-語言資料,印刷品)

C++ mit Visual Studio 2017 und Windows Forms-Anwendungen = Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen / by: (書目-語言資料,印刷品)

It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / by: (書目-語言資料,印刷品)

Programmieren lernen mit Computergrafik = Eine Einführung mit Java und Processing / by: (書目-語言資料,印刷品)

Beginning EJB in Java EE 8 = Building Applications with Enterprise JavaBeans / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / by: (書目-語言資料,印刷品)

Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz / by: (書目-語言資料,印刷品)

Practical JSF in Java EE 8 = Web Applications ​in Java for the Enterprise / by: (書目-語言資料,印刷品)

Beginning Rust = From Novice to Professional / by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Speech and Language Processing for Human-Machine Communications = Proceedings of CSI 2015 / by: (書目-語言資料,印刷品)

Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen / by: (書目-語言資料,印刷品)

Theory and Applications of Formal Argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

A Beginner's Guide to Scala, Object Orientation and Functional Programming by: (書目-語言資料,印刷品)

Design Patterns in C# = A Hands-on Guide with Real-World Examples / by: (書目-語言資料,印刷品)

Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Pro JPA 2 in Java EE 8 = An In-Depth Guide to Java Persistence APIs / by: (書目-語言資料,印刷品)

Domain-Specific Languages in R = Advanced Statistical Programming / by: (書目-語言資料,印刷品)

Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Beginning PostgreSQL on the Cloud = Simplifying Database as a Service on Cloud Platforms / by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Programmierung in Python = Ein kompakter Einstieg für die Praxis / by: (書目-語言資料,印刷品)

Introduction to Octave = For Engineers and Scientists / by: (書目-語言資料,印刷品)

Ruby Data Processing = Using Map, Reduce, and Select / by: (書目-語言資料,印刷品)

Objektorientierte Programmierung mit JavaScript = Direktstart für Einsteiger / by: (書目-語言資料,印刷品)

Introduction to Python for Engineers and Scientists = Open Source Solutions for Numerical Computation / by: (書目-語言資料,印刷品)

C++ mit Visual Studio 2017 = Ein Fach- und Lehrbuch für Standard-C++ / by: (書目-語言資料,印刷品)

Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Requirements Engineering: Foundation for Software Quality = 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theory and Practice of Model Transformation = 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Scala for Java Developers = A Practical Primer / by: (書目-語言資料,印刷品)

Interactive C# = Fundamentals, Core Concepts and Patterns / by: (書目-語言資料,印刷品)

Automatic Tuning of Compilers Using Machine Learning by: (書目-語言資料,印刷品)

Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications / by: (書目-語言資料,印刷品)

Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig / by: (書目-語言資料,印刷品)

PySpark Recipes = A Problem-Solution Approach with PySpark2 / by: (書目-語言資料,印刷品)

Grundkurs Software-Engineering mit UML = Der pragmatische Weg zu erfolgreichen Softwareprojekten / by: (書目-語言資料,印刷品)

Interactive Theorem Proving = 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Deep Belief Nets in C++ and CUDA C: Volume 3 = Convolutional Nets / by: (書目-語言資料,印刷品)

Beginning C++17 = From Novice to Professional / by: (書目-語言資料,印刷品)

Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program / by: (書目-語言資料,印刷品)

Automated Reasoning = 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Java Programming by: (書目-語言資料,印刷品)

C++17 Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library / by: (書目-語言資料,印刷品)

Customizing Dynamics 365 = Implementing and Releasing Business Solutions / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

asyncio Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

R Data Science Quick Reference = A Pocket Guide to APIs, Libraries, and Packages / by: (書目-語言資料,印刷品)

Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

R3 Corda for Architects and Developers = With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture / by: (書目-語言資料,印刷品)

Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Scala Programming for Big Data Analytics = Get Started With Big Data Analytics Using Apache Spark / by: (書目-語言資料,印刷品)

From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by: (書目-語言資料,印刷品)

Practical Microservices Architectural Patterns = Event-Based Java Microservices with Spring Boot and Spring Cloud / by: (書目-語言資料,印刷品)

Java XML and JSON = Document Processing for Java SE / by: (書目-語言資料,印刷品)

Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

C/C++ anwenden = Technisch-wissenschaftliche Übungsaufgaben mit Lösungen / by: (書目-語言資料,印刷品)

Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

A Beginners Guide to Python 3 Programming by: (書目-語言資料,印刷品)

DevOps in Python = Infrastructure as Python / by: (書目-語言資料,印刷品)

Beginning Jakarta EE = Enterprise Edition for Java: From Novice to Professional / by: (書目-語言資料,印刷品)

Essential TypeScript = From Beginner to Pro / by: (書目-語言資料,印刷品)

Game Development with GameMaker Studio 2 = Make Your Own Games with GameMaker Language / by: (書目-語言資料,印刷品)

Exploring the .NET Core 3.0 Runtime = Through Code Generation and Metadata Inspection / by: (書目-語言資料,印刷品)

Introducing Markdown and Pandoc = Using Markup Language and Document Converter / by: (書目-語言資料,印刷品)

Perl 6 Quick Syntax Reference = A Pocket Guide to the Language, the Core Modules, and the Community / by: (書目-語言資料,印刷品)

Pro CDI 2 in Java EE 8 = An In-Depth Guide to Context and Dependency Injection / by: (書目-語言資料,印刷品)

Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz / by: (書目-語言資料,印刷品)

Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

On the Move to Meaningful Internet Systems: OTM 2019 Conferences = Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / by: (書目-語言資料,印刷品)

Clean Ruby = A Guide to Crafting Better Code for Rubyists / by: (書目-語言資料,印刷品)

Computer Music Instruments II = Realtime and Object-Oriented Audio / by: (書目-語言資料,印刷品)

Beginning MATLAB and Simulink = From Novice to Professional / by: (書目-語言資料,印刷品)

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

Formal Languages and Compilation by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings / by: (書目-語言資料,印刷品)

Central European Functional Programming School = 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 = 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming / by: (書目-語言資料,印刷品)

Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

The Joys of Hashing = Hash Table Programming with C / by: (書目-語言資料,印刷品)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Learn RStudio IDE = Quick, Effective, and Productive Data Science / by: (書目-語言資料,印刷品)

Java in Two Semesters = Featuring JavaFX / by: (書目-語言資料,印刷品)

Functional Interfaces in Java = Fundamentals and Examples / by: (書目-語言資料,印刷品)

Beginning x64 Assembly Programming = From Novice to AVX Professional / by: (書目-語言資料,印刷品)

Requirements Engineering: Foundation for Software Quality = 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Pro .NET Framework with the Base Class Library = Understanding the Virtual Execution System and the Common Type System / by: (書目-語言資料,印刷品)

PHP 7 Solutions = Dynamic Web Design Made Easy / by: (書目-語言資料,印刷品)

Visual Studio Code Distilled = Evolved Code Editing for Windows, macOS, and Linux / by: (書目-語言資料,印刷品)

Java Design Patterns = A Hands-On Experience with Real-World Examples / by: (書目-語言資料,印刷品)

Reactive Streams in Java = Concurrency with RxJava, Reactor, and Akka Streams / by: (書目-語言資料,印刷品)

Advanced R Statistical Programming and Data Models = Analysis, Machine Learning, and Visualization / by: (書目-語言資料,印刷品)

Let’s Build a Multiplayer Phaser Game = With TypeScript, Socket.IO, and Phaser / by: (書目-語言資料,印刷品)

Building Telegram Bots = Develop Bots in 12 Programming Languages using the Telegram Bot API / by: (書目-語言資料,印刷品)

R Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library / by: (書目-語言資料,印刷品)

Expert Twisted = Event-Driven and Asynchronous Programming with Python / by: (書目-語言資料,印刷品)

OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Building Xamarin.Forms Mobile Apps Using XAML = Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals / by: (書目-語言資料,印刷品)

Transactions on High-Performance Embedded Architectures and Compilers V by: (書目-語言資料,印刷品)

JavaScript Frameworks for Modern Web Development = The Essential Frameworks, Libraries, and Tools to Learn Right Now / by: (書目-語言資料,印刷品)

Practical Machine Learning and Image Processing = For Facial Recognition, Object Detection, and Pattern Recognition Using Python / by: (書目-語言資料,印刷品)

Beginning iPhone Development with Swift 5 = Exploring the iOS SDK / by: (書目-語言資料,印刷品)

Practical Domain-Driven Design in Enterprise Java = Using Jakarta EE, Eclipse MicroProfile, Spring Boot, and the Axon Framework / by: (書目-語言資料,印刷品)

The Python Workbook = A Brief Introduction with Exercises and Solutions / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / by: (書目-語言資料,印刷品)

NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by: (書目-語言資料,印刷品)

Pro MERN Stack = Full Stack Web App Development with Mongo, Express, React, and Node / by: (書目-語言資料,印刷品)

Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Android Espresso Revealed = Writing Automated UI Tests / by: (書目-語言資料,印刷品)

Modern C Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (書目-語言資料,印刷品)

Swift 5 for Absolute Beginners = Learn to Develop Apps for iOS / by: (書目-語言資料,印刷品)

Learn Kotlin for Android Development = The Next Generation Language for Modern Android Apps Programming / by: (書目-語言資料,印刷品)

CSS3 Quick Syntax Reference = A Pocket Guide to the Cascading Style Sheets Language / by: (書目-語言資料,印刷品)

Beginning Spring 5 = From Novice to Professional / by: (書目-語言資料,印刷品)

Machine Learning Using R = With Time Series and Industry-Based Use Cases in R / by: (書目-語言資料,印刷品)

Beginning Programming Using Retro Computing = Learn BASIC with a Commodore Emulator / by: (書目-語言資料,印刷品)

Building Chatbots with Python = Using Natural Language Processing and Machine Learning / by: (書目-語言資料,印刷品)

Rethinking Productivity in Software Engineering by: (書目-語言資料,印刷品)

Exploring Advanced Features in C# = Enhance Your Code and Productivity / by: (書目-語言資料,印刷品)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Introducing Vala Programming = A Language and Techniques to Boost Productivity / by: (書目-語言資料,印刷品)

High Performance Computing for Computational Science – VECPAR 2018 = 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Creating Business Applications with Office 365 = Techniques in SharePoint, PowerApps, Power BI, and More / by: (書目-語言資料,印刷品)

Haskell Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (書目-語言資料,印刷品)

Echtzeit 2019 = Autonome Systeme – 50 Jahre PEARL / by: (書目-語言資料,印刷品)

Advanced Guide to Python 3 Programming by: (書目-語言資料,印刷品)

Julia Quick Syntax Reference = A Pocket Guide for Data Science Programming / by: (書目-語言資料,印刷品)

Practical Haskell = A Real World Guide to Programming / by: (書目-語言資料,印刷品)

Numerical C = Applied Computational Programming with Case Studies / by: (書目-語言資料,印刷品)

Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen / by: (書目-語言資料,印刷品)

The Definitive Guide to Modern Java Clients with JavaFX = Cross-Platform Mobile and Cloud Development / by: (書目-語言資料,印刷品)

Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by: (書目-語言資料,印刷品)

Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Learn Java with Math = Using Fun Projects and Games / by: (書目-語言資料,印刷品)

Functional and Constraint Logic Programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Practical MATLAB = With Modeling, Simulation, and Processing Projects / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data Analytics and Management in Data Intensive Domains = 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Schnellstart Python = Ein Einstieg ins Programmieren für MINT-Studierende / by: (書目-語言資料,印刷品)

How to Speak Tech = The Non-Techie’s Guide to Key Technology Concepts / by: (書目-語言資料,印刷品)

Pro Python 3 = Features and Tools for Professional Development / by: (書目-語言資料,印刷品)

PySpark SQL Recipes = With HiveQL, Dataframe and Graphframes / by: (書目-語言資料,印刷品)

Beginning Game Development with Amazon Lumberyard = Create 3D Games Using Amazon Lumberyard and Lua / by: (書目-語言資料,印刷品)

Learn Microsoft Visual Studio App Center = With Xamarin Forms / by: (書目-語言資料,印刷品)

Graphical Models for Security = 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows / by: (書目-語言資料,印刷品)

Computing and Software Science = State of the Art and Perspectives / by: (書目-語言資料,印刷品)

Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten / by: (書目-語言資料,印刷品)

Learning C# by Programming Games by: (書目-語言資料,印刷品)

Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Foundations of Libvirt Development = How to Set Up and Maintain a Virtual Machine Environment with Python / by: (書目-語言資料,印刷品)

Gotik und Informatik = Intelligenter Entwurf damals und heute / by: (書目-語言資料,印刷品)

Introducing Delphi ORM = Object Relational Mapping Using TMS Aurelius / by: (書目-語言資料,印刷品)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Rapid Java Persistence and Microservices = Persistence Made Easy Using Java EE8, JPA and Spring / by: (書目-語言資料,印刷品)

Foundations and Practice of Security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Pro TBB = C++ Parallel Programming with Threading Building Blocks / by: (書目-語言資料,印刷品)

Building Scalable PHP Web Applications Using the Cloud = A Simple Guide to Programming and Administering Cloud-Based Applications / by: (書目-語言資料,印刷品)

Introduction to Software Design with Java by: (書目-語言資料,印刷品)

Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Learn R for Applied Statistics = With Data Visualizations, Regressions, and Statistics / by: (書目-語言資料,印刷品)

Learning Groovy 3 = Java-Based Dynamic Scripting / by: (書目-語言資料,印刷品)

Beginning Perl Programming = From Novice to Professional / by: (書目-語言資料,印刷品)

C++17 Standard Library Quick Reference = A Pocket Guide to Data Structures, Algorithms, and Functions / by: (書目-語言資料,印刷品)

Android Studio IDE Quick Reference = A Pocket Guide to Android Studio Development / by: (書目-語言資料,印刷品)

Exploring Blazor = Creating Hosted, Server-side, and Client-side Applications with C# / by: (書目-語言資料,印刷品)

Expert T-SQL Window Functions in SQL Server 2019 = The Hidden Secret to Fast Analytic and Reporting Queries / by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

C++ for Lazy Programmers = Quick, Easy, and Fun C++ for Beginners / by: (書目-語言資料,印刷品)

Designing Microservices with Django = An Overview of Tools and Practices / by: (書目-語言資料,印刷品)

Java 13 Revealed = For Early Adoption and Migration / by: (書目-語言資料,印刷品)

Geographical Information Systems Theory, Applications and Management = 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Building REST APIs with Flask = Create Python Web Services with MySQL / by: (書目-語言資料,印刷品)

Programming and Performance Visualization Tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Python Continuous Integration and Delivery = A Concise Guide with Examples / by: (書目-語言資料,印刷品)

Clean Python = Elegant Coding in Python / by: (書目-語言資料,印刷品)

Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry / by: (書目-語言資料,印刷品)

Introducing Algorithms in C = A Step by Step Guide to Algorithms in C / by: (書目-語言資料,印刷品)

Python Projects for Beginners = A Ten-Week Bootcamp Approach to Python Programming / by: (書目-語言資料,印刷品)

Beginning Bazel = Building and Testing for Java, Go, and More / by: (書目-語言資料,印刷品)

Interactive Object-Oriented Programming in Java = Learn and Test Your Programming Skills / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Practical Machine Learning with Rust = Creating Intelligent Applications in Rust / by: (書目-語言資料,印刷品)

Building Web Applications with .NET Core 2.1 and JavaScript = Leveraging Modern JavaScript Frameworks / by: (書目-語言資料,印刷品)

Exploring C++20 = The Programmer's Introduction to C++ / by: (書目-語言資料,印刷品)

Introduction to R for Terrestrial Ecology = Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R / by: (書目-語言資料,印刷品)

C++20 Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Beginning PyQt = A Hands-on Approach to GUI Programming / by: (書目-語言資料,印刷品)

Advanced Perl Programming = From Advanced to Expert / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (書目-語言資料,印刷品)

Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Getting Started with Advanced C# = Upgrade Your Programming Skills / by: (書目-語言資料,印刷品)

Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Guide to Assembly Language = A Concise Introduction / by: (書目-語言資料,印刷品)

Arduino Software Internals = A Complete Guide to How Your Arduino Language and Hardware Work Together / by: (書目-語言資料,印刷品)

Introducing Play Framework = Java Web Application Development / by: (書目-語言資料,印刷品)

Computer Programming in C for Beginners by: (書目-語言資料,印刷品)

Delphi Quick Syntax Reference = A Pocket Guide to the Delphi and Object Pascal Language / by: (書目-語言資料,印刷品)

Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen / by: (書目-語言資料,印刷品)

String Algorithms in C = Efficient Text Representation and Search / by: (書目-語言資料,印刷品)

Implementing Effective Code Reviews = How to Build and Maintain Clean Code / by: (書目-語言資料,印刷品)

On the Move to Meaningful Internet Systems: OTM 2019 Workshops = Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Practical MATLAB Deep Learning = A Project-Based Approach / by: (書目-語言資料,印刷品)

Learn Microservices with Spring Boot = A Practical Approach to RESTful Services Using an Event-Driven Architecture, Cloud-Native Patterns, and Containerization / by: (書目-語言資料,印刷品)

Beginning Ballerina Programming = From Novice to Professional / by: (書目-語言資料,印刷品)

OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Introducing Jakarta EE CDI = Contexts and Dependency Injection for Enterprise Java Development / by: (書目-語言資料,印刷品)

Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen / by: (書目-語言資料,印刷品)

Practical R 4 = Applying R to Data Manipulation, Processing and Integration / by: (書目-語言資料,印刷品)

Hands-on Booting = Learn the Boot Process of Linux, Windows, and Unix / by: (書目-語言資料,印刷品)

Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Practical Numerical C Programming = Finance, Engineering, and Physics Applications / by: (書目-語言資料,印刷品)

Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Spring Boot Persistence Best Practices = Optimize Java Persistence Performance in Spring Boot Applications / by: (書目-語言資料,印刷品)

Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advanced API Security = OAuth 2.0 and Beyond / by: (書目-語言資料,印刷品)

Raku Fundamentals = A Primer with Examples, Projects, and Case Studies / by: (書目-語言資料,印刷品)

Getting Structured Data from the Internet = Running Web Crawlers/Scrapers on a Big Data Production Scale / by: (書目-語言資料,印刷品)

Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen / by: (書目-語言資料,印刷品)

Getting Started with Visual Studio 2019 = Learning and Implementing New Features / by: (書目-語言資料,印刷品)

Einstieg in Java und OOP = Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung / by: (書目-語言資料,印刷品)

Practical Rust Projects = Building Game, Physical Computing, and Machine Learning Applications / by: (書目-語言資料,印刷品)

Pro Perl Programming = From Professional to Advanced / by: (書目-語言資料,印刷品)

Artificial Intelligence in Music, Sound, Art and Design = 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Quick Start Guide to Dart Programming = Create High-Performance Applications for the Web and Mobile / by: (書目-語言資料,印刷品)

Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced R 4 Data Programming and the Cloud = Using PostgreSQL, AWS, and Shiny / by: (書目-語言資料,印刷品)

C# 8 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (書目-語言資料,印刷品)

Beginning Ada Programming = From Novice to Professional / by: (書目-語言資料,印刷品)

Pivotal Certified Professional Core Spring 5 Developer Exam = A Study Guide Using Spring Framework 5 / by: (書目-語言資料,印刷品)

Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Modern C++ for Absolute Beginners = A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards / by: (書目-語言資料,印刷品)

Beginning Rails 6 = From Novice to Professional / by: (書目-語言資料,印刷品)

Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript / by: (書目-語言資料,印刷品)

The Definitive Guide to Masonite = Building Web Applications with Python / by: (書目-語言資料,印刷品)

Beginning Ring Programming = From Novice to Professional / by: (書目-語言資料,印刷品)

Advanced Python Development = Using Powerful Language Features in Real-World Applications / by: (書目-語言資料,印刷品)

Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Modern Data Mining Algorithms in C++ and CUDA C = Recent Developments in Feature Extraction and Selection Algorithms for Data Science / by: (書目-語言資料,印刷品)

Agile Artificial Intelligence in Pharo = Implementing Neural Networks, Genetic Algorithms, and Neuroevolution / by: (書目-語言資料,印刷品)

Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Beginning C = From Beginner to Pro / by: (書目-語言資料,印刷品)

Rust for the IoT = Building Internet of Things Apps with Rust and Raspberry Pi / by: (書目-語言資料,印刷品)

C++20 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (書目-語言資料,印刷品)

Spring Quick Reference Guide = A Pocket Handbook for Spring Framework, Spring Boot, and More / by: (書目-語言資料,印刷品)

Beginning Quarkus Framework = Build Cloud-Native Enterprise Java Applications and Microservices / by: (書目-語言資料,印刷品)

Foundational Java = Key Elements and Practical Programming / by: (書目-語言資料,印刷品)

Design Patterns in C# = A Hands-on Guide with Real-world Examples / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings / by: (書目-語言資料,印刷品)

Beginning C++20 = From Novice to Professional / by: (書目-語言資料,印刷品)

Learn PHP 8 = Using MySQL, JavaScript, CSS3, and HTML5 / by: (書目-語言資料,印刷品)

Reuse in Emerging Software Engineering Practices = 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

C++ mit Visual Studio 2019 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows Programme mit C++ entwickeln / by: (書目-語言資料,印刷品)

Raku Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Java in 14 Wochen = Ein Lehrbuch für Studierende der Wirtschaftsinformatik / by: (書目-語言資料,印刷品)

Beginning R 4 = From Beginner to Pro / by: (書目-語言資料,印刷品)

Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung / by: (書目-語言資料,印刷品)

MATLAB Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Ethereum Smart Contract Development in Solidity by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Logic Gates, Circuits, Processors, Compilers and Computers by: (書目-語言資料,印刷品)

Learn Rails 6 = Accelerated Web Development with Ruby on Rails / by: (書目-語言資料,印刷品)

Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger / by: (書目-語言資料,印刷品)

Data Parallel C++ = Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

C++ mit Visual Studio 2019 = C++17 für Studierende und erfahrene Programmierer / by: (書目-語言資料,印刷品)

Membrane Computing Models: Implementations by: (書目-語言資料,印刷品)

Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programming Basics = Getting Started with Java, C#, and Python / by: (書目-語言資料,印刷品)

XcalableMP PGAS Programming Language = From Programming Model to Applications / by: (書目-語言資料,印刷品)

Practical C++20 Financial Programming = Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics / by: (書目-語言資料,印刷品)

Beginning Ruby 3 = From Beginner to Pro / by: (書目-語言資料,印刷品)

Introducing Blockchain with Lisp = Implement and Extend Blockchains with the Racket Language / by: (書目-語言資料,印刷品)

Essential TypeScript 4 = From Beginner to Pro / by: (書目-語言資料,印刷品)

Beginning HCL Programming = Using Hashicorp Language for Automation and Configuration / by: (書目-語言資料,印刷品)

Pro Spring MVC with WebFlux = Web Development in Spring Framework 5 and Spring Boot 2 / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Programming with TensorFlow = Solution for Edge Computing Applications / by: (書目-語言資料,印刷品)

Pro Cryptography and Cryptanalysis with C++20 = Creating and Programming Advanced Algorithms / by: (書目-語言資料,印刷品)

Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition / by: (書目-語言資料,印刷品)

Pointers in C Programming = A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays / by: (書目-語言資料,印刷品)

Practical Rust Web Projects = Building Cloud and Web-Based Applications / by: (書目-語言資料,印刷品)

Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp / by: (書目-語言資料,印刷品)

Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity by: (書目-語言資料,印刷品)

AIxIA 2020 – Advances in Artificial Intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Learning Java Programming in Clara‘s World by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Clean C++20 = Sustainable Software Development Patterns and Best Practices / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms on Trees and Graphs = With Python Code / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Design Patterns mit Java = Eine Einführung / by: (書目-語言資料,印刷品)

Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by: (書目-語言資料,印刷品)

Coding Art = The Four Steps to Creative Programming with the Processing Language / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / by: (書目-語言資料,印刷品)

More Java 17 = An In-Depth Exploration of the Java Language and Its Features / by: (書目-語言資料,印刷品)

Learn to Program with Assembly = Foundational Learning for New Programmers / by: (書目-語言資料,印刷品)

Blockchain and Ethereum Smart Contract Solution Development = Dapp Programming with Solidity / by: (書目-語言資料,印刷品)

Simulation with Python = Develop Simulation and Modeling in Natural Sciences, Engineering, and Social Sciences / by: (書目-語言資料,印刷品)

Service-Oriented Computing – ICSOC 2021 Workshops = AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Learn JavaFX Game and App Development = With FXGL 17 / by: (書目-語言資料,印刷品)

Mit Jupyter durchs Physikpraktikum = Auswerten mit Python leicht gemacht / by: (書目-語言資料,印刷品)

From Complex Sentences to a Formal Semantic Representation using Syntactic Text Simplification and Open Information Extraction by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / by: (書目-語言資料,印刷品)

Practical MATLAB Deep Learning = A Projects-Based Approach / by: (書目-語言資料,印刷品)

Programming 101 = Learn to Code with the Processing Language Using a Visual Approach / by: (書目-語言資料,印刷品)

Practical Haskell = A Real-World Guide to Functional Programming / by: (書目-語言資料,印刷品)

PHP 8 for Absolute Beginners = Basic Website and Web Application Development / by: (書目-語言資料,印刷品)

Test Your Skills in C# Programming = Review and Analyze Important Features of C# / by: (書目-語言資料,印刷品)

Programming in Two Semesters = Using Python and Java / by: (書目-語言資料,印刷品)

Modern C Up and Running = A Programmer's Guide to Finding Fluency and Bypassing the Quirks / by: (書目-語言資料,印刷品)

The Absolute Beginner's Guide to Python Programming = A Step-by-Step Guide with Examples and Lab Exercises / by: (書目-語言資料,印刷品)

Network Connectivity = Concepts, Computation, and Optimization / by: (書目-語言資料,印刷品)

Introducing Micronaut = Build, Test, and Deploy Java Microservices on Oracle Cloud / by: (書目-語言資料,印刷品)

Technical Building Blocks = A Technology Reference for Real-world Product Development / by: (書目-語言資料,印刷品)

R 4 Data Science Quick Reference = A Pocket Guide to APIs, Libraries, and Packages / by: (書目-語言資料,印刷品)

Beginning MATLAB and Simulink = From Beginner to Pro / by: (書目-語言資料,印刷品)

Pro Cloud Native Java EE Apps = DevOps with MicroProfile, Jakarta EE 10 APIs, and Kubernetes / by: (書目-語言資料,印刷品)

Beginning Go Programming = Build Reliable and Efficient Applications with Go / by: (書目-語言資料,印刷品)

Programming Language Design and Implementation by: (書目-語言資料,印刷品)

Introducing Spring Framework 6 = Learning and Building Java-based Applications With Spring / by: (書目-語言資料,印刷品)

Introducing Software Verification with Dafny Language = Proving Program Correctness / by: (書目-語言資料,印刷品)

OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence / by: (書目-語言資料,印刷品)

The First Line of Code = Android Programming with Kotlin / by: (書目-語言資料,印刷品)

Network Programming with Go Language = Essential Skills for Programming, Using and Securing Networks with Open Source Google Golang / by: (書目-語言資料,印刷品)

DevOps in Python = Infrastructure as Python / by: (書目-語言資料,印刷品)

Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by: (書目-語言資料,印刷品)

Generic Data Structures and Algorithms in Go = An Applied Approach Using Concurrency, Genericity and Heuristics / by: (書目-語言資料,印刷品)

Deployment and Operation of Complex Software in Heterogeneous Execution Environments = The SODALITE Approach / by: (書目-語言資料,印刷品)

Java EE to Jakarta EE 10 Recipes = A Problem-Solution Approach for Enterprise Java / by: (書目-語言資料,印刷品)

Pro C# 10 with .NET 6 = Foundational Principles and Practices in Programming / by: (書目-語言資料,印刷品)

Create an Enterprise-Level Test Automation Framework with Appium = Using Spring-Boot, Gradle, Junit, ALM Integration, and Custom Reports with TDD and BDD Support / by: (書目-語言資料,印刷品)

Sequence Analysis and Modern C++ = The Creation of the SeqAn3 Bioinformatics Library / by: (書目-語言資料,印刷品)

Pro Data Visualization Using R and JavaScript = Analyze and Visualize Key Data on the Web / by: (書目-語言資料,印刷品)

Pragmatic Python Programming = Learning Python the Smart Way / by: (書目-語言資料,印刷品)

Java Design Patterns = A Hands-On Experience with Real-World Examples / by: (書目-語言資料,印刷品)

Python for MATLAB Development = Extend MATLAB with 300,000+ Modules from the Python Package Index / by: (書目-語言資料,印刷品)

Modern Parallel Programming with C++ and Assembly Language = X86 SIMD Development Using AVX, AVX2, and AVX-512 / by: (書目-語言資料,印刷品)

The Definitive Guide to Jakarta Faces in Jakarta EE 10 = Building Java-Based Enterprise Web Applications / by: (書目-語言資料,印刷品)

R 4 Quick Syntax Reference = A Pocket Guide to the Language, API's and Library / by: (書目-語言資料,印刷品)

Beginning PyQt = A Hands-on Approach to GUI Programming with PyQt6 / by: (書目-語言資料,印刷品)

Artificial Intelligence with Python by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13–14, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by: (書目-語言資料,印刷品)

Pervasive Computing and Social Networking = Proceedings of ICPCSN 2021 / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / by: (書目-語言資料,印刷品)

The Definitive Guide to Security in Jakarta EE = Securing Java-based Enterprise Applications with Jakarta Security, Authorization, Authentication and More / by: (書目-語言資料,印刷品)

Cryptography and Cryptanalysis in Java = Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 / by: (書目-語言資料,印刷品)

Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Python Challenges = 100 Proven Programming Tasks Designed to Prepare You for Anything / by: (書目-語言資料,印刷品)

Pro Go = The Complete Guide to Programming Reliable and Efficient Software Using Golang / by: (書目-語言資料,印刷品)

Java Challenges = 100+ Proven Tasks that Will Prepare You for Anything / by: (書目-語言資料,印刷品)

Practical C++ Design = From Programming to Architecture / by: (書目-語言資料,印刷品)

Artificial Neural Networks with Java = Tools for Building Neural Network Applications / by: (書目-語言資料,印刷品)

Java 17 Quick Syntax Reference = A Pocket Guide to the Java SE Language, APIs, and Library / by: (書目-語言資料,印刷品)

Numerical Methods Using Java = For Data Science, Analysis, and Engineering / by: (書目-語言資料,印刷品)

Java 17 for Absolute Beginners = Learn the Fundamentals of Java Programming / by: (書目-語言資料,印刷品)

PHP 8 Solutions = Dynamic Web Design and Development Made Easy / by: (書目-語言資料,印刷品)

Go for Java Programmers = Learn the Google Go Programming Language / by: (書目-語言資料,印刷品)

Beginning Rust = Get Started with Rust 2021 Edition / by: (書目-語言資料,印刷品)

The Definitive Guide to Modern Java Clients with JavaFX 17 = Cross-Platform Mobile and Cloud Development / by: (書目-語言資料,印刷品)

Beginning Java 17 Fundamentals = Object-Oriented Programming in Java 17 / by: (書目-語言資料,印刷品)

Beginning Hibernate 6 = Java Persistence from Beginner to Pro / by: (書目-語言資料,印刷品)

Beginning jOOQ = Learn to Write Efficient and Effective Java-Based SQL Database Operations / by: (書目-語言資料,印刷品)

Pro Jakarta Persistence in Jakarta EE 10 = An In-Depth Guide to Persistence in Enterprise Java Development / by: (書目-語言資料,印刷品)

Beginning IntelliJ IDEA = Integrated Development Environment for Java Programming / by: (書目-語言資料,印刷品)

Spring REST = Building Java Microservices and Cloud Applications / by: (書目-語言資料,印刷品)

Introducing Qt 6 = Learn to Build Fun Apps & Games for Mobile & Desktop in C++ / by: (書目-語言資料,印刷品)

C and Python Applications = Embedding Python Code in C Programs, SQL Methods, and Python Sockets / by: (書目-語言資料,印刷品)

Language Server Protocol and Implementation = Supporting Language-Smart Editing and Programming Tools / by: (書目-語言資料,印刷品)

Practical Docker with Python = Build, Release, and Distribute Your Python App with Docker / by: (書目-語言資料,印刷品)

Beginning Scala 3 = A Functional and Object-Oriented Java Language / by: (書目-語言資料,印刷品)

Learn JavaFX 17 = Building User Experience and Interfaces with Java / by: (書目-語言資料,印刷品)

C++ Software Interoperability for Windows Programmers = Connecting to C#, R, and Python Clients / by: (書目-語言資料,印刷品)

C# 10 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library / by: (書目-語言資料,印刷品)

Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Introducing Blockchain with Java = Program, Implement, and Extend Blockchains with Java / by: (書目-語言資料,印刷品)

Introduction to Quantum Computing with Q# and QDK by: (書目-語言資料,印刷品)

Java 17 Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Data Science = Best Practices mit Python / by: (書目-語言資料,印刷品)

Network Simulation by: (書目-語言資料,印刷品)