Programming Languages, Compilers, Interpreters.

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (書目-語言資料,印刷品)

Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (書目-語言資料,印刷品)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Php objects, patterns, and practice by: (書目-語言資料,印刷品)

A Modular Calculus for the Average Cost of Data Structuring by: (書目-語言資料,印刷品)

Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

The Developer's Guide to Debugging by: (書目-語言資料,印刷品)

Automatic Program Development = A Tribute to Robert Paige / by: (書目-語言資料,印刷品)

Temporal Logic and State Systems by: (書目-語言資料,印刷品)

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

The definitive guide to Apache MyFaces and Facelets by: (書目-語言資料,印刷品)

Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings / by: (書目-語言資料,印刷品)

Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by: (書目-語言資料,印刷品)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: (書目-語言資料,印刷品)

An introduction to PHP for scientists and engineers = Beyond JavaScript / by: (書目-語言資料,印刷品)

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

Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

Software Process Modeling by: (書目-語言資料,印刷品)

Abstract Computing Machines = A Lambda Calculus Perspective / by: (書目-語言資料,印刷品)

System Level Design of Reconfigurable Systems-on-Chip by: (書目-語言資料,印刷品)

Pro ASP.NET 1.1 in VB .NET = From Professional to Expert / by: (書目-語言資料,印刷品)

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

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / by: (書目-語言資料,印刷品)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (書目-語言資料,印刷品)

Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by: (書目-語言資料,印刷品)

FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (書目-語言資料,印刷品)

Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / by: (書目-語言資料,印刷品)

Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures by: (書目-語言資料,印刷品)

Recent Advances in Parallel Virtual Machine and Message Passing Interface : = 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings by: (書目-語言資料,印刷品)

Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 by: (書目-語言資料,印刷品)

Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: (書目-語言資料,印刷品)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-語言資料,印刷品)

Parsing Techniques = A Practical Guide / by: (書目-語言資料,印刷品)

Android recipes = a problem-solution approach for Android 5.0 / by: (書目-語言資料,印刷品)

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

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning = 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / by: (書目-語言資料,印刷品)

Accelerated VB 2008 by: (書目-語言資料,印刷品)

Pro PHP = Patterns, Frameworks, Testing and More / by: (書目-電子資源)

Visual Basic 2008 Recipes = A Problem-Solution Approach / by: (書目-電子資源)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (書目-語言資料,印刷品)

ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / by: (書目-語言資料,印刷品)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / 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: (書目-語言資料,印刷品)

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

Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-語言資料,印刷品)

Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (書目-語言資料,印刷品)

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

An introduction to Python and computer programming by: (書目-語言資料,印刷品)

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

Xamarin mobile application development = cross-platform C# and Xamarin.Forms fundamentals / by: (書目-語言資料,印刷品)

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

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

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

Prozessubergreifendes Projektmanagement = Grundlagen erfolgreicher Projekte / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Squeak = Learn Programming with Robots / by: (書目-語言資料,印刷品)

Pro J2ME Polish = Open Source Wireless Java Tools Suite / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (書目-語言資料,印刷品)

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

Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / by: (書目-電子資源)

Foundations of software science and computational structures = 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: (書目-語言資料,印刷品)

Swift game programming for absolute beginners by: (書目-語言資料,印刷品)

Python data analytics = data analysis and science using Pandas, matplotlib, and the Python programming language / by: (書目-語言資料,印刷品)

Swift OSX programming for absolute beginners by: (書目-語言資料,印刷品)

Worst-case execution time aware compilation techniques for real-time systems by: (書目-語言資料,印刷品)

Handbook of open source tools by: (書目-語言資料,印刷品)

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

Beginning MapServer = Open Source GIS Development / by: (書目-語言資料,印刷品)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / by: (書目-語言資料,印刷品)

Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / by: (書目-語言資料,印刷品)

Communicating Sequential Processes. The First 25 Years = Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by: (書目-語言資料,印刷品)

Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings / by: (書目-語言資料,印刷品)

Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings by: (書目-語言資料,印刷品)

Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (書目-語言資料,印刷品)

Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (書目-語言資料,印刷品)

Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-語言資料,印刷品)

Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / by: (書目-語言資料,印刷品)

Introduction to Assembly Language Programming = For Pentium and RISC Processors / by: (書目-語言資料,印刷品)

Reverse Engineering of Object Oriented Code by: (書目-語言資料,印刷品)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / by: (書目-語言資料,印刷品)

Formal methods and testing = an outcome of the FORTEST network : revised selected papers / by: (書目-語言資料,印刷品)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (書目-語言資料,印刷品)

Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (書目-語言資料,印刷品)

Testing of Software and Communicating Systems = 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / by: (書目-語言資料,印刷品)

FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / by: (書目-語言資料,印刷品)

Expert Oracle JDBC Programming by: (書目-語言資料,印刷品)

Mastering Oracle SQL and SQL*Plus by: (書目-語言資料,印刷品)

Expert Oracle Database 10g Administration by: (書目-語言資料,印刷品)

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

Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions / by: (書目-語言資料,印刷品)

Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / by: (書目-語言資料,印刷品)

Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / by: (書目-語言資料,印刷品)

Model-Based Testing of Reactive Systems = Advanced Lectures by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers by: (書目-語言資料,印刷品)

Physics for Game Programmers by: (書目-語言資料,印刷品)

Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (書目-語言資料,印刷品)

Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on high-performance embedded architectures and compilers III by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Guide to assembly language = a concise introduction / by: (書目-語言資料,印刷品)

Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / by: (書目-語言資料,印刷品)

Multimedia Introduction to Programming Using Java by: (書目-語言資料,印刷品)

Multi-Agent Programming = Languages, Platforms and Applications / by: (書目-語言資料,印刷品)

Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by: (書目-語言資料,印刷品)

XML for Bioinformatics by: (書目-語言資料,印刷品)

Abstraction, Refinement and Proof for Probabilistic Systems by: (書目-語言資料,印刷品)

Practical Reporting with Ruby and Rails by: (書目-語言資料,印刷品)

Categories for Software Engineering by: (書目-語言資料,印刷品)

Principles of the Spin model checker by: (書目-語言資料,印刷品)

Hardware and software: verification and testing = 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Requirements engineering: foundation for software quality = 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011, proceedings / by: (書目-語言資料,印刷品)

Ada 2005 Rationale = The Language, The Standard Libraries / by: (書目-語言資料,印刷品)

Transactions on pattern languages of programming II = special issue on applying patterns / by: (書目-語言資料,印刷品)

25 Years of Model Checking = History, Achievements, Perspectives / by: (書目-語言資料,印刷品)

Pro ASP.NET 2.0 in C# 2005 by: (書目-語言資料,印刷品)

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

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

Foundations of AOP for J2EE Development by: (書目-語言資料,印刷品)

The Definitive Guide to MySQL5 by: (書目-語言資料,印刷品)

A Software Process Model Handbook for Incorporating People's Capabilities by: (書目-語言資料,印刷品)

Guide to Assembly Language Programming in Linux by: (書目-語言資料,印刷品)

Specification of software systems by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-語言資料,印刷品)

Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (書目-語言資料,印刷品)

Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / by: (書目-語言資料,印刷品)

Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings by: (書目-語言資料,印刷品)

Network Performance Analysis = Using the J Programming Language / by: (書目-語言資料,印刷品)

AutoCAD 2006 VBA = A Programmer's Reference / by: (書目-語言資料,印刷品)

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

A tiny handbook of R by: (書目-語言資料,印刷品)

Distributed Embedded Control Systems = Improving Dependability with Coherent Design / by: (書目-語言資料,印刷品)

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

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (書目-語言資料,印刷品)

Coordination, Organizations, Institutions, and Norms in Agent Systems III = COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / by: (書目-語言資料,印刷品)

Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in parallel virtual machine and message passing interface = 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings / by: (書目-語言資料,印刷品)

CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development VIII by: (書目-語言資料,印刷品)

Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (書目-語言資料,印刷品)

ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings / by: (書目-語言資料,印刷品)

Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / by: (書目-語言資料,印刷品)

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

Fundamental approaches to software engineering = 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (書目-語言資料,印刷品)

Digital VLSI Design with Verilog = A Textbook from Silicon Valley Technical Institute / by: (書目-語言資料,印刷品)

Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (書目-語言資料,印刷品)

Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: (書目-語言資料,印刷品)

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (書目-語言資料,印刷品)

Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-語言資料,印刷品)

Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings / by: (書目-語言資料,印刷品)

Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-語言資料,印刷品)

Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: (書目-語言資料,印刷品)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (書目-語言資料,印刷品)

Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (書目-語言資料,印刷品)

XNA 2.0 game programming recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers / by: (書目-語言資料,印刷品)

Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Guide to HTML, JavaScript and PHP = for scientists and engineers / by: (書目-語言資料,印刷品)

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

An Integrated Approach to Software Engineering by: (書目-語言資料,印刷品)

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

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

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

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

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by: (書目-語言資料,印刷品)

Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (書目-語言資料,印刷品)

High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings by: (書目-語言資料,印刷品)

SQL Server 2000 Fast Answers = for DBAs and Developers / by: (書目-語言資料,印刷品)

Programming languages and systems = 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers / by: (書目-語言資料,印刷品)

Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (書目-語言資料,印刷品)

Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings / by: (書目-語言資料,印刷品)

Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Transactions on pattern languages of programming I by: (書目-語言資料,印刷品)

Silverlight recipes = a problem solution approach / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (書目-語言資料,印刷品)

Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Pro ASP.NET extensibility by: (書目-語言資料,印刷品)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (書目-語言資料,印刷品)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (書目-語言資料,印刷品)

Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / by: (書目-語言資料,印刷品)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (書目-語言資料,印刷品)

Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings / by: (書目-語言資料,印刷品)

Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Pattern calculus = computing with functions and structures / by: (書目-語言資料,印刷品)

ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures / by: (書目-語言資料,印刷品)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (書目-語言資料,印刷品)

Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / by: (書目-語言資料,印刷品)

Software engineering, business continuity, and education = international conferences ASEA, DRBC and EL 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-語言資料,印刷品)

Computer science = the hardware, software and heart of it / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010, revised selected papers / by: (書目-語言資料,印刷品)

Applied ASP.NET 4 in context by: (書目-語言資料,印刷品)

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

Expert PL/SQL practices = for Oracle developers and DBAs / by: (書目-語言資料,印刷品)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (書目-語言資料,印刷品)

Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-語言資料,印刷品)

Transactions on high-performance embedded architectures and compilers IV by: (書目-語言資料,印刷品)

Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (書目-語言資料,印刷品)

Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (書目-語言資料,印刷品)

Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Implementation and application of functional languages = 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / by: (書目-語言資料,印刷品)

Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings / by: (書目-語言資料,印刷品)

Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

Software engineering techniques = Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing / by: (書目-語言資料,印刷品)

Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings / by: (書目-語言資料,印刷品)

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

Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings / by: (書目-語言資料,印刷品)

Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Foundations of security analysis and design VI = FOSAD tutorial lectures / by: (書目-語言資料,印刷品)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch / by: (書目-語言資料,印刷品)

The Fortran 2003 handbook = the complete syntax, features and procedures / by: (書目-語言資料,印刷品)

Building secure defenses against code-reuse attacks by: (書目-語言資料,印刷品)

Languages, applications and technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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

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

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

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

Web development with Go = building scalable web apps and RESTful services / by: (書目-語言資料,印刷品)

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

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

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

Learn Swift 2 on the Mac by: (書目-語言資料,印刷品)

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

Make an e-commerce site in a weekend = using PHP / by: (書目-語言資料,印刷品)

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

Selenium WebDriver recipes in C# by: (書目-語言資料,印刷品)

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

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

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

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

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

Android studio game development = concepts and design / by: (書目-語言資料,印刷品)

Android studio new media fundamentals = content production of digital audio/video, illustration and 3D animation / by: (書目-語言資料,印刷品)

Beginning R = an introduction to statistical programming / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (書目-語言資料,印刷品)

Formalizing data-centric web services by: (書目-語言資料,印刷品)

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

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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

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

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

JavaScript frameworks for modern web dev by: (書目-語言資料,印刷品)

Learn Pixi.js = create great interactive graphics for games and the Web / by: (書目-語言資料,印刷品)

Numerical Python = a practical techniques approach for industry / by: (書目-語言資料,印刷品)

OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (書目-語言資料,印刷品)

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

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

SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (書目-語言資料,印刷品)

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

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

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

Swift 2 for absolute beginners 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: (書目-語言資料,印刷品)

Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / by: (書目-語言資料,印刷品)

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

Mathematica = a problem-centered approach / by: (書目-語言資料,印刷品)

From linear operators to computational biology = essays in memory of Jacob T. Schwartz / by: (書目-語言資料,印刷品)

Ubiquitous information technologies and applications = CUTE 2012 / by: (書目-語言資料,印刷品)

Software and data technologies = 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

ICT in education, research, and industrial applications = 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software and data technologies = 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: (書目-語言資料,印刷品)

Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / by: (書目-語言資料,印刷品)

Software engineering = International Summer Schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures / by: (書目-語言資料,印刷品)

Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Construction and evolution of code generators = a model-driven and service-oriented approach / by: (書目-語言資料,印刷品)

Integrated circuit and system design = power and timing modeling, optimization and simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Assurances for self-adaptive systems = Principles, Models, and Techniques / by: (書目-語言資料,印刷品)

Introduction to image processing using R = learning by examples / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

System analysis and modeling = theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Compiler construction = 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computation structures = 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Aliasing in object-oriented programming = types, analysis, and verification / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development X by: (書目-語言資料,印刷品)

Model-based methodologies for pervasive and embedded software = 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Computation, logic, games, and quantum foundations = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Bayesian networks in R = with applications in systems biology / by: (書目-語言資料,印刷品)

Learn Lua for iOS game development by: (書目-語言資料,印刷品)

Compiler design = syntactic and semantic analysis / by: (書目-語言資料,印刷品)

NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings / by: (書目-語言資料,印刷品)

Web services and formal methods = 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2013 = 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings / by: (書目-語言資料,印刷品)

Transactions on pattern languages of programming III by: (書目-語言資料,印刷品)

Model checking software = 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings / by: (書目-語言資料,印刷品)

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

Software architecture = 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

ECOOP 2013 = object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

Application and theory of petri nets and concurrency = 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of model transformations = 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013 : proceedings / by: (書目-語言資料,印刷品)

SDL 2013 = model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings / by: (書目-語言資料,印刷品)

Modelling foundations and applications = 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

Guide to programming and algorithms using R by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Euro-Par 2013 parallel processing = 19th International Conference, Aachen, Germany, August 26-30, 2013 : proceedings / by: (書目-語言資料,印刷品)

Learn Cocoa on the Mac by: (書目-語言資料,印刷品)

Giants of Computing = A Compendium of Select, Pivotal Pioneers / by: (書目-語言資料,印刷品)

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

Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / by: (書目-語言資料,印刷品)

Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings / by: (書目-語言資料,印刷品)

The beauty of functional code = essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday / by: (書目-語言資料,印刷品)

Trends in functional programming = 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / by: (書目-語言資料,印刷品)

OpenMP in the era of low power devices and accelerators = 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013 : proceedings / by: (書目-語言資料,印刷品)

Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computational logic in multi-agent systems = 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013 : proceedings / by: (書目-語言資料,印刷品)

Principles and practice of constraint programming = 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings / by: (書目-語言資料,印刷品)

Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering languages and systems = 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013 : proceedings / by: (書目-語言資料,印刷品)

The China information technology handbook by: (書目-語言資料,印刷品)

Exploring C++ = the programmer's introduction to C++ / by: (書目-語言資料,印刷品)

Coding interviews = questions, analysis & solutions / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (書目-語言資料,印刷品)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-語言資料,印刷品)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-語言資料,印刷品)

Quality of software architectures = models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-語言資料,印刷品)

Software-intensive systems and new computing paradigms = challenges and visions / by: (書目-語言資料,印刷品)

The NCL natural constraint language by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development IX by: (書目-語言資料,印刷品)

Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (書目-語言資料,印刷品)

Computer applications for software engineering, disaster recovery, and business continuity = International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-語言資料,印刷品)

Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency VI by: (書目-語言資料,印刷品)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / by: (書目-語言資料,印刷品)

Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-語言資料,印刷品)

CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings / by: (書目-語言資料,印刷品)

Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-語言資料,印刷品)

Research in Attacks, Intrusions, and Defenses = 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Compiler design = analysis and transformation / by: (書目-語言資料,印刷品)

Computational logic in multi-agent systems = 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (書目-語言資料,印刷品)

Modern compiler design by: (書目-語言資料,印刷品)

New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (書目-語言資料,印刷品)

Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / by: (書目-語言資料,印刷品)

Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures / by: (書目-語言資料,印刷品)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Recent advances in algorithmic differentiation by: (書目-語言資料,印刷品)

TouchDevelop = programming on the go / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-語言資料,印刷品)

Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz / by: (書目-語言資料,印刷品)

Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (書目-語言資料,印刷品)

ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings / by: (書目-語言資料,印刷品)

Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (書目-語言資料,印刷品)

Modelling foundations and applications = 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

The logic of categorial grammars = a deductive account of natural language syntax and semantics / by: (書目-語言資料,印刷品)

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

Instruction sequences for computer science by: (書目-語言資料,印刷品)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (書目-語言資料,印刷品)

Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch / by: (書目-語言資料,印刷品)

Encyclopedia of parallel computing by: (書目-語言資料,印刷品)

Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday / by: (書目-語言資料,印刷品)

Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings / by: (書目-語言資料,印刷品)

Constraint solving and language processing = 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

In search of elegance in the theory and practice of computation = essays dedicated to Peter Buneman / by: (書目-語言資料,印刷品)

Testing software and systems = 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Logic programming with Prolog by: (書目-語言資料,印刷品)

Implementation and application of functional languages = 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Ada 2012 rationale = The Language, The Standard Libraries / by: (書目-語言資料,印刷品)

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

Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings / by: (書目-語言資料,印刷品)

Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings / by: (書目-語言資料,印刷品)

Objective-C programmer's reference by: (書目-語言資料,印刷品)

Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Ada 2012 reference manual = language and standard libraries : International Standard ISO/IEC 8652/2012 (E) / by: (書目-語言資料,印刷品)

The R software = fundamentals of programming and statistical analysis / by: (書目-語言資料,印刷品)

Foundational Java = key elements and practical programming / by: (書目-語言資料,印刷品)

Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-語言資料,印刷品)

Guide to scientific computing in C++ by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

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

Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012 : proceedings / by: (書目-語言資料,印刷品)

Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Requirements engineering: Foundation for software quality = 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computational structures = 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Handbook of service description = USDL and its methods / by: (書目-語言資料,印刷品)

Advances in software engineering techniques = 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-語言資料,印刷品)

Patterns, programming and everything by: (書目-語言資料,印刷品)

High performance embedded architectures and compilers = fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures / by: (書目-語言資料,印刷品)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-語言資料,印刷品)

Methods, models and tools for fault tolerance by: (書目-語言資料,印刷品)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-語言資料,印刷品)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-語言資料,印刷品)

Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports / by: (書目-語言資料,印刷品)

Transactions on high-performance embedded architectures and compilers.. II by: (書目-語言資料,印刷品)

Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (書目-語言資料,印刷品)

Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Quantifiers in action = generalized quantification in query, logical and natural languages / by: (書目-語言資料,印刷品)

Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz / by: (書目-語言資料,印刷品)

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

Models of computation = an introduction to computability theory / by: (書目-語言資料,印刷品)

OPC unified architecture by: (書目-語言資料,印刷品)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (書目-語言資料,印刷品)

High assurance services computing by: (書目-語言資料,印刷品)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-語言資料,印刷品)

Beginning XNA 3.0 game programming = from novice to professional / by: (書目-語言資料,印刷品)

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

XML and web technologies for data sciences with R by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / by: (書目-語言資料,印刷品)

Trends in functional programming = 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

JRuby Rails web application development by: (書目-語言資料,印刷品)

Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Guide to Java = a concise introduction to programming / by: (書目-語言資料,印刷品)

Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

OpenSHMEM and related technologies = experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (書目-語言資料,印刷品)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014 : proceedings / by: (書目-語言資料,印刷品)

Specification, algebra, and software = essays dedicated to Kokichi Futatsugi / by: (書目-語言資料,印刷品)

Constraints meet concurrency by: (書目-語言資料,印刷品)

Programming languages and operational semantics = a concise overview / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Compiler Construction = 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computation structures = 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Beginning Haskell = a project-based approach / by: (書目-語言資料,印刷品)

Introduction to nodern Fortran for the earth system sciences by: (書目-語言資料,印刷品)

Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (書目-語言資料,印刷品)

Programming Smalltalk - object-orientation from the beginning = an introduction to the principles of programming / by: (書目-語言資料,印刷品)

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

Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : 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: (書目-語言資料,印刷品)

Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Understanding network hacks = attack and defense with Python / by: (書目-語言資料,印刷品)

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

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

Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (書目-語言資料,印刷品)

Windows 10 development recipes = a problem-solution approach in HTML and JavaScript / by: (書目-語言資料,印刷品)

Learn PHP 7 = object-oriented modular programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL / by: (書目-語言資料,印刷品)

Program arcade games = with Python and Pygame / by: (書目-語言資料,印刷品)

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

Java design patterns = a tour of 23 gang of four design patterns in Java / by: (書目-語言資料,印刷品)

Oracle Certified Professional Java SE 8 programmer exam 1Z0-809 = comprehensive OCPJP 8 certification guide / by: (書目-語言資料,印刷品)

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

Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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

Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / 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: (書目-語言資料,印刷品)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (書目-語言資料,印刷品)

Numeric computation and statistical data analysis on the Java platform by: (書目-語言資料,印刷品)

Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 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: (書目-語言資料,印刷品)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Measurement, modelling and evaluation of dependable computer and communication systems = 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings / 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: (書目-語言資料,印刷品)

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

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

Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 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: (書目-語言資料,印刷品)

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

Dynamic SQL = applications, performance, and security / by: (書目-語言資料,印刷品)

Kubernetes microservices with Docker 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: (書目-語言資料,印刷品)

Software reuse = bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 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: (書目-語言資料,印刷品)

Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 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: (書目-語言資料,印刷品)

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

JSON quick syntax reference by: (書目-語言資料,印刷品)

Model-based systems engineering with OPM and SysML 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: (書目-語言資料,印刷品)

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

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / 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 : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 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: (書目-語言資料,印刷品)

Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

Modelling foundations and applications = 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

Creating Google Chrome extensions by: (書目-語言資料,印刷品)

C++ standard library quick reference by: (書目-語言資料,印刷品)

Learn electronics with Raspberry Pi = physical computing with circuits, sensors, outputs, and projects / by: (書目-語言資料,印刷品)

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

Building Arduino projects for the internet of things = experiments with real-world applications / by: (書目-語言資料,印刷品)

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

.NET development using the compiler API by: (書目-語言資料,印刷品)

Using Microsoft Dynamics AX = the new dynamics 'AX 7' / by: (書目-語言資料,印刷品)

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

An introduction to statistics with Python = with applications in the life sciences / by: (書目-語言資料,印刷品)

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

Penetration testing basics = a quick-start guide to breaking into systems / by: (書目-語言資料,印刷品)

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

Securing PHP apps by: (書目-語言資料,印刷品)

Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / 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: (書目-語言資料,印刷品)

PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings / 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: (書目-語言資料,印刷品)

Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / by: (書目-語言資料,印刷品)

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

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

Pro SQL Server on Microsoft Azure by: (書目-語言資料,印刷品)

Typed PHP = stronger types for cleaner code / by: (書目-語言資料,印刷品)

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

Material design implementation with AngularJS = UI component framework / by: (書目-語言資料,印刷品)

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

Understanding control flow = concurrent programming using [mu]C++ / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

OpenMP = memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / 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: (書目-語言資料,印刷品)

Scala = from a functional programming perspective : an introduction to the programming language / by: (書目-語言資料,印刷品)

Transactions on foundations for mastering change I by: (書目-語言資料,印刷品)

System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings / by: (書目-語言資料,印刷品)

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

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

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (書目-語言資料,印刷品)

Options and derivatives programming in C++ = algorithms and programming techniques for the financial industry / by: (書目-語言資料,印刷品)

Scratch by example = programming for all ages / by: (書目-語言資料,印刷品)

Automated trading with R = quantitative research and platform development / by: (書目-語言資料,印刷品)

Lumen programming guide = writing PHP microservices, REST and web service APIs / by: (書目-語言資料,印刷品)

PHP CLI = create command line interface scripts with PHP / 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: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (書目-語言資料,印刷品)

Go recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

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

Practical web design for absolute beginners by: (書目-語言資料,印刷品)

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

Advanced R = data programming and the cloud / by: (書目-語言資料,印刷品)

Creating maintainable APIs = a practical case-study approach / by: (書目-語言資料,印刷品)

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

Beginning SQL Server R Services = analytics for data scientists / by: (書目-語言資料,印刷品)

Software reading techniques = twenty techniques for more effective software review and inspection / by: (書目-語言資料,印刷品)

C++/CLI primer = for .NET development / by: (書目-語言資料,印刷品)

Lean Python = learn just enough Python to build useful tools / by: (書目-語言資料,印刷品)

Text analytics with Python = a practical real-world approach to gaining actionable insights from your data / by: (書目-語言資料,印刷品)

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

Deductive software verification - The KeY Book = from theory to practice / 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: (書目-語言資料,印刷品)

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

Microservices from day one = build robust and scalable software from the start / by: (書目-語言資料,印刷品)

PHP objects, patterns, and practice by: (書目-語言資料,印刷品)

Android recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

Modern programming made easy = using Java, Scala, Groovy, and JavaScript / by: (書目-語言資料,印刷品)

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

Interactive object oriented programming in Java = learn and test your skills / by: (書目-語言資料,印刷品)

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

PHP persistence = concepts, techniques and practical solutions with Doctrine / by: (書目-語言資料,印刷品)

Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse / by: (書目-語言資料,印刷品)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (書目-語言資料,印刷品)

Java 9 Revealed = for early adoption and migration / by: (書目-語言資料,印刷品)

Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code / by: (書目-語言資料,印刷品)

Deep learning with Python = a hands-on introduction / by: (書目-語言資料,印刷品)

Reactive programming with Angular and Ngrx = learn to harness the power of reactive programming with RxJS and Ngrx extensions / by: (書目-語言資料,印刷品)

Network programming with Go = essential skills for using and securing networks / by: (書目-語言資料,印刷品)

Build mobile apps with Ionic 2 and Firebase = hybrid mobile app development / by: (書目-語言資料,印刷品)

Game development with Construct 2 = from design to realization / by: (書目-語言資料,印刷品)

Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts / by: (書目-語言資料,印刷品)

Java 9 recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (書目-語言資料,印刷品)

MATLAB deep learning : = with machine learning, neural networks and artificial intelligence / by: (書目-語言資料,印刷品)

Computer graphics for Java programmers by: (書目-語言資料,印刷品)

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

Programming with Scala = language exploration / by: (書目-語言資料,印刷品)

High performance computing = ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Economics of grids, clouds, systems, and services = 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017 : proceedings / by: (書目-語言資料,印刷品)

Service-oriented computing - ICSOC 2016 workshops = ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modeling = 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017 : proceedings / by: (書目-語言資料,印刷品)

Beginning Django = web application development and deployment with Python / by: (書目-語言資料,印刷品)

Python machine learning case studies = five case studies for the data scientist / by: (書目-語言資料,印刷品)

Software testing automation tips = 50 things automation engineers should know / by: (書目-語言資料,印刷品)

Hybrid artificial intelligent systems = 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017 : proceedings / by: (書目-語言資料,印刷品)

Grand timely topics in software engineering = International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures / by: (書目-語言資料,印刷品)

Rules and reasoning = International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings / by: (書目-語言資料,印刷品)

Graph transformation = 10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of model transformation = 10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / by: (書目-語言資料,印刷品)

Advances in data mining = applications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

JavaScript essentials for SAP ABAP developers = a guide to mobile and desktop application development / by: (書目-語言資料,印刷品)

Low-level programming = C, Assembly, and program execution on Intel 64 architecture / by: (書目-語言資料,印刷品)

Building apps for the universal Windows platform = explore Windows 10 Native, IoT, HoloLens, and Xamarin / by: (書目-語言資料,印刷品)

iOS code testing = test-driven development and behavior-driven development with Swift / by: (書目-語言資料,印刷品)

Interpreting LISP = programming and data structures / by: (書目-語言資料,印刷品)

The Blender Python API = precision 3D modeling and add-on development / by: (書目-語言資料,印刷品)

Object-oriented design with ABAP = a practical approach / by: (書目-語言資料,印刷品)

MATLAB deep learning = with machine learning, neural networks and artificial intelligence / by: (書目-語言資料,印刷品)

The C# programmer's study guide (MCSD) = exam: 70-483 / by: (書目-語言資料,印刷品)

Metaprogramming in R = advanced statistical programming for data science, analysis and finance / by: (書目-語言資料,印刷品)

Advanced object-oriented programming in R = statistical programming for data science, analysis and finance / by: (書目-語言資料,印刷品)

Present and ulterior software engineering by: (書目-語言資料,印刷品)

Machine learning with R by: (書目-語言資料,印刷品)

AI*IA 2017 = advances in artificial intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Functional data structures in R = advanced statistical programming in R / by: (書目-語言資料,印刷品)

Software development, design and coding = with patterns, debugging, unit testing, and refactoring / by: (書目-語言資料,印刷品)

Beginning Julia programming = for engineers and scientists / by: (書目-語言資料,印刷品)

Introduction to MATLAB for engineers and scientists = solutions for numerical computation and modeling / by: (書目-語言資料,印刷品)

Introduction to Scilab = for engineers and scientists / by: (書目-語言資料,印刷品)

PHP 7 Zend certification study guide = Ace the ZCE 2017-PHP exam / by: (書目-語言資料,印刷品)

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

Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Pro SAP scripts, smartforms, and data migration = ABAP programming simplified / by: (書目-語言資料,印刷品)

Full stack AngularJS for Java developers = build a full-featured web application from scratch using AngularJS with Spring RESTful / by: (書目-語言資料,印刷品)

Parsing with Perl 6 Regexes and Grammars = a recursive descent into Parsing / by: (書目-語言資料,印刷品)

Real-time web application development = with ASP.NET Core, SignalR, Docker, and Azure / by: (書目-語言資料,印刷品)

C# programming for absolute beginners by: (書目-語言資料,印刷品)

String analysis for software verification and security by: (書目-語言資料,印刷品)

Guide to scientific computing in C++ by: (書目-語言資料,印刷品)

Low level X Window programming = an introduction by examples / by: (書目-語言資料,印刷品)

Introduction to deep learning using R = a step-by-step guide to learning and implementing deep learning models using R / by: (書目-語言資料,印刷品)

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Building web applications with Visual Studio 2017 = using .NET Core and modern JavaScript frameworks / by: (書目-語言資料,印刷品)

ES6 for humans = the Latest Standard of JavaScript: ES2015 and Beyond / by: (書目-語言資料,印刷品)

Learn Unity for Android game development = a guide to game design, development, and marketing / by: (書目-語言資料,印刷品)

Perl 6 Fundamentals = a primer with examples, projects, and case studies / by: (書目-語言資料,印刷品)

C Recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

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

Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / by: (書目-語言資料,印刷品)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Coordination, organizations, institutions, and norms in agent systems XII = COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings / by: (書目-語言資料,印刷品)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Quick Clojure = effective functional programming / by: (書目-語言資料,印刷品)

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

Software engineering = specification, implementation, verification / by: (書目-語言資料,印刷品)

Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering = 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (書目-語言資料,印刷品)

SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

JavaFX 9 by example by: (書目-語言資料,印刷品)

Learn iOS application distribution = successfully distribute apps / by: (書目-語言資料,印刷品)

Java 9 modularity revealed = project Jigsaw and scalable Java applications / by: (書目-語言資料,印刷品)

Practical concurrent Haskell = with big data applications / by: (書目-語言資料,印刷品)

Clean C++ = sustainable software development patterns and best practices with C++ 17 / by: (書目-語言資料,印刷品)

Beginning Spring Boot 2 = applications and microservices with the Spring Framework / by: (書目-語言資料,印刷品)

Pro functional PHP programming = application development strategies for performance optimization, concurrency, testability, and code brevity / by: (書目-語言資料,印刷品)

Practical C++ design = from programming to architecture / by: (書目-語言資料,印刷品)

A beginner's guide to Scala, object orientation and functional programming by: (書目-語言資料,印刷品)

NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 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: (書目-語言資料,印刷品)

Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Good habits for great coding = improving programming skills with examples in Python / by: (書目-語言資料,印刷品)

C++17 quick syntax reference = apocket guide to the language, apis and library / by: (書目-語言資料,印刷品)

Beginning PostgreSQL on the cloud = simplifying database as a service on cloud platforms / by: (書目-語言資料,印刷品)

Beginning C++17 = from novice to professional / by: (書目-語言資料,印刷品)

Beginning Rust = from novice to professional / 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: (書目-語言資料,印刷品)

Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

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

Handbook of floating-point arithmetic by: (書目-語言資料,印刷品)

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

Design patterns in modern C++ = reusable approaches for object-oriented software design / by: (書目-語言資料,印刷品)

Deep Belief Nets in C++ and CUDA C.. Volume 1,. Restricted Boltzmann machines and supervised feedforward networks by: (書目-語言資料,印刷品)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / 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: (書目-語言資料,印刷品)

DevOps for Azure applications = deploy web applications on Azure / by: (書目-語言資料,印刷品)

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

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

Deep belief nets in C++ and CUDA C.. Volume 2,. Autoencoding in the complex domain by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Service-oriented computing - ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

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

Logic, language, information, and computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Design patterns in C# = a hands-on guide with real-world examples / by: (書目-語言資料,印刷品)

Domain-specific languages in R = advanced statistical programming / by: (書目-語言資料,印刷品)

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

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

Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday / 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: (書目-語言資料,印刷品)

Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings / 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: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

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

Personal finance with Python = using pandas, requests, and recurrent / by: (書目-語言資料,印刷品)

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

Systems programming in Unix/Linux 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: (書目-語言資料,印刷品)

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

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

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

Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (書目-語言資料,印刷品)

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

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (書目-語言資料,印刷品)

Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 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: (書目-語言資料,印刷品)

Programming with actors = state-of-the-art and research perspectives / by: (書目-語言資料,印刷品)

Testing software and systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings / by: (書目-語言資料,印刷品)

Regex quick syntax reference = understanding and using regular expressions / by: (書目-語言資料,印刷品)

Practical video game bots = automating game processes using C++, Python, and AutoIt / by: (書目-語言資料,印刷品)

Web applications with Elm = functional programming for the web / by: (書目-語言資料,印刷品)

C# 7 quick syntax reference = a pocket guide to the language, APIs and library / by: (書目-語言資料,印刷品)

Learn to program with Python 3 = a step-by-step guide to programming / by: (書目-語言資料,印刷品)

Pro Android with Kotlin = developing modern mobile apps / by: (書目-語言資料,印刷品)

Visual design of GraphQL data = a practical introduction with legacy data and Neo4j / by: (書目-語言資料,印刷品)

Topics in parallel and distributed computing = enhancing the undergraduate curriculum: performance, concurrency, and programming on modern platforms / 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: (書目-語言資料,印刷品)

Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (書目-語言資料,印刷品)

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

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

Complete guide to test automation = techniques, practices, and patterns for building and maintaining effective software projects / by: (書目-語言資料,印刷品)

Practical PHP 7, MySQL 8, and MariaDB website databases = a simplified approach to developing database-driven websites / by: (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 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: (書目-語言資料,印刷品)

Python descriptors = understanding and using the descriptor protocol / by: (書目-語言資料,印刷品)

Practical TLA+ = planning driven development / by: (書目-語言資料,印刷品)

Build mobile apps with Ionic 4 and Firebase = hybrid mobile app development / by: (書目-語言資料,印刷品)

Practical Java machine learning = projects with Google Cloud platform and Amazon web services / by: (書目-語言資料,印刷品)

Ethereum for architects and developers = with case studies and code samples in Solidity / by: (書目-語言資料,印刷品)

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

Testing and tuning market trading systems = algorithms in C++ / by: (書目-語言資料,印刷品)

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

Computing with data = an introduction to the data industry / by: (書目-語言資料,印刷品)

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

Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (書目-語言資料,印刷品)

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

Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Learn Android Studio 3 with Kotlin = efficient Android app development / by: (書目-語言資料,印刷品)

Pro .NET memory management = for better code, performance, and scalability / by: (書目-語言資料,印刷品)

API development = a practical guide for business implementation success / by: (書目-語言資料,印刷品)

Eclipse TEA revealed = building plug-ins and creating extensions for Eclipse / by: (書目-語言資料,印刷品)

Principles of package design = creating reusable software components / by: (書目-語言資料,印刷品)

Developing turn-based multiplayer games = with GameMaker Studio 2 and NodeJS / by: (書目-語言資料,印刷品)

Spring Boot 2 recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

Stylish F# = crafting elegant functional code for .NET and .NET core / by: (書目-語言資料,印刷品)

Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

High performance computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Java for absolute beginners = learn to program the fundamentals the Java 9+ way / by: (書目-語言資料,印刷品)

Modern X86 assembly language programming = covers x86 64-bit, AVX, AVX2, and AVX-512 / by: (書目-語言資料,印刷品)

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

Practical quantum computing for developers = programming quantum rigs in the cloud using Python, Quantum Assembly Language and IBM QExperience / by: (書目-語言資料,印刷品)

Formal languages and compilation 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: (書目-語言資料,印刷品)

Trends in functional programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Foundations and practice of security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Learn RStudio IDE = quick, effective, and productive data science / by: (書目-語言資料,印刷品)

R quick syntax reference = a pocket guide to the language, APIs and library / by: (書目-語言資料,印刷品)

Practical Haskell = a real world guide to programming / by: (書目-語言資料,印刷品)

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (書目-語言資料,印刷品)

NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence in medicine = 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017 : proceedings / by: (書目-語言資料,印刷品)

Coordination models and languages = 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2017 = parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Future data and security engineering = 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

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

Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings / 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: (書目-語言資料,印刷品)

Pro MERN stack = full stack web app development with Mongo, Express, React, and Node / by: (書目-語言資料,印刷品)

CSS3 quick syntax reference = a pocket guide to the cascading style sheets language / by: (書目-語言資料,印刷品)

asyncio recipes = a problem-solution approach / by: (書目-語言資料,印刷品)

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

Rethinking productivity in software engineering by: (書目-語言資料,印刷品)

Learn Kotlin for Android development = the next generation language for modern android apps programming / by: (書目-語言資料,印刷品)

Exploring advanced features in C# = enhance your code and productivity / by: (書目-語言資料,印刷品)

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

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / 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: (書目-語言資料,印刷品)

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

Graph transformation = 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019 : proceedings / by: (書目-語言資料,印刷品)

R3 Corda for architects and developers = with case studies in finance, insurance, healthcare, travel, telecom, and agriculture / by: (書目-語言資料,印刷品)

Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud / by: (書目-語言資料,印刷品)

Swift 5 for absolute beginners = learn to develop apps for iOS / by: (書目-語言資料,印刷品)

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

Haskell quick syntax reference = a pocket guide to the language, APIs, and library / by: (書目-語言資料,印刷品)

Foundations of Libvirt development = how to set up and maintain a virtual machine environment with Python / by: (書目-語言資料,印刷品)

Rapid Java persistence and microservices = persistence made easy using Java EE8, JPA and Spring / by: (書目-語言資料,印刷品)

Scala programming for big data analytics = get started with big data analytics using Apache Spark / 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: (書目-語言資料,印刷品)

The Python workbook = a brief introduction with exercises and solutions / by: (書目-語言資料,印刷品)

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

Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

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

PHP 7 solutions = dynamic web design made easy / by: (書目-語言資料,印刷品)

Pro TBB = C++ parallel programming with threading building blocks / 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: (書目-語言資料,印刷品)

Introducing Delphi ORM = object relational mapping using TMS Aurelius / by: (書目-語言資料,印刷品)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: (書目-語言資料,印刷品)

Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by: (書目-語言資料,印刷品)

Pro SQL Server Disaster Recovery by: (書目-語言資料,印刷品)

Concurrency, security, and puzzles = essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Pro Hadoop data analytics = designing and building big data systems using the Hadoop ecosystem / by: (書目-語言資料,印刷品)

Agile Swift = Swift programming using Agile tools and techniques / by: (書目-語言資料,印刷品)

MATLAB machine learning by: (書目-語言資料,印刷品)

Deploying Raspberry Pi in the classroom by: (書目-語言資料,印刷品)

Machine learning using R by: (書目-語言資料,印刷品)

Raspberry Pi GPU audio video programming by: (書目-語言資料,印刷品)

Business analytics using R - a practical approach by: (書目-語言資料,印刷品)

PHP arrays = single, multi-dimensional, associative and object arrays in PHP 7 / by: (書目-語言資料,印刷品)

Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers / by: (書目-語言資料,印刷品)

Advanced finite element simulation with MSC Marc = application of user subroutines / by: (書目-語言資料,印刷品)

Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

C# and XML primer by: (書目-語言資料,印刷品)

Agents and Artificial Intelligence = 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016 : rvised selected papers / by: (書目-語言資料,印刷品)

Small dynamic complexity classes = an investigation into dynamic descriptive complexity / by: (書目-語言資料,印刷品)

Separation logic for high-level synthesis by: (書目-語言資料,印刷品)

Python unit test automation = practical techniques for Python developers and testers / by: (書目-語言資料,印刷品)

Python Data Analytics = Data Analysis and Science using pandas, matplotlib and the Python Programming Language / by: (書目-語言資料,印刷品)

Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / by: (書目-語言資料,印刷品)

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

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

Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by: (書目-語言資料,印刷品)

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

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

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

Programming with TensorFlow = Solution for Edge Computing Applications / 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: (書目-語言資料,印刷品)