Programming Languages, Compilers, Interpreters.
Overview
Works: | 1768 works in 773 publications in 773 languages |
---|
Titles
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Adaptive Agents and Multi-Agent Systems II = Adaptation and Multi-Agent Learning /
by:
(Language materials, printed)
High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings /
by:
(Language materials, printed)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
by:
(Language materials, printed)
Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Language materials, printed)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(Language materials, printed)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(Language materials, printed)
Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
by:
(Language materials, printed)
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:
(Language materials, printed)
An introduction to PHP for scientists and engineers = Beyond JavaScript /
by:
(Language materials, printed)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
(Language materials, printed)
Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /
by:
(Language materials, printed)
Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
by:
(Language materials, printed)
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(Language materials, printed)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
by:
(Language materials, printed)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(Language materials, printed)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
(Language materials, printed)
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:
(Language materials, printed)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(Language materials, printed)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(Language materials, printed)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
by:
(Language materials, printed)
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:
(Language materials, printed)
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(Language materials, printed)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(Language materials, printed)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(Language materials, printed)
Modelling foundations and applications = 11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Language materials, printed)
Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(Language materials, printed)
Euro-Par 2015 = parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Xamarin mobile application development = cross-platform C# and Xamarin.Forms fundamentals /
by:
(Language materials, printed)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Language materials, printed)
Prozessubergreifendes Projektmanagement = Grundlagen erfolgreicher Projekte /
by:
(Language materials, printed)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(Language materials, printed)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(Language materials, printed)
Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(Language materials, printed)
Advanced parallel processing technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings /
by:
(Language materials, printed)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
(Language materials, printed)
Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by:
(Electronic resources)
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:
(Language materials, printed)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Python data analytics = data analysis and science using Pandas, matplotlib, and the Python programming language /
by:
(Language materials, printed)
Worst-case execution time aware compilation techniques for real-time systems
by:
(Language materials, printed)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
by:
(Language materials, printed)
Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
by:
(Language materials, printed)
Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by:
(Language materials, printed)
Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
by:
(Language materials, printed)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(Language materials, printed)
Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
(Language materials, printed)
Introduction to Assembly Language Programming = For Pentium and RISC Processors /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(Language materials, printed)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(Language materials, printed)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(Language materials, printed)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(Language materials, printed)
Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions /
by:
(Language materials, printed)
Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /
by:
(Language materials, printed)
Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(Language materials, printed)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(Language materials, printed)
Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(Language materials, printed)
Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(Language materials, printed)
Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
by:
(Language materials, printed)
Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers /
by:
(Language materials, printed)
Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers /
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers III
by:
(Language materials, printed)
Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers /
by:
(Language materials, printed)
Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
by:
(Language materials, printed)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(Language materials, printed)
Hardware and software: verification and testing = 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
(Language materials, printed)
Requirements engineering: foundation for software quality = 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011, proceedings /
by:
(Language materials, printed)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Language materials, printed)
25 Years of Model Checking = History, Achievements, Perspectives /
by:
(Language materials, printed)
A Software Process Model Handbook for Incorporating People's Capabilities
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(Language materials, printed)
UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(Language materials, printed)
Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
by:
(Language materials, printed)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(Language materials, printed)
Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
by:
(Language materials, printed)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Language materials, printed)
Distributed Embedded Control Systems = Improving Dependability with Coherent Design /
by:
(Language materials, printed)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
by:
(Language materials, printed)
Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(Language materials, printed)
Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
(Language materials, printed)
ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(Language materials, printed)
Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Digital VLSI Design with Verilog = A Textbook from Silicon Valley Technical Institute /
by:
(Language materials, printed)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(Language materials, printed)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(Language materials, printed)
System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(Language materials, printed)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(Language materials, printed)
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Language materials, printed)
Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings /
by:
(Language materials, printed)
Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Language materials, printed)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
(Language materials, printed)
Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(Language materials, printed)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(Language materials, printed)
Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers /
by:
(Language materials, printed)
Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /
by:
(Language materials, printed)
Guide to HTML, JavaScript and PHP = for scientists and engineers /
by:
(Language materials, printed)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(Language materials, printed)
Embedded Systems Design = The ARTIST Roadmap for Research and Development /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(Language materials, printed)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(Language materials, printed)
High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
by:
(Language materials, printed)
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:
(Language materials, printed)
Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers /
by:
(Language materials, printed)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(Language materials, printed)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(Language materials, printed)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Language materials, printed)
Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(Language materials, printed)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Language materials, printed)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(Language materials, printed)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings /
by:
(Language materials, printed)
Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(Language materials, printed)
ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings /
by:
(Language materials, printed)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(Language materials, printed)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures /
by:
(Language materials, printed)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Language materials, printed)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010, revised selected papers /
by:
(Language materials, printed)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(Language materials, printed)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(Language materials, printed)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(Language materials, printed)
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers IV
by:
(Language materials, printed)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(Language materials, printed)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(Language materials, printed)
Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(Language materials, printed)
Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(Language materials, printed)
Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings /
by:
(Language materials, printed)
Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
by:
(Language materials, printed)
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(Language materials, printed)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(Language materials, printed)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing /
by:
(Language materials, printed)
Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings /
by:
(Language materials, printed)
Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
(Language materials, printed)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Language materials, printed)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Foundations of security analysis and design VI = FOSAD tutorial lectures /
by:
(Language materials, printed)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings /
by:
(Language materials, printed)
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
(Language materials, printed)
Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch /
by:
(Language materials, printed)
The Fortran 2003 handbook = the complete syntax, features and procedures /
by:
(Language materials, printed)
Languages, applications and technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Language materials, printed)
Information security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Web development with Go = building scalable web apps and RESTful services /
by:
(Language materials, printed)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Android studio new media fundamentals = content production of digital audio/video, illustration and 3D animation /
by:
(Language materials, printed)
Computer safety, reliability, and security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(Language materials, printed)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Language materials, printed)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(Language materials, printed)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Language materials, printed)
Learn Pixi.js = create great interactive graphics for games and the Web /
by:
(Language materials, printed)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Language materials, printed)
Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(Language materials, printed)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Language materials, printed)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Language materials, printed)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(Language materials, printed)
From linear operators to computational biology = essays in memory of Jacob T. Schwartz /
by:
(Language materials, printed)
Ubiquitous information technologies and applications = CUTE 2012 /
by:
(Language materials, printed)
Software and data technologies = 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010 : revised selected papers /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011 : revised selected papers /
by:
(Language materials, printed)
ICT in education, research, and industrial applications = 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
by:
(Language materials, printed)
Software and data technologies = 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011 : revised selected papers /
by:
(Language materials, printed)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(Language materials, printed)
Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers /
by:
(Language materials, printed)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers /
by:
(Language materials, printed)
Software engineering = International Summer Schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures /
by:
(Language materials, printed)
Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Construction and evolution of code generators = a model-driven and service-oriented approach /
by:
(Language materials, printed)
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:
(Language materials, printed)
Assurances for self-adaptive systems = Principles, Models, and Techniques /
by:
(Language materials, printed)
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:
(Language materials, printed)
System analysis and modeling = theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Aliasing in object-oriented programming = types, analysis, and verification /
by:
(Language materials, printed)
Model-based methodologies for pervasive and embedded software = 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Web services and formal methods = 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2013 = 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings /
by:
(Language materials, printed)
Model checking software = 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings /
by:
(Language materials, printed)
Software architecture = 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
ECOOP 2013 = object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Application and theory of petri nets and concurrency = 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings /
by:
(Language materials, printed)
Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings /
by:
(Language materials, printed)
Theory and practice of model transformations = 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013 : proceedings /
by:
(Language materials, printed)
SDL 2013 = model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings /
by:
(Language materials, printed)
Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings /
by:
(Language materials, printed)
Modelling foundations and applications = 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers /
by:
(Language materials, printed)
Euro-Par 2013 parallel processing = 19th International Conference, Aachen, Germany, August 26-30, 2013 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /
by:
(Language materials, printed)
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers /
by:
(Language materials, printed)
Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings /
by:
(Language materials, printed)
The beauty of functional code = essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday /
by:
(Language materials, printed)
Trends in functional programming = 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
(Language materials, printed)
Computational logic in multi-agent systems = 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013 : proceedings /
by:
(Language materials, printed)
Principles and practice of constraint programming = 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013 : proceedings /
by:
(Language materials, printed)
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
(Language materials, printed)
Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings /
by:
(Language materials, printed)
Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings /
by:
(Language materials, printed)
Model-driven engineering languages and systems = 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(Language materials, printed)
Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Language materials, printed)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
(Language materials, printed)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Language materials, printed)
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:
(Language materials, printed)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
(Language materials, printed)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
by:
(Language materials, printed)
Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings /
by:
(Language materials, printed)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(Language materials, printed)
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
(Language materials, printed)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Language materials, printed)
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Language materials, printed)
Research in Attacks, Intrusions, and Defenses = 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(Language materials, printed)
Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Computational logic in multi-agent systems = 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(Language materials, printed)
Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings /
by:
(Language materials, printed)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Language materials, printed)
New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
(Language materials, printed)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(Language materials, printed)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(Language materials, printed)
Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(Language materials, printed)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(Language materials, printed)
Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
(Language materials, printed)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(Language materials, printed)
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Language materials, printed)
Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(Language materials, printed)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(Language materials, printed)
Modelling foundations and applications = 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings /
by:
(Language materials, printed)
The logic of categorial grammars = a deductive account of natural language syntax and semantics /
by:
(Language materials, printed)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Language materials, printed)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Language materials, printed)
Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
by:
(Language materials, printed)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(Language materials, printed)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch /
by:
(Language materials, printed)
Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday /
by:
(Language materials, printed)
Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings /
by:
(Language materials, printed)
Constraint solving and language processing = 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012 : revised selected papers /
by:
(Language materials, printed)
In search of elegance in the theory and practice of computation = essays dedicated to Peter Buneman /
by:
(Language materials, printed)
Testing software and systems = 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings /
by:
(Language materials, printed)
Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings /
by:
(Language materials, printed)
Advanced parallel processing technologies = 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013 : revised selected papers /
by:
(Language materials, printed)
Implementation and application of functional languages = 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings /
by:
(Language materials, printed)
Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012 : revised selected papers /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013 : revised selected papers /
by:
(Language materials, printed)
Ada 2012 reference manual = language and standard libraries : International Standard ISO/IEC 8652/2012 (E) /
by:
(Language materials, printed)
The R software = fundamentals of programming and statistical analysis /
by:
(Language materials, printed)
Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Language materials, printed)
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
(Language materials, printed)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(Language materials, printed)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(Language materials, printed)
Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(Language materials, printed)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Language materials, printed)
Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Requirements engineering: Foundation for software quality = 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Language materials, printed)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Language materials, printed)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
by:
(Language materials, printed)
High performance embedded architectures and compilers = fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
by:
(Language materials, printed)
Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers /
by:
(Language materials, printed)
Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
by:
(Language materials, printed)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Language materials, printed)
Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers /
by:
(Language materials, printed)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers.. II
by:
(Language materials, printed)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers /
by:
(Language materials, printed)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(Language materials, printed)
Quantifiers in action = generalized quantification in query, logical and natural languages /
by:
(Language materials, printed)
Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz /
by:
(Language materials, printed)
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:
(Language materials, printed)
Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
by:
(Language materials, printed)
Beginning XNA 3.0 game programming = from novice to professional /
by:
(Language materials, printed)
Practical aspects of declarative languages = 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings /
by:
(Language materials, printed)
Trends in functional programming = 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers /
by:
(Language materials, printed)
Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Language materials, printed)
OpenSHMEM and related technologies = experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings /
by:
(Language materials, printed)
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014 : proceedings /
by:
(Language materials, printed)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
(Language materials, printed)
Programming languages and operational semantics = a concise overview /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Programming Smalltalk - object-orientation from the beginning = an introduction to the principles of programming /
by:
(Language materials, printed)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Language materials, printed)
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Language materials, printed)
Windows 10 development recipes = a problem-solution approach in HTML and JavaScript /
by:
(Language materials, printed)
Learn PHP 7 = object-oriented modular programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL /
by:
(Language materials, printed)
Java design patterns = a tour of 23 gang of four design patterns in Java /
by:
(Language materials, printed)
Oracle Certified Professional Java SE 8 programmer exam 1Z0-809 = comprehensive OCPJP 8 certification guide /
by:
(Language materials, printed)
Practical aspects of declarative languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Language materials, printed)
Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(Language materials, printed)
Numeric computation and statistical data analysis on the Java platform
by:
(Language materials, printed)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(Language materials, printed)
Verified software = theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /
by:
(Language materials, printed)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Language materials, printed)
Software reuse = bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
(Language materials, printed)
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(Language materials, printed)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Language materials, printed)
Advances in data mining = applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Language materials, printed)
Modelling foundations and applications = 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings /
by:
(Language materials, printed)
Learn electronics with Raspberry Pi = physical computing with circuits, sensors, outputs, and projects /
by:
(Language materials, printed)
Building Arduino projects for the internet of things = experiments with real-world applications /
by:
(Language materials, printed)
Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(Language materials, printed)
An introduction to statistics with Python = with applications in the life sciences /
by:
(Language materials, printed)
Penetration testing basics = a quick-start guide to breaking into systems /
by:
(Language materials, printed)
Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(Language materials, printed)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Language materials, printed)
Moving to responsive web design = bring existing static sites into today's multi-device world with responsive web design /
by:
(Language materials, printed)
Material design implementation with AngularJS = UI component framework /
by:
(Language materials, printed)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(Language materials, printed)
Understanding control flow = concurrent programming using [mu]C++ /
by:
(Language materials, printed)
Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
(Language materials, printed)
OpenMP = memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Scala = from a functional programming perspective : an introduction to the programming language /
by:
(Language materials, printed)
System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(Language materials, printed)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Language materials, printed)
Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings /
by:
(Language materials, printed)
Options and derivatives programming in C++ = algorithms and programming techniques for the financial industry /
by:
(Language materials, printed)
Automated trading with R = quantitative research and platform development /
by:
(Language materials, printed)
Lumen programming guide = writing PHP microservices, REST and web service APIs /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Language materials, printed)
MVVM in Delphi = architecting and building Model View ViewModel Applications /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(Language materials, printed)
Software architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings /
by:
(Language materials, printed)
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(Language materials, printed)
Software reading techniques = twenty techniques for more effective software review and inspection /
by:
(Language materials, printed)
Text analytics with Python = a practical real-world approach to gaining actionable insights from your data /
by:
(Language materials, printed)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Language materials, printed)
OpenSHMEM and related technologies = enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers /
by:
(Language materials, printed)
Source Code Analytics With Roslyn and JavaScript Data Visualization
by:
(Language materials, printed)
Microservices from day one = build robust and scalable software from the start /
by:
(Language materials, printed)
Applied OpenStack design patterns = design solutions for production-ready infrastructure with OpenStack components /
by:
(Language materials, printed)
Modern programming made easy = using Java, Scala, Groovy, and JavaScript /
by:
(Language materials, printed)
Interactive object oriented programming in Java = learn and test your skills /
by:
(Language materials, printed)
Beginning KeystoneJS = a practical introduction to KeystoneJS using a real-world project /
by:
(Language materials, printed)
PHP persistence = concepts, techniques and practical solutions with Doctrine /
by:
(Language materials, printed)
Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse /
by:
(Language materials, printed)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(Language materials, printed)
Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code /
by:
(Language materials, printed)
Reactive programming with Angular and Ngrx = learn to harness the power of reactive programming with RxJS and Ngrx extensions /
by:
(Language materials, printed)
Network programming with Go = essential skills for using and securing networks /
by:
(Language materials, printed)
Build mobile apps with Ionic 2 and Firebase = hybrid mobile app development /
by:
(Language materials, printed)
Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings /
by:
(Language materials, printed)
MATLAB deep learning : = with machine learning, neural networks and artificial intelligence /
by:
(Language materials, printed)
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:
(Language materials, printed)
Economics of grids, clouds, systems, and services = 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017 : proceedings /
by:
(Language materials, printed)
Service-oriented computing - ICSOC 2016 workshops = ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016 : revised selected papers /
by:
(Language materials, printed)
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
(Language materials, printed)
Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(Language materials, printed)
Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
(Language materials, printed)
PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings /
by:
(Language materials, printed)
Conceptual modeling = 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017 : proceedings /
by:
(Language materials, printed)
Beginning Django = web application development and deployment with Python /
by:
(Language materials, printed)
Python machine learning case studies = five case studies for the data scientist /
by:
(Language materials, printed)
Software testing automation tips = 50 things automation engineers should know /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017 : proceedings /
by:
(Language materials, printed)
Grand timely topics in software engineering = International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures /
by:
(Language materials, printed)
Rules and reasoning = International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings /
by:
(Language materials, printed)
Graph transformation = 10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(Language materials, printed)
Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings /
by:
(Language materials, printed)
Advances in data mining = applications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017 : proceedings /
by:
(Language materials, printed)
JavaScript essentials for SAP ABAP developers = a guide to mobile and desktop application development /
by:
(Language materials, printed)
Low-level programming = C, Assembly, and program execution on Intel 64 architecture /
by:
(Language materials, printed)
Building apps for the universal Windows platform = explore Windows 10 Native, IoT, HoloLens, and Xamarin /
by:
(Language materials, printed)
iOS code testing = test-driven development and behavior-driven development with Swift /
by:
(Language materials, printed)
The Blender Python API = precision 3D modeling and add-on development /
by:
(Language materials, printed)
MATLAB deep learning = with machine learning, neural networks and artificial intelligence /
by:
(Language materials, printed)
Metaprogramming in R = advanced statistical programming for data science, analysis and finance /
by:
(Language materials, printed)
Advanced object-oriented programming in R = statistical programming for data science, analysis and finance /
by:
(Language materials, printed)
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:
(Language materials, printed)
Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Functional data structures in R = advanced statistical programming in R /
by:
(Language materials, printed)
Software development, design and coding = with patterns, debugging, unit testing, and refactoring /
by:
(Language materials, printed)
Introduction to MATLAB for engineers and scientists = solutions for numerical computation and modeling /
by:
(Language materials, printed)
PHP 7 Zend certification study guide = Ace the ZCE 2017-PHP exam /
by:
(Language materials, printed)
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:
(Language materials, printed)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(Language materials, printed)
Pro SAP scripts, smartforms, and data migration = ABAP programming simplified /
by:
(Language materials, printed)
Full stack AngularJS for Java developers = build a full-featured web application from scratch using AngularJS with Spring RESTful /
by:
(Language materials, printed)
Parsing with Perl 6 Regexes and Grammars = a recursive descent into Parsing /
by:
(Language materials, printed)
Real-time web application development = with ASP.NET Core, SignalR, Docker, and Azure /
by:
(Language materials, printed)
Introduction to deep learning using R = a step-by-step guide to learning and implementing deep learning models using R /
by:
(Language materials, printed)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Language materials, printed)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Building web applications with Visual Studio 2017 = using .NET Core and modern JavaScript frameworks /
by:
(Language materials, printed)
ES6 for humans = the Latest Standard of JavaScript: ES2015 and Beyond /
by:
(Language materials, printed)
Learn Unity for Android game development = a guide to game design, development, and marketing /
by:
(Language materials, printed)
Perl 6 Fundamentals = a primer with examples, projects, and case studies /
by:
(Language materials, printed)
Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Language materials, printed)
Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(Language materials, printed)
Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings /
by:
(Language materials, printed)
Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software engineering = specification, implementation, verification /
by:
(Language materials, printed)
Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings /
by:
(Language materials, printed)
Model and data engineering = 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings /
by:
(Language materials, printed)
Advanced parallel processing technologies = 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings /
by:
(Language materials, printed)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(Language materials, printed)
Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(Language materials, printed)
SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(Language materials, printed)
Learn iOS application distribution = successfully distribute apps /
by:
(Language materials, printed)
Java 9 modularity revealed = project Jigsaw and scalable Java applications /
by:
(Language materials, printed)
Clean C++ = sustainable software development patterns and best practices with C++ 17 /
by:
(Language materials, printed)
Beginning Spring Boot 2 = applications and microservices with the Spring Framework /
by:
(Language materials, printed)
Pro functional PHP programming = application development strategies for performance optimization, concurrency, testability, and code brevity /
by:
(Language materials, printed)
A beginner's guide to Scala, object orientation and functional programming
by:
(Language materials, printed)
NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(Language materials, printed)
Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers /
by:
(Language materials, printed)
Good habits for great coding = improving programming skills with examples in Python /
by:
(Language materials, printed)
C++17 quick syntax reference = apocket guide to the language, apis and library /
by:
(Language materials, printed)
Beginning PostgreSQL on the cloud = simplifying database as a service on cloud platforms /
by:
(Language materials, printed)
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:
(Language materials, printed)
Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Language materials, printed)
Learn Rails 5.2 = Accelerated Web Development with Ruby on Rails /
by:
(Language materials, printed)
Design patterns in modern C++ = reusable approaches for object-oriented software design /
by:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C.. Volume 1,. Restricted Boltzmann machines and supervised feedforward networks
by:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
DevOps for Azure applications = deploy web applications on Azure /
by:
(Language materials, printed)
Beginning EJB in Java EE 8 = building applications with Enterprise JavaBeans /
by:
(Language materials, printed)
Practical JSF in Java EE 8 = web applications in Java for the enterprise /
by:
(Language materials, printed)
Deep belief nets in C++ and CUDA C.. Volume 2,. Autoencoding in the complex domain
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers /
by:
(Language materials, printed)
Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers /
by:
(Language materials, printed)
Service-oriented computing - ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers /
by:
(Language materials, printed)
Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
by:
(Language materials, printed)
Logic, language, information, and computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings /
by:
(Language materials, printed)
Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers /
by:
(Language materials, printed)
Design patterns in C# = a hands-on guide with real-world examples /
by:
(Language materials, printed)
Domain-specific languages in R = advanced statistical programming /
by:
(Language materials, printed)
Mathematical software - ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings /
by:
(Language materials, printed)
Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
(Language materials, printed)
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:
(Language materials, printed)
Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Language materials, printed)
Deep belief nets in C++ and CUDA C. Volume 3,. Convolutional nets /
by:
(Language materials, printed)
Personal finance with Python = using pandas, requests, and recurrent /
by:
(Language materials, printed)
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:
(Language materials, printed)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018 : proceedings /
by:
(Language materials, printed)
Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(Language materials, printed)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Language materials, printed)
Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(Language materials, printed)
Provenance and annotation of data and processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018 : proceedings /
by:
(Language materials, printed)
Programming with actors = state-of-the-art and research perspectives /
by:
(Language materials, printed)
Testing software and systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings /
by:
(Language materials, printed)
Regex quick syntax reference = understanding and using regular expressions /
by:
(Language materials, printed)
Practical video game bots = automating game processes using C++, Python, and AutoIt /
by:
(Language materials, printed)
C# 7 quick syntax reference = a pocket guide to the language, APIs and library /
by:
(Language materials, printed)
Learn to program with Python 3 = a step-by-step guide to programming /
by:
(Language materials, printed)
Visual design of GraphQL data = a practical introduction with legacy data and Neo4j /
by:
(Language materials, printed)
Topics in parallel and distributed computing = enhancing the undergraduate curriculum: performance, concurrency, and programming on modern platforms /
by:
(Language materials, printed)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
(Language materials, printed)
Scalable uncertainty management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018 : proceedings /
by:
(Language materials, printed)
Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
(Language materials, printed)
Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
(Language materials, printed)
Complete guide to test automation = techniques, practices, and patterns for building and maintaining effective software projects /
by:
(Language materials, printed)
Practical PHP 7, MySQL 8, and MariaDB website databases = a simplified approach to developing database-driven websites /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Python descriptors = understanding and using the descriptor protocol /
by:
(Language materials, printed)
Build mobile apps with Ionic 4 and Firebase = hybrid mobile app development /
by:
(Language materials, printed)
Practical Java machine learning = projects with Google Cloud platform and Amazon web services /
by:
(Language materials, printed)
Ethereum for architects and developers = with case studies and code samples in Solidity /
by:
(Language materials, printed)
Pro DevOps with Google cloud platform = with Docker, Jenkins, and Kubernetes /
by:
(Language materials, printed)
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(Language materials, printed)
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
(Language materials, printed)
Security standardisation research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings /
by:
(Language materials, printed)
Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
(Language materials, printed)
Learn Android Studio 3 with Kotlin = efficient Android app development /
by:
(Language materials, printed)
Pro .NET memory management = for better code, performance, and scalability /
by:
(Language materials, printed)
API development = a practical guide for business implementation success /
by:
(Language materials, printed)
Eclipse TEA revealed = building plug-ins and creating extensions for Eclipse /
by:
(Language materials, printed)
Principles of package design = creating reusable software components /
by:
(Language materials, printed)
Developing turn-based multiplayer games = with GameMaker Studio 2 and NodeJS /
by:
(Language materials, printed)
Stylish F# = crafting elegant functional code for .NET and .NET core /
by:
(Language materials, printed)
Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers /
by:
(Language materials, printed)
High performance computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers /
by:
(Language materials, printed)
Java for absolute beginners = learn to program the fundamentals the Java 9+ way /
by:
(Language materials, printed)
Modern X86 assembly language programming = covers x86 64-bit, AVX, AVX2, and AVX-512 /
by:
(Language materials, printed)
Practical quantum computing for developers = programming quantum rigs in the cloud using Python, Quantum Assembly Language and IBM QExperience /
by:
(Language materials, printed)
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:
(Language materials, printed)
Trends in functional programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers /
by:
(Language materials, printed)
Foundations and practice of security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018 : revised selected papers /
by:
(Language materials, printed)
Learn RStudio IDE = quick, effective, and productive data science /
by:
(Language materials, printed)
R quick syntax reference = a pocket guide to the language, APIs and library /
by:
(Language materials, printed)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(Language materials, printed)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(Language materials, printed)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(Language materials, printed)
Artificial intelligence in medicine = 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Euro-Par 2017 = parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Future data and security engineering = 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
by:
(Language materials, printed)
Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
(Language materials, printed)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Pro MERN stack = full stack web app development with Mongo, Express, React, and Node /
by:
(Language materials, printed)
CSS3 quick syntax reference = a pocket guide to the cascading style sheets language /
by:
(Language materials, printed)
Learn Kotlin for Android development = the next generation language for modern android apps programming /
by:
(Language materials, printed)
Exploring advanced features in C# = enhance your code and productivity /
by:
(Language materials, printed)
Beginning iPhone development with Swift 5 = exploring the iOS SDK /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers /
by:
(Language materials, printed)
Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
(Language materials, printed)
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:
(Language materials, printed)
Graph transformation = 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019 : proceedings /
by:
(Language materials, printed)
R3 Corda for architects and developers = with case studies in finance, insurance, healthcare, travel, telecom, and agriculture /
by:
(Language materials, printed)
Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud /
by:
(Language materials, printed)
Haskell quick syntax reference = a pocket guide to the language, APIs, and library /
by:
(Language materials, printed)
Foundations of Libvirt development = how to set up and maintain a virtual machine environment with Python /
by:
(Language materials, printed)
Rapid Java persistence and microservices = persistence made easy using Java EE8, JPA and Spring /
by:
(Language materials, printed)
Scala programming for big data analytics = get started with big data analytics using Apache Spark /
by:
(Language materials, printed)
Data analytics and management in data intensive domains = 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018 : revised selected papers /
by:
(Language materials, printed)
The Python workbook = a brief introduction with exercises and solutions /
by:
(Language materials, printed)
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
(Language materials, printed)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
(Language materials, printed)
Pro TBB = C++ parallel programming with threading building blocks /
by:
(Language materials, printed)
C++17 standard library quick reference = a pocket guide to data structures, algorithms, and functions /
by:
(Language materials, printed)
Android Studio IDE quick reference = a pocket guide to Android Studio development /
by:
(Language materials, printed)
Introducing Delphi ORM = object relational mapping using TMS Aurelius /
by:
(Language materials, printed)
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:
(Language materials, printed)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(Language materials, printed)
Concurrency, security, and puzzles = essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /
by:
(Language materials, printed)
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
by:
(Language materials, printed)
Pro Hadoop data analytics = designing and building big data systems using the Hadoop ecosystem /
by:
(Language materials, printed)
Agile Swift = Swift programming using Agile tools and techniques /
by:
(Language materials, printed)
PHP arrays = single, multi-dimensional, associative and object arrays in PHP 7 /
by:
(Language materials, printed)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers /
by:
(Language materials, printed)
Advanced finite element simulation with MSC Marc = application of user subroutines /
by:
(Language materials, printed)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
(Language materials, printed)
Agents and Artificial Intelligence = 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016 : rvised selected papers /
by:
(Language materials, printed)
Small dynamic complexity classes = an investigation into dynamic descriptive complexity /
by:
(Language materials, printed)
Python unit test automation = practical techniques for Python developers and testers /
by:
(Language materials, printed)
Python Data Analytics = Data Analysis and Science using pandas, matplotlib and the Python Programming Language /
by:
(Language materials, printed)
Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
by:
(Language materials, printed)
Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
(Language materials, printed)
Beginning C for Arduino, Second Edition = Learn C Programming for the Arduino /
by:
(Language materials, printed)
Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
by:
(Language materials, printed)
Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
by:
(Language materials, printed)
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software Architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings /
by:
(Language materials, printed)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
by:
(Language materials, printed)
SDL 2015: Model-Driven Engineering for Smart Cities = 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
by:
(Language materials, printed)
Xamarin Mobile Application Development = Cross-Platform C# and Xamarin.Forms Fundamentals /
by:
(Language materials, printed)
Programming Languages and Systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
by:
(Language materials, printed)
Model Checking Software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
by:
(Language materials, printed)
Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
(Language materials, printed)
Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Programmierung von verteilten Systemen und Webanwendungen mit Java EE = Erste Schritte in der Java Enterprise Edition /
by:
(Language materials, printed)
Introduction to Programming with Fortran = With Coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming /
by:
(Language materials, printed)
Web Development with Go = Building Scalable Web Apps and RESTful Services /
by:
(Language materials, printed)
Model-Integrating Software Components = Engineering Flexible Software Systems /
by:
(Language materials, printed)
Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Modelling Foundations and Applications = 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(Language materials, printed)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Programming Languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
by:
(Language materials, printed)
Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
by:
(Language materials, printed)
Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
by:
(Language materials, printed)
Languages, Applications and Technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers /
by:
(Language materials, printed)
A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
by:
(Language materials, printed)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Software Reading Techniques = Twenty Techniques for More Effective Software Review and Inspection /
by:
(Language materials, printed)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(Language materials, printed)
Lumen Programming Guide = Writing PHP Microservices, REST and Web Service APIs /
by:
(Language materials, printed)
Interactive Object Oriented Programming in Java = Learn and Test Your Skills /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
by:
(Language materials, printed)
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
(Language materials, printed)
Learn Electronics with Raspberry Pi = Physical Computing with Circuits, Sensors, Outputs, and Projects /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
by:
(Language materials, printed)
Learn PHP 7 = Object Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
by:
(Language materials, printed)
An Introduction to Statistics with Python = With Applications in the Life Sciences /
by:
(Language materials, printed)
Numeric Computation and Statistical Data Analysis on the Java Platform
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Data Mining. Applications and Theoretical Aspects = 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(Language materials, printed)
System Analysis and Modeling. Technology-Specific Aspects of Models = 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments = Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Data Science Using Oracle Data Miner and Oracle R Enterprise = Transform Your Business Systems into an Analytical Powerhouse /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
by:
(Language materials, printed)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(Language materials, printed)
Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications /
by:
(Language materials, printed)
Einführung in C = Praktisches Lern- und Arbeitsbuch für Programmieranfänger /
by:
(Language materials, printed)
Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
by:
(Language materials, printed)
Moving to Responsive Web Design = Bring existing static sites into today's multi-device world with responsive web design /
by:
(Language materials, printed)
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:
(Language materials, printed)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
by:
(Language materials, printed)
Source Code Analytics With Roslyn and JavaScript Data Visualization
by:
(Language materials, printed)
Text Analytics with Python = A Practical Real-World Approach to Gaining Actionable Insights from your Data /
by:
(Language materials, printed)
MVVM in Delphi = Architecting and Building Model View ViewModel Applications /
by:
(Language materials, printed)
Automated Trading with R = Quantitative Research and Platform Development /
by:
(Language materials, printed)
PHP Persistence = Concepts, Techniques and Practical Solutions with Doctrine /
by:
(Language materials, printed)
Math Mutation Classics = Exploring Interesting, Fun and Weird Corners of Mathematics /
by:
(Language materials, printed)
Microservices From Day One = Build robust and scalable software from the start /
by:
(Language materials, printed)
Windows 10 Development Recipes = A Problem-Solution Approach in HTML and JavaScript /
by:
(Language materials, printed)
Programmierparadigmen = Eine Einführung auf der Grundlage von Racket /
by:
(Language materials, printed)
Beginning KeystoneJS = A practical introduction to KeystoneJS using a real-world project /
by:
(Language materials, printed)
Grundkurs Programmieren mit Delphi = Systematisch programmieren lernen für Einsteiger /
by:
(Language materials, printed)
Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript /
by:
(Language materials, printed)
Options and Derivatives Programming in C++ = Algorithms and Programming Techniques for the Financial Industry /
by:
(Language materials, printed)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Deductive Software Verification – The KeY Book = From Theory to Practice /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
(Language materials, printed)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
by:
(Language materials, printed)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
C++-Metaprogrammierung = Eine Einführung in die Präprozessor- und Template-Metaprogrammierung /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
by:
(Language materials, printed)
Verified Software: Theories, Tools, and Experiments = 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Applied OpenStack Design Patterns = Design solutions for production-ready infrastructure with OpenStack components /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
by:
(Language materials, printed)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
(Language materials, printed)
Software Architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings /
by:
(Language materials, printed)
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide = A Comprehensive OCPJP 8 Certification Guide /
by:
(Language materials, printed)
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:
(Language materials, printed)
Modelling Foundations and Applications = 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Funktionale Programmierung und Metaprogrammierung = Interaktiv in Common Lisp /
by:
(Language materials, printed)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(Language materials, printed)
Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Python Descriptors = Understanding and Using the Descriptor Protocol /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(Language materials, printed)
API Development = A Practical Guide for Business Implementation Success /
by:
(Language materials, printed)
Practical Video Game Bots = Automating Game Processes using C++, Python, and AutoIt /
by:
(Language materials, printed)
Java for Absolute Beginners = Learn to Program the Fundamentals the Java 9+ Way /
by:
(Language materials, printed)
C# 7 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Ethereum for Architects and Developers = With Case Studies and Code Samples in Solidity /
by:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C: Volume 2 = Autoencoding in the Complex Domain /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pro .NET Memory Management = For Better Code, Performance, and Scalability /
by:
(Language materials, printed)
Eclipse TEA Revealed = Building Plug-ins and Creating Extensions for Eclipse /
by:
(Language materials, printed)
Principles of Package Design = Creating Reusable Software Components /
by:
(Language materials, printed)
Personal Finance with Python = Using pandas, Requests, and Recurrent /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Good Habits for Great Coding = Improving Programming Skills with Examples in Python /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
(Language materials, printed)
Pro DevOps with Google Cloud Platform = With Docker, Jenkins, and Kubernetes /
by:
(Language materials, printed)
Testing Software and Systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
by:
(Language materials, printed)
Build Mobile Apps with Ionic 4 and Firebase = Hybrid Mobile App Development /
by:
(Language materials, printed)
Regex Quick Syntax Reference = Understanding and Using Regular Expressions /
by:
(Language materials, printed)
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:
(Language materials, printed)
Learn to Program with Python 3 = A Step-by-Step Guide to Programming /
by:
(Language materials, printed)
Topics in Parallel and Distributed Computing = Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms /
by:
(Language materials, printed)
Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
(Language materials, printed)
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
by:
(Language materials, printed)
Practical Java Machine Learning = Projects with Google Cloud Platform and Amazon Web Services /
by:
(Language materials, printed)
Developing Turn-Based Multiplayer Games = with GameMaker Studio 2 and NodeJS /
by:
(Language materials, printed)
Practical PHP 7, MySQL 8, and MariaDB Website Databases = A Simplified Approach to Developing Database-Driven Websites /
by:
(Language materials, printed)
Stylish F# = Crafting Elegant Functional Code for .NET and .NET Core /
by:
(Language materials, printed)
Complete Guide to Test Automation = Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
(Language materials, printed)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
by:
(Language materials, printed)
Practical Quantum Computing for Developers = Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience /
by:
(Language materials, printed)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
by:
(Language materials, printed)
Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Provenance and Annotation of Data and Processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /
by:
(Language materials, printed)
Visual Design of GraphQL Data = A Practical Introduction with Legacy Data and Neo4j /
by:
(Language materials, printed)
Learn Android Studio 3 with Kotlin = Efficient Android App Development /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(Language materials, printed)
Programming with Actors = State-of-the-Art and Research Perspectives /
by:
(Language materials, printed)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
(Language materials, printed)
Scalable Uncertainty Management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
by:
(Language materials, printed)
Security Standardisation Research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /
by:
(Language materials, printed)
Java üben mit dem Plotter = Ein Überblick für Studierende und Einsteiger /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(Language materials, printed)
Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
(Language materials, printed)
Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 /
by:
(Language materials, printed)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
(Language materials, printed)
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Inductive Logic Programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings /
by:
(Language materials, printed)
Learn Rails 5.2 = Accelerated Web Development with Ruby on Rails /
by:
(Language materials, printed)
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:
(Language materials, printed)
Practical Android = 14 Complete Projects on Advanced Techniques and Approaches /
by:
(Language materials, printed)
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:
(Language materials, printed)
Make Your Own Python Text Adventure = A Guide to Learning Programming /
by:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C: Volume 1 = Restricted Boltzmann Machines and Supervised Feedforward Networks /
by:
(Language materials, printed)
Design Patterns in Modern C++ = Reusable Approaches for Object-Oriented Software Design /
by:
(Language materials, printed)
Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Beginning Xamarin Development for the Mac = Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac /
by:
(Language materials, printed)
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:
(Language materials, printed)
Programmierung mit PASCAL = Eine Einführung für Programmieranfänger /
by:
(Language materials, printed)
DevOps for Azure Applications = Deploy Web Applications on Azure /
by:
(Language materials, printed)
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:
(Language materials, printed)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(Language materials, printed)
Practical Scala DSLs = Real-World Applications Using Domain Specific Languages /
by:
(Language materials, printed)
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen = Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen /
by:
(Language materials, printed)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(Language materials, printed)
Programmieren lernen mit Computergrafik = Eine Einführung mit Java und Processing /
by:
(Language materials, printed)
Beginning EJB in Java EE 8 = Building Applications with Enterprise JavaBeans /
by:
(Language materials, printed)
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:
(Language materials, printed)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(Language materials, printed)
Practical JSF in Java EE 8 = Web Applications in Java for the Enterprise /
by:
(Language materials, printed)
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:
(Language materials, printed)
Speech and Language Processing for Human-Machine Communications = Proceedings of CSI 2015 /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
Theory and Applications of Formal Argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
A Beginner's Guide to Scala, Object Orientation and Functional Programming
by:
(Language materials, printed)
Design Patterns in C# = A Hands-on Guide with Real-World Examples /
by:
(Language materials, printed)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Pro JPA 2 in Java EE 8 = An In-Depth Guide to Java Persistence APIs /
by:
(Language materials, printed)
Domain-Specific Languages in R = Advanced Statistical Programming /
by:
(Language materials, printed)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
(Language materials, printed)
Beginning PostgreSQL on the Cloud = Simplifying Database as a Service on Cloud Platforms /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Programmierung in Python = Ein kompakter Einstieg für die Praxis /
by:
(Language materials, printed)
Objektorientierte Programmierung mit JavaScript = Direktstart für Einsteiger /
by:
(Language materials, printed)
Introduction to Python for Engineers and Scientists = Open Source Solutions for Numerical Computation /
by:
(Language materials, printed)
C++ mit Visual Studio 2017 = Ein Fach- und Lehrbuch für Standard-C++ /
by:
(Language materials, printed)
Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings /
by:
(Language materials, printed)
Inductive Logic Programming = 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications /
by:
(Language materials, printed)
Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig /
by:
(Language materials, printed)
Grundkurs Software-Engineering mit UML = Der pragmatische Weg zu erfolgreichen Softwareprojekten /
by:
(Language materials, printed)
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:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C: Volume 3 = Convolutional Nets /
by:
(Language materials, printed)
Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program /
by:
(Language materials, printed)
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:
(Language materials, printed)
C++17 Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library /
by:
(Language materials, printed)
Customizing Dynamics 365 = Implementing and Releasing Business Solutions /
by:
(Language materials, printed)
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:
(Language materials, printed)
R Data Science Quick Reference = A Pocket Guide to APIs, Libraries, and Packages /
by:
(Language materials, printed)
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:
(Language materials, printed)
R3 Corda for Architects and Developers = With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture /
by:
(Language materials, printed)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Scala Programming for Big Data Analytics = Get Started With Big Data Analytics Using Apache Spark /
by:
(Language materials, printed)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(Language materials, printed)
Practical Microservices Architectural Patterns = Event-Based Java Microservices with Spring Boot and Spring Cloud /
by:
(Language materials, printed)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
C/C++ anwenden = Technisch-wissenschaftliche Übungsaufgaben mit Lösungen /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Beginning Jakarta EE = Enterprise Edition for Java: From Novice to Professional /
by:
(Language materials, printed)
Game Development with GameMaker Studio 2 = Make Your Own Games with GameMaker Language /
by:
(Language materials, printed)
Exploring the .NET Core 3.0 Runtime = Through Code Generation and Metadata Inspection /
by:
(Language materials, printed)
Introducing Markdown and Pandoc = Using Markup Language and Document Converter /
by:
(Language materials, printed)
Perl 6 Quick Syntax Reference = A Pocket Guide to the Language, the Core Modules, and the Community /
by:
(Language materials, printed)
Pro CDI 2 in Java EE 8 = An In-Depth Guide to Context and Dependency Injection /
by:
(Language materials, printed)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(Language materials, printed)
Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
by:
(Language materials, printed)
Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Computer Music Instruments II = Realtime and Object-Oriented Audio /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings /
by:
(Language materials, printed)
Central European Functional Programming School = 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming /
by:
(Language materials, printed)
Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Learn RStudio IDE = Quick, Effective, and Productive Data Science /
by:
(Language materials, printed)
Beginning x64 Assembly Programming = From Novice to AVX Professional /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
Pro .NET Framework with the Base Class Library = Understanding the Virtual Execution System and the Common Type System /
by:
(Language materials, printed)
Visual Studio Code Distilled = Evolved Code Editing for Windows, macOS, and Linux /
by:
(Language materials, printed)
Java Design Patterns = A Hands-On Experience with Real-World Examples /
by:
(Language materials, printed)
Reactive Streams in Java = Concurrency with RxJava, Reactor, and Akka Streams /
by:
(Language materials, printed)
Advanced R Statistical Programming and Data Models = Analysis, Machine Learning, and Visualization /
by:
(Language materials, printed)
Let’s Build a Multiplayer Phaser Game = With TypeScript, Socket.IO, and Phaser /
by:
(Language materials, printed)
Building Telegram Bots = Develop Bots in 12 Programming Languages using the Telegram Bot API /
by:
(Language materials, printed)
R Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library /
by:
(Language materials, printed)
Expert Twisted = Event-Driven and Asynchronous Programming with Python /
by:
(Language materials, printed)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Building Xamarin.Forms Mobile Apps Using XAML = Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals /
by:
(Language materials, printed)
Transactions on High-Performance Embedded Architectures and Compilers V
by:
(Language materials, printed)
JavaScript Frameworks for Modern Web Development = The Essential Frameworks, Libraries, and Tools to Learn Right Now /
by:
(Language materials, printed)
Practical Machine Learning and Image Processing = For Facial Recognition, Object Detection, and Pattern Recognition Using Python /
by:
(Language materials, printed)
Beginning iPhone Development with Swift 5 = Exploring the iOS SDK /
by:
(Language materials, printed)
Practical Domain-Driven Design in Enterprise Java = Using Jakarta EE, Eclipse MicroProfile, Spring Boot, and the Axon Framework /
by:
(Language materials, printed)
The Python Workbook = A Brief Introduction with Exercises and Solutions /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Pro MERN Stack = Full Stack Web App Development with Mongo, Express, React, and Node /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings /
by:
(Language materials, printed)
Modern C Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Learn Kotlin for Android Development = The Next Generation Language for Modern Android Apps Programming /
by:
(Language materials, printed)
CSS3 Quick Syntax Reference = A Pocket Guide to the Cascading Style Sheets Language /
by:
(Language materials, printed)
Machine Learning Using R = With Time Series and Industry-Based Use Cases in R /
by:
(Language materials, printed)
Beginning Programming Using Retro Computing = Learn BASIC with a Commodore Emulator /
by:
(Language materials, printed)
Building Chatbots with Python = Using Natural Language Processing and Machine Learning /
by:
(Language materials, printed)
Exploring Advanced Features in C# = Enhance Your Code and Productivity /
by:
(Language materials, printed)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Introducing Vala Programming = A Language and Techniques to Boost Productivity /
by:
(Language materials, printed)
High Performance Computing for Computational Science – VECPAR 2018 = 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Functional Programming = 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Creating Business Applications with Office 365 = Techniques in SharePoint, PowerApps, Power BI, and More /
by:
(Language materials, printed)
Haskell Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Julia Quick Syntax Reference = A Pocket Guide for Data Science Programming /
by:
(Language materials, printed)
Numerical C = Applied Computational Programming with Case Studies /
by:
(Language materials, printed)
Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
The Definitive Guide to Modern Java Clients with JavaFX = Cross-Platform Mobile and Cloud Development /
by:
(Language materials, printed)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Functional and Constraint Logic Programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Practical MATLAB = With Modeling, Simulation, and Processing Projects /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Data Analytics and Management in Data Intensive Domains = 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Schnellstart Python = Ein Einstieg ins Programmieren für MINT-Studierende /
by:
(Language materials, printed)
How to Speak Tech = The Non-Techie’s Guide to Key Technology Concepts /
by:
(Language materials, printed)
Beginning Game Development with Amazon Lumberyard = Create 3D Games Using Amazon Lumberyard and Lua /
by:
(Language materials, printed)
Graphical Models for Security = 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows /
by:
(Language materials, printed)
Computing and Software Science = State of the Art and Perspectives /
by:
(Language materials, printed)
Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten /
by:
(Language materials, printed)
Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings /
by:
(Language materials, printed)
Foundations of Libvirt Development = How to Set Up and Maintain a Virtual Machine Environment with Python /
by:
(Language materials, printed)
Introducing Delphi ORM = Object Relational Mapping Using TMS Aurelius /
by:
(Language materials, printed)
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:
(Language materials, printed)
Rapid Java Persistence and Microservices = Persistence Made Easy Using Java EE8, JPA and Spring /
by:
(Language materials, printed)
Foundations and Practice of Security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pro TBB = C++ Parallel Programming with Threading Building Blocks /
by:
(Language materials, printed)
Building Scalable PHP Web Applications Using the Cloud = A Simple Guide to Programming and Administering Cloud-Based Applications /
by:
(Language materials, printed)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(Language materials, printed)
Learn R for Applied Statistics = With Data Visualizations, Regressions, and Statistics /
by:
(Language materials, printed)
C++17 Standard Library Quick Reference = A Pocket Guide to Data Structures, Algorithms, and Functions /
by:
(Language materials, printed)
Android Studio IDE Quick Reference = A Pocket Guide to Android Studio Development /
by:
(Language materials, printed)
Exploring Blazor = Creating Hosted, Server-side, and Client-side Applications with C# /
by:
(Language materials, printed)
Expert T-SQL Window Functions in SQL Server 2019 = The Hidden Secret to Fast Analytic and Reporting Queries /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
C++ for Lazy Programmers = Quick, Easy, and Fun C++ for Beginners /
by:
(Language materials, printed)
Designing Microservices with Django = An Overview of Tools and Practices /
by:
(Language materials, printed)
Geographical Information Systems Theory, Applications and Management = 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings /
by:
(Language materials, printed)
Building REST APIs with Flask = Create Python Web Services with MySQL /
by:
(Language materials, printed)
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:
(Language materials, printed)
Python Continuous Integration and Delivery = A Concise Guide with Examples /
by:
(Language materials, printed)
Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry /
by:
(Language materials, printed)
Introducing Algorithms in C = A Step by Step Guide to Algorithms in C /
by:
(Language materials, printed)
Python Projects for Beginners = A Ten-Week Bootcamp Approach to Python Programming /
by:
(Language materials, printed)
Interactive Object-Oriented Programming in Java = Learn and Test Your Programming Skills /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings /
by:
(Language materials, printed)
Practical Machine Learning with Rust = Creating Intelligent Applications in Rust /
by:
(Language materials, printed)
Building Web Applications with .NET Core 2.1 and JavaScript = Leveraging Modern JavaScript Frameworks /
by:
(Language materials, printed)
Introduction to R for Terrestrial Ecology = Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R /
by:
(Language materials, printed)
Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Inductive Logic Programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Getting Started with Advanced C# = Upgrade Your Programming Skills /
by:
(Language materials, printed)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Arduino Software Internals = A Complete Guide to How Your Arduino Language and Hardware Work Together /
by:
(Language materials, printed)
Delphi Quick Syntax Reference = A Pocket Guide to the Delphi and Object Pascal Language /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
String Algorithms in C = Efficient Text Representation and Search /
by:
(Language materials, printed)
Implementing Effective Code Reviews = How to Build and Maintain Clean Code /
by:
(Language materials, printed)
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:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Learn Microservices with Spring Boot = A Practical Approach to RESTful Services Using an Event-Driven Architecture, Cloud-Native Patterns, and Containerization /
by:
(Language materials, printed)
OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings /
by:
(Language materials, printed)
Introducing Jakarta EE CDI = Contexts and Dependency Injection for Enterprise Java Development /
by:
(Language materials, printed)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
Practical R 4 = Applying R to Data Manipulation, Processing and Integration /
by:
(Language materials, printed)
Hands-on Booting = Learn the Boot Process of Linux, Windows, and Unix /
by:
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Practical Numerical C Programming = Finance, Engineering, and Physics Applications /
by:
(Language materials, printed)
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:
(Language materials, printed)
Spring Boot Persistence Best Practices = Optimize Java Persistence Performance in Spring Boot Applications /
by:
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Raku Fundamentals = A Primer with Examples, Projects, and Case Studies /
by:
(Language materials, printed)
Getting Structured Data from the Internet = Running Web Crawlers/Scrapers on a Big Data Production Scale /
by:
(Language materials, printed)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
Getting Started with Visual Studio 2019 = Learning and Implementing New Features /
by:
(Language materials, printed)
Einstieg in Java und OOP = Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung /
by:
(Language materials, printed)
Practical Rust Projects = Building Game, Physical Computing, and Machine Learning Applications /
by:
(Language materials, printed)
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:
(Language materials, printed)
Quick Start Guide to Dart Programming = Create High-Performance Applications for the Web and Mobile /
by:
(Language materials, printed)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(Language materials, printed)
Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advanced R 4 Data Programming and the Cloud = Using PostgreSQL, AWS, and Shiny /
by:
(Language materials, printed)
C# 8 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Pivotal Certified Professional Core Spring 5 Developer Exam = A Study Guide Using Spring Framework 5 /
by:
(Language materials, printed)
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Modern C++ for Absolute Beginners = A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards /
by:
(Language materials, printed)
Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript /
by:
(Language materials, printed)
The Definitive Guide to Masonite = Building Web Applications with Python /
by:
(Language materials, printed)
Advanced Python Development = Using Powerful Language Features in Real-World Applications /
by:
(Language materials, printed)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
(Language materials, printed)
Modern Data Mining Algorithms in C++ and CUDA C = Recent Developments in Feature Extraction and Selection Algorithms for Data Science /
by:
(Language materials, printed)
Agile Artificial Intelligence in Pharo = Implementing Neural Networks, Genetic Algorithms, and Neuroevolution /
by:
(Language materials, printed)
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:
(Language materials, printed)
Rust for the IoT = Building Internet of Things Apps with Rust and Raspberry Pi /
by:
(Language materials, printed)
C++20 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Spring Quick Reference Guide = A Pocket Handbook for Spring Framework, Spring Boot, and More /
by:
(Language materials, printed)
Beginning Quarkus Framework = Build Cloud-Native Enterprise Java Applications and Microservices /
by:
(Language materials, printed)
Design Patterns in C# = A Hands-on Guide with Real-world Examples /
by:
(Language materials, printed)
Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings /
by:
(Language materials, printed)
Reuse in Emerging Software Engineering Practices = 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(Language materials, printed)
C++ mit Visual Studio 2019 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows Programme mit C++ entwickeln /
by:
(Language materials, printed)
Java in 14 Wochen = Ein Lehrbuch für Studierende der Wirtschaftsinformatik /
by:
(Language materials, printed)
Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings /
by:
(Language materials, printed)
Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger /
by:
(Language materials, printed)
Data Parallel C++ = Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
C++ mit Visual Studio 2019 = C++17 für Studierende und erfahrene Programmierer /
by:
(Language materials, printed)
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:
(Language materials, printed)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
XcalableMP PGAS Programming Language = From Programming Model to Applications /
by:
(Language materials, printed)
Practical C++20 Financial Programming = Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics /
by:
(Language materials, printed)
Introducing Blockchain with Lisp = Implement and Extend Blockchains with the Racket Language /
by:
(Language materials, printed)
Beginning HCL Programming = Using Hashicorp Language for Automation and Configuration /
by:
(Language materials, printed)
Pro Spring MVC with WebFlux = Web Development in Spring Framework 5 and Spring Boot 2 /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(Language materials, printed)
Pro Cryptography and Cryptanalysis with C++20 = Creating and Programming Advanced Algorithms /
by:
(Language materials, printed)
Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition /
by:
(Language materials, printed)
Pointers in C Programming = A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays /
by:
(Language materials, printed)
Programming with TensorFlow = Solution for Edge Computing Applications /
by:
(Language materials, printed)
Practical Rust Web Projects = Building Cloud and Web-Based Applications /
by:
(Language materials, printed)
Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp /
by:
(Language materials, printed)
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
by:
(Language materials, printed)
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:
(Language materials, printed)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Clean C++20 = Sustainable Software Development Patterns and Best Practices /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects