Programming Techniques.
Overview
| Works: | 1785 works in 716 publications in 716 languages | |
|---|---|---|
Titles
Beginning JavaScript syntax = understanding syntactical rules and structures for better JavaScript programming /
by:
(Language materials, printed)
Magical Haskell = a friendly approach to modern functional programming, type theory, and artificial intelligence /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024 : revised selected papers /
by:
(Language materials, printed)
The connectives in logic and language = 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024 : revised selected papers /
by:
(Language materials, printed)
Engineering trustworthy software systems = 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures /
by:
(Language materials, printed)
Today's TBB = C++ parallel programming with threading building blocks /
by:
(Language materials, printed)
Raising young coders = a parent's guide to teaching programming at home /
by:
(Language materials, printed)
Introducing .NET MAUI = build and deploy cross-platform applications using C# and .NET 9.0 multi-platform App UI /
by:
(Language materials, printed)
When Docker meets Java = a practical guide to Docker for Java and Spring Boot applications /
by:
(Language materials, printed)
The art of decoding microservices = an in-depth exploration of modern software architecture /
by:
(Language materials, printed)
Developing web components with Svelte = building a library of reusable UI components /
by:
(Language materials, printed)
Chatbots and human-centered AI = 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024 : revised selected papers /
by:
(Language materials, printed)
Trends in functional programming = 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers /
by:
(Language materials, printed)
Software, system, and service engineering = S3E 2024 Topical Area, held as part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, held as part of SEAA 2024, Paris, France, August 28-30, 2024 : revised selected papers /
by:
(Language materials, printed)
Object-oriented analysis, design and implementation = an integrated approach /
by:
(Language materials, printed)
Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings /
by:
(Language materials, printed)
Knowledge engineering and knowledge management = 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
by:
(Language materials, printed)
Recent advances in the message passing interface = 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024 : proceedings /
by:
(Language materials, printed)
Category theory using Haskell = an introduction with Moggi and Yoneda /
by:
(Language materials, printed)
Service-oriented computing = 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024 : revised selected papers /
by:
(Language materials, printed)
Nonsequential and distributed programming with Go = synchronization of concurrent processes /
by:
(Language materials, printed)
Software engineering made easy = a comprehensive reference guide for writing good code /
by:
(Language materials, printed)
Graph transformation = 18th International Conference, ICGT 2025, held as part of STAF 2025, Koblenz, Germany, June 11-12, 2025 : proceedings /
by:
(Language materials, printed)
Logic and argumentation = 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Multiagent System Technologies : = Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings
by:
(Language materials, printed)
Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
by:
(Language materials, printed)
Reconfigurable Computing = Accelerating Computation with Field-Programmable Gate Arrays /
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)
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)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
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)
Accelerated GWT = Building Enterprise Google Web Toolkit Applications /
by:
(Language materials, printed)
SharePoint 2007 Development Recipes = A Problem-Solution Approach /
by:
(Language materials, printed)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(Language materials, printed)
OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings /
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)
Guide to high performance distributed computing = case studies with Hadoop, Scalding and Spark /
by:
(Language materials, printed)
Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings /
by:
(Language materials, printed)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(Language materials, printed)
Practical API design = confessions of a java framework architect /
by:
(Language materials, printed)
Solving software challenges for exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings /
by:
(Language materials, printed)
SAP fur Java-Entwickler = Konzepte, Schnittstellen, Technologien /
by:
(Language materials, printed)
DOM Scripting = Web Design with JavaScript and the Document Object Model /
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)
Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 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)
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)
Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
by:
(Language materials, printed)
Foundation Flex for Developers = Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS /
by:
(Language materials, printed)
Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Language materials, printed)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
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)
Practical Aspects of Embedded System Design using Microcontrollers
by:
(Language materials, printed)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(Language materials, printed)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(Language materials, printed)
Building XNA 2.0 games = a practical guide for independent game development /
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)
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)
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)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Algorithmic decision theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Language materials, printed)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, 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)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(Language materials, printed)
Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, 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)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Beginning Web Development, Silverlight, and ASP.NET AJAX = From Novice to Professional /
by:
(Language materials, printed)
MooTools essentials = the official MooTools reference for JavaScript and Ajax development /
by:
(Language materials, printed)
Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
by:
(Language materials, printed)
SAS programming and data visualization techniques = a power user's guide /
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)
Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Applications of Declarative Programming and Knowledge Management = 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 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)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(Language materials, printed)
Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings /
by:
(Language materials, printed)
Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
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)
Ambient Networks : = 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 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)
Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers /
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)
Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings /
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)
Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings /
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)
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)
A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
by:
(Language materials, printed)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(Language materials, printed)
The Common Component Modeling Example = Comparing Software Component Models /
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)
Balancing Agility and Formalism in Software Engineering = Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, 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)
Modelling autonomic communications environments = third IEEE international workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008 : proceedings /
by:
(Language materials, printed)
Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
by:
(Language materials, printed)
Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(Language materials, printed)
Multiagent system technologies = 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 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)
Beginning Visual Web Programming in VB .NET = From Novice to Professional /
by:
(Language materials, printed)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
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)
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)
Probabilistic Inductive Logic Programming = Theory and Applications /
by:
(Language materials, printed)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(Language materials, printed)
Foundation Expression Blend 2 = building applications in WPF and Silverlight /
by:
(Language materials, printed)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : 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)
Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 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)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Language materials, printed)
High Confidence Software Reuse in Large Systems = 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings /
by:
(Language materials, printed)
25 Years of Model Checking = History, Achievements, Perspectives /
by:
(Language materials, printed)
Agile Development with ICONIX Process = People, Process, and Pragmatism /
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)
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
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)
Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
by:
(Language materials, printed)
Metainformatics = International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected 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)
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
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)
Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers /
by:
(Language materials, printed)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Applications of declarative programming and knowledge management = 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers /
by:
(Language materials, printed)
Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
by:
(Language materials, printed)
Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(Language materials, printed)
Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I /
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)
Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
(Language materials, printed)
Beginning Object-Oriented ASP.NET 2.0 with VB.NET = From Novice to Professional /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers /
by:
(Language materials, printed)
Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings /
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)
Making globally distributed software development a success story = International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings /
by:
(Language materials, printed)
Pro WPF in C# 2008 = Windows Presentation Foundation with .NET 3.5 /
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)
Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
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)
Pro Java EE spring patterns = best practices and design strategies implementing java EE patterns with the spring framework /
by:
(Language materials, printed)
Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
by:
(Language materials, printed)
Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers /
by:
(Language materials, printed)
Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : 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)
Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings /
by:
(Electronic resources)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(Language materials, printed)
Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(Language materials, printed)
OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : 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)
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)
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
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)
End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 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)
Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 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)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(Language materials, printed)
Factors and factorizations of graphs = proof techniques in factor theory /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings /
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)
Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
by:
(Language materials, printed)
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
by:
(Language materials, printed)
Reasoning Robots = The Art and Science of Programming Robotic Agents /
by:
(Language materials, printed)
Regular Expression Recipes for Windows Developers = A Problem-Solution Approach /
by:
(Language materials, printed)
The Best of Verity Stob = Highlights of Verity Stob's Famous Columns From EXE, Dr. Dobb's Journal, and The Register /
by:
(Language materials, printed)
Iterating Infusion = Clearer Views of Objects, Classes, and Systems /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
by:
(Language materials, printed)
Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings /
by:
(Language materials, printed)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(Language materials, printed)
Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms /
by:
(Language materials, printed)
High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers /
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)
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)
Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
by:
(Language materials, printed)
The Definitive Guide to Terracotta = Cluster the JVM for Spring, Hibernate, and POJO Scalability /
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)
Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(Language materials, printed)
Pro performancepoint server 2007 = building business intelligence solutions /
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)
Advances in conceptual modeling-challenging perspectives = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 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)
Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings /
by:
(Language materials, printed)
Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 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, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
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)
Pro SQL Server 2008 analytics = delivering sales and marketing dashboards /
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)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 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)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
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)
Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(Language materials, printed)
Leveraging Knowledge for Innovation in Collaborative Networks = 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009 : proceedings /
by:
(Language materials, printed)
Scripting intelligence = Web 3.0 information gathering and processing /
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)
Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /
by:
(Language materials, printed)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
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)
Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 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)
Scalable uncertainty management = third international conference, SUM 2009, Washington, DC, September 28-30, 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)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 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)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Language materials, printed)
Beginning Python visualization = crafting visual transformation scripts /
by:
(Language materials, printed)
Beginning smartphone web development = building JavaScript, CSS, HTML and Ajax-based applications for iPhone, Android, Palm Pre, BlackBerry, Windows Mobile, and Nokia S60 /
by:
(Language materials, printed)
JavaFX special effects = taking Java Ria to the extreme with animation, multimedia, and game elements /
by:
(Language materials, printed)
Introduction to Windows Azure = an introduction to cloud computing using Microsoft Windows Azure /
by:
(Language materials, printed)
Pro web gadgets = across iPhone, Android, Windows, Mac, iGoogle and more /
by:
(Language materials, printed)
Beginning Java and Flex = migrating Java, Spring, Hibernate, and Maven developers to Adobe Flex /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Expert oracle and Java Security = programming secure Oracle database applications with Java /
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)
Adaptive and natural computing algorithms : = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(Language materials, printed)
Advances in conceptual modeling-challenging perspectives : = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings /
by:
(Language materials, printed)
Advances in Software Engineering : = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
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)
Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings /
by:
(Language materials, printed)
Multiagent system technologies = 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 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)
Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings /
by:
(Language materials, printed)
Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings /
by:
(Language materials, printed)
Rule-based modeling and computing on the Semantic Web = 5th international symposium, RuleML 2011 - America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011 : proceedings /
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)
Software engineering for resilient systems = third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 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)
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
(Language materials, printed)
Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings /
by:
(Language materials, printed)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Language materials, printed)
Advanced parallel processing technologies = 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 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)
Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings /
by:
(Language materials, printed)
Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 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)
Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers /
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)
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)
Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Beginning iPhone development with Swift 2 = exploring the iOS SDK /
by:
(Language materials, printed)
Agent environments for multi-agent systems IV = 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers /
by:
(Language materials, printed)
Android studio new media fundamentals = content production of digital audio/video, illustration and 3D animation /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Language materials, printed)
Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Language materials, printed)
Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
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)
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 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)
Learn Pixi.js = create great interactive graphics for games and the Web /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Language materials, printed)
Microservices, IoT, and Azure = leveraging DevOps and microservice architecture to deliver SaaS solutions /
by:
(Language materials, printed)
Object-oriented analysis, design and implementation = an integrated approach /
by:
(Language materials, printed)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Language materials, printed)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(Language materials, printed)
Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastian, Spain, July 20, 2015 : revised selected papers /
by:
(Language materials, printed)
Meta-programming and model-driven meta-program development = principles, processes and techniques /
by:
(Language materials, printed)
Requirements engineering and management for software development projects
by:
(Language materials, printed)
Proceedings of the FISITA 2012 World Automotive Congress.. Volume 6,. Vehicle electronics
by:
(Language materials, printed)
BiLBIQ = a biologically inspired robot with walking and rolling locomotion /
by:
(Language materials, printed)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Distributed computing and networking = 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 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)
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)
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)
Aliasing in object-oriented programming = types, analysis, and verification /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected 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)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Programming multi-agent systems = 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers /
by:
(Language materials, printed)
ECOOP 2013 = object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers /
by:
(Language materials, printed)
Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 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)
Advanced network programming - principles and techniques = network application programming with Java /
by:
(Language materials, printed)
An introduction to network programming with Java = Java 7 Compatible /
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)
Automated reasoning with analytic tableaux and related methods = 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 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)
Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 : proceedings /
by:
(Language materials, printed)
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
(Language materials, printed)
Frontiers of combining systems = 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings /
by:
(Language materials, printed)
Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings /
by:
(Language materials, printed)
How to recruit and hire great software engineers = Building a Crack Development Team /
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)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
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)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised 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)
Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 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)
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)
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)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Language materials, printed)
Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 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)
Rules on the web = research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 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)
Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I /
by:
(Language materials, printed)
Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II /
by:
(Language materials, printed)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 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)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 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)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 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)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(Language materials, printed)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(Language materials, printed)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
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)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
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)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
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)
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)
Dependable networks and services = 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings /
by:
(Language materials, printed)
Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 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)
Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : 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)
Algorithmic decision theory = third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 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)
Applications of declarative programming and knowledge management = 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011 : 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)
Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings /
by:
(Language materials, printed)
Engineering multi-agent systems = first International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 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)
Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings /
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)
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)
The Cinderella.2 Manual = working with the interactive geometry software /
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)
Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(Language materials, printed)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Language materials, printed)
Soft computing methods for microwave and millimeter-wave design problems
by:
(Language materials, printed)
Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(Language materials, printed)
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 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)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 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)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Evolutionary and biologically inspired music, sound, art and design = first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers /
by:
(Language materials, printed)
Advances in software engineering techniques = 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers /
by:
(Language materials, printed)
Fundamentals of software engineering = 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)
Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I /
by:
(Language materials, printed)
Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II /
by:
(Language materials, printed)
Software product management and pricing = key success factors for software organizations /
by:
(Language materials, printed)
Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
by:
(Language materials, printed)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(Language materials, printed)
Success with Microsoft Dynamics CRM 4.0 = implementing customer relationship management /
by:
(Language materials, printed)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Language materials, printed)
Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
by:
(Language materials, printed)
End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings /
by:
(Language materials, printed)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Language materials, printed)
Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings /
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)
Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 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)
Applications of declarative programming and knowledge management = 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
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)
Applications of evolutionary computing = EvoWorkshops 2009 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tubingen, Germany, April 15-17, 2009. Proceedings /
by:
(Language materials, printed)
Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Language materials, printed)
Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Language materials, printed)
Software verification and analysis = an integrated, hands-on approach /
by:
(Language materials, printed)
Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers /
by:
(Language materials, printed)
Beginning ASP.NET E-Commerce in C# = from novice to professional /
by:
(Language materials, printed)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
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)
Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings /
by:
(Language materials, printed)
Object oriented simulation = a modeling and programming perspective /
by:
(Language materials, printed)
Beginning database-driven application development in Java EE = using GlassFish /
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)
Distributed computing and networking = 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings /
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)
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)
Programming languages and operational semantics = a concise overview /
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)
Open source geospatial tools = applications in earth observation /
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)
Programming Smalltalk - object-orientation from the beginning = an introduction to the principles of programming /
by:
(Language materials, printed)
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
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)
Collaborative quality assurance in information systems development = the interaction of software development techniques and team cognition /
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)
MMOs from the outside in = the massively-multiplayer online ro le-playing games of psychology, law, government, and real life /
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)
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)
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)
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)
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)
From tracking code to analysis = generalised Courant-Snyder theory for any accelerator model /
by:
(Language materials, printed)
Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part I /
by:
(Language materials, printed)
Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part II /
by:
(Language materials, printed)
Beginning SOLID principles and design patterns for ASP.NET developers
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)
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)
Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 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 : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings /
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)
Building Arduino projects for the internet of things = experiments with real-world applications /
by:
(Language materials, printed)
Numerical simulation in physics and engineering = lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School /
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)
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)
Scala = from a functional programming perspective : an introduction to the programming language /
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)
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)
Software developers as users = semiotic investigations in human-centered software development /
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)
Working with the American community survey in R = a guide to using the acs package /
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)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Language materials, printed)
Salesforce.com lightning process builder and visual workflow = a practical guide to model-driven development on the Force.com platform /
by:
(Language materials, printed)
Beginning iPhone development with Swift 3 = exploring the iOS SDK /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers /
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)
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)
Rapid game development using Cocos2d-JS = an end-to-end guide to 2D game development using JavaScript /
by:
(Language materials, printed)
PHP persistence = concepts, techniques and practical solutions with Doctrine /
by:
(Language materials, printed)
Supercomputing = second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
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)
Spring Boot messaging = messaging APIs for enterprise and integration solutions /
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)
Tools for high performance computing 2016 = proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany /
by:
(Language materials, printed)
MATLAB deep learning : = with machine learning, neural networks and artificial intelligence /
by:
(Language materials, printed)
Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers /
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)
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)
Conceptual modeling = 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017 : proceedings /
by:
(Language materials, printed)
Practical Python design patterns = Pythonic solutions to common problems /
by:
(Language materials, printed)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
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)
Beginning iPhone development with Swift 4 = exploring the iOS SDK /
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)
Tests and proofs = 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 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)
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)
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 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)
Deterministic global optimization = an introduction to the diagonal approach /
by:
(Language materials, printed)
Winning design! = LEGO MINDSTORMS EV3 design patterns for fun and competition /
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)
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)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Processing for Android = create mobile, sensor-aware, and VR applications using processing /
by:
(Language materials, printed)
Beginning Java 9 fundamentals = arrays, objects, modules, JShell, and regular expressions /
by:
(Language materials, printed)
The definitive guide to Firebase = build Android Apps on Google's mobile platform /
by:
(Language materials, printed)
Java unit testing with JUnit 5 = test driven development with JUnit 5 /
by:
(Language materials, printed)
Beginning progressive web app development = creating a native app experience on the web /
by:
(Language materials, printed)
Functional data structures in R = advanced statistical programming in R /
by:
(Language materials, printed)
Introduction to MATLAB for engineers and scientists = solutions for numerical computation and modeling /
by:
(Language materials, printed)
Learn microservices with Spring Boot = a practical approach to RESTful Services using RabbitMQ, Eureka, Ribbon, Zuul and Cucumber /
by:
(Language materials, printed)
Java EE web application primer = building Bullhorn : a messaging app with JSP, Servlets, JavaScript, Bootstrap and Oracle /
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)
Reusable firmware development = a practical approach to APIs, HALs and drivers /
by:
(Language materials, printed)
Guide to competitive programming = learning and improving algorithms through contests /
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)
Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 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)
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)
Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
(Language materials, printed)
Modular design frameworks = a projects-based guide for UI/UX designers /
by:
(Language materials, printed)
Beginning Microsoft Kinect for Windows SDK 2.0 = motion and depth sensing for natural user interfaces /
by:
(Language materials, printed)
Android continuous integration = build-deploy-test automation for Android mobile apps /
by:
(Language materials, printed)
Pro Java clustering and scalability = building real-time apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ /
by:
(Language materials, printed)
Practical LXC and LXD = Linux Containers for virtualization and orchestration /
by:
(Language materials, printed)
Model and data engineering = 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 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)
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)
Expanding your Raspberry Pi = storage, printing, peripherals, and network connections for your Raspberry Pi /
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)
Reactive with ClojureScript recipes = functional programming for the web /
by:
(Language materials, printed)
A beginner's guide to Scala, object orientation and functional programming
by:
(Language materials, printed)
Language and automata theory and applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings /
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)
Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II /
by:
(Language materials, printed)
Java APIs, extensions and libraries = With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
by:
(Language materials, printed)
Essential PowerShell for Office 365 = managing and automating skills for improved productivity /
by:
(Language materials, printed)
Good habits for great coding = improving programming skills with examples in Python /
by:
(Language materials, printed)
The definitive guide to AdonisJs = building Node.js applications with JavaScript /
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)
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)
Engineering multi-agent systems = 5th international workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017 : revised selected papers /
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)
The definitive guide to JSF in Java EE 8 = building web applications with JavaServer faces /
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)
Theory and applications of satisfiability testing - SAT 2018 = 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 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)
Affective feedback in intelligent tutoring systems = a practical approach /
by:
(Language materials, printed)
Domain-specific languages in R = advanced statistical programming /
by:
(Language materials, printed)
Modern data access with entity framework core = database programming techniques for .NET, .NET Core, UWP, and Xamarin with C# /
by:
(Language materials, printed)
Mathematical software - ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 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)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Language materials, printed)
Practical GameMaker projects = build games with GameMaker Studio 2 /
by:
(Language materials, printed)
Routines of substitution = John von Neumann's Work on Software Development, 1945-1948 /
by:
(Language materials, printed)
Guide to programming for the digital humanities = lessons for introductory Python /
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)
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)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(Language materials, printed)
Programming with actors = state-of-the-art and research perspectives /
by:
(Language materials, printed)
Regex quick syntax reference = understanding and using regular expressions /
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)
Introduction to parallel computing = from algorithms to programming on state-of-the-art 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)
Declarative programming and knowledge management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
by:
(Language materials, printed)
AI approaches to the complexity of legal systems = AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017 : revised selected papers /
by:
(Language materials, printed)
Python descriptors = understanding and using the descriptor protocol /
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)
Learn Android Studio 3 with Kotlin = efficient Android app development /
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)
Stylish F# = crafting elegant functional code for .NET and .NET core /
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)
Beginning functional JavaScript = uncover the concepts of functional programming with EcmaScript 8 /
by:
(Language materials, printed)
Concise guide to object-oriented programming = an accessible approach using Java /
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)
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)
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)
The art of high performance computing for computational science.. Volume 1,. Techniques of speedup and parallelization for general purposes
by:
(Language materials, printed)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(Language materials, printed)
Modeling and optimization in space engineering = state of the art and new challenges /
by:
(Language materials, printed)
Design patterns in .NET = reusable approaches in C# and F# for object-oriented software design /
by:
(Language materials, printed)
Pro MERN stack = full stack web app development with Mongo, Express, React, and Node /
by:
(Language materials, printed)
Deep reinforcement learning = frontiers of artificial intelligence /
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)
Reuse in the big data era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019 : proceedings /
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)
Pro iPhone development with Swift 5 = design and manage top quality apps /
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)
The definitive guide to Spring Batch = modern finite batch processing in the Cloud /
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)
Surviving the whiteboard interview = a developer's guide to using soft skills to get hired /
by:
(Language materials, printed)
Introducing Delphi ORM = object relational mapping using TMS Aurelius /
by:
(Language materials, printed)
Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications /
by:
(Language materials, printed)
Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
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)
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)
Making sense of sensors = end-to-end algorithms and infrastructure design from wearable-devices to data center /
by:
(Language materials, printed)
Pro Hadoop data analytics = designing and building big data systems using the Hadoop ecosystem /
by:
(Language materials, printed)
Beginning Laravel = a beginner's guide to application development with Laravel 5.3 /
by:
(Language materials, printed)
PHP arrays = single, multi-dimensional, associative and object arrays in PHP 7 /
by:
(Language materials, printed)
Agent based modelling of urban systems = first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016 : revised, selected, and invited papers /
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)
Kubernetes management design patterns = with Docker, CoreOS Linux, and other platforms /
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)
Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings /
by:
(Language materials, printed)
High-performance scientific computing = first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 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)
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 iPhone Development with Swift 2 = Exploring the iOS SDK /
by:
(Language materials, printed)
Object-Oriented Analysis, Design and Implementation = An Integrated Approach /
by:
(Language materials, printed)
Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
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)
Fields of Logic and Computation II = Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
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)
Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers /
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)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Virtual Worlds as Philosophical Tools = How to Philosophize with a Digital Hammer /
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)
Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions /
by:
(Language materials, printed)
Xamarin Mobile Application Development = Cross-Platform C# and Xamarin.Forms Fundamentals /
by:
(Language materials, printed)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
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)
Guide to High Performance Distributed Computing = Case Studies with Hadoop, Scalding and Spark /
by:
(Language materials, printed)
Patterns of HCI Design and HCI Design of Patterns = Bridging HCI Design and Model-Driven Software Engineering /
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)
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)
SPS-Programmierung in Anweisungsliste nach IEC 61131-3 = Eine systematische und handlungsorientierte Einführung in die strukturierte Programmierung /
by:
(Language materials, printed)
Smart Learning Objects for Smart Education in Computer Science = Theory, Methodology and Robot-Based Implementation /
by:
(Language materials, printed)
Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming /
by:
(Language materials, printed)
Android Studio New Media Fundamentals = Content Production of Digital Audio/Video, Illustration and 3D Animation /
by:
(Language materials, printed)
Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods /
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)
Frontiers of Combining Systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
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)
Automated Reasoning with Analytic Tableaux and Related Methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 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)
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)
Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Inductive Logic Programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 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)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
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)
Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Agent Environments for Multi-Agent Systems IV = 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers /
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)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Language materials, printed)
Open Source Geospatial Tools = Applications in Earth Observation /
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)
SAS Programming and Data Visualization Techniques = A Power User's Guide /
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)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
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)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(Language materials, printed)
Salesforce.com Lightning Process Builder and Visual Workflow = A Practical Guide to Model-Driven Development on the Force.com Platform /
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)
Material Design Implementation with AngularJS = UI Component Framework /
by:
(Language materials, printed)
Beginning iPhone Development with Swift 3 = Exploring the iOS SDK /
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)
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)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
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)
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)
Rapid Game Development Using Cocos2d-JS = An end-to-end guide to 2D game development using JavaScript /
by:
(Language materials, printed)
Programmieren für Ingenieure und Naturwissenschaftler = Grundlagen /
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)
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)
MMOs from the Outside In = The Massively-Multiplayer Online Role-Playing Games of Psychology, Law, Government, and Real Life /
by:
(Language materials, printed)
Inductive Logic Programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
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)
Moving to Responsive Web Design = Bring existing static sites into today's multi-device world with responsive web design /
by:
(Language materials, printed)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
by:
(Language materials, printed)
Source Code Analytics With Roslyn and JavaScript Data Visualization
by:
(Language materials, printed)
MVVM in Delphi = Architecting and Building Model View ViewModel Applications /
by:
(Language materials, printed)
Numerical Simulation in Physics and Engineering = Lecture Notes of the XVI 'Jacques-Louis Lions' Spanish-French School /
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)
Die Welt der VBA-Objekte = Was integrierte Anwendungen leisten können /
by:
(Language materials, printed)
Microservices From Day One = Build robust and scalable software from the start /
by:
(Language materials, printed)
Agile objektorientierte Software-Entwicklung = Schritt für Schritt vom Geschäftsprozess zum Java-Programm /
by:
(Language materials, printed)
Software Developers as Users = Semiotic Investigations in Human-Centered Software Development /
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)
Collaborative Quality Assurance in Information Systems Development = The Interaction of Software Development Techniques and Team Cognition /
by:
(Language materials, printed)
Beginning KeystoneJS = A practical introduction to KeystoneJS using a real-world project /
by:
(Language materials, printed)
Beginning SOLID Principles and Design Patterns for ASP.NET Developers
by:
(Language materials, printed)
Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript /
by:
(Language materials, printed)
Penetration Testing Basics = A Quick-Start Guide to Breaking into Systems /
by:
(Language materials, printed)
Working with the American Community Survey in R = A Guide to Using the acs Package /
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)
Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 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)
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)
From Tracking Code to Analysis = Generalised Courant-Snyder Theory for Any Accelerator Model /
by:
(Language materials, printed)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 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)
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)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
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)
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)
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)
High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
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)
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)
Routines of Substitution = John von Neumann’s Work on Software Development, 1945–1948 /
by:
(Language materials, printed)
Regex Quick Syntax Reference = Understanding and Using Regular Expressions /
by:
(Language materials, printed)
Learn to Program with Python 3 = A Step-by-Step Guide to Programming /
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)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
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)
Physically Based Shader Development for Unity 2017 = Develop Custom Lighting Systems /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Stylish F# = Crafting Elegant Functional Code for .NET and .NET Core /
by:
(Language materials, printed)
Beginning Functional JavaScript = Uncover the Concepts of Functional Programming with EcmaScript 8 /
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)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
(Language materials, printed)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(Language materials, printed)
Introduction to Parallel Computing = From Algorithms to Programming on State-of-the-Art Platforms /
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)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Learn Android Studio 3 with Kotlin = Efficient Android App Development /
by:
(Language materials, printed)
Guide to Programming for the Digital Humanities = Lessons for Introductory Python /
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)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers /
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)
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)
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)
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)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 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)
Inductive Logic Programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings /
by:
(Language materials, printed)
Java APIs, Extensions and Libraries = With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
by:
(Language materials, printed)
Learn Rails 5.2 = Accelerated Web Development with Ruby on Rails /
by:
(Language materials, printed)
AI Approaches to the Complexity of Legal Systems = AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /
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)
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)
Essential PowerShell for Office 365 = Managing and Automating Skills for Improved Productivity /
by:
(Language materials, printed)
Das C++ Tutorial = Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler /
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)
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)
The Definitive Guide to JSF in Java EE 8 = Building Web Applications with JavaServer Faces /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
A Beginner's Guide to Scala, Object Orientation and Functional Programming
by:
(Language materials, printed)
Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 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)
The Definitive Guide to AdonisJs = Building Node.js Applications with JavaScript /
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)
Modern Data Access with Entity Framework Core = Database Programming Techniques for .NET, .NET Core, UWP, and Xamarin with C# /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 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)
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence = 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers /
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)
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)
Pro iPhone Development with Swift 4 = Design and Manage Top Quality Apps /
by:
(Language materials, printed)
Java Language Features = With Modules, Streams, Threads, I/O, and Lambda Expressions /
by:
(Language materials, printed)
Practical Python AI Projects = Mathematical Models of Optimization Problems with Google OR-Tools /
by:
(Language materials, printed)
Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program /
by:
(Language materials, printed)
Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Practical GameMaker Projects = Build Games with GameMaker Studio 2 /
by:
(Language materials, printed)
Affective Feedback in Intelligent Tutoring Systems = A Practical Approach /
by:
(Language materials, printed)
Microsoft Computer Vision APIs Distilled = Getting Started with Cognitive Services /
by:
(Language materials, printed)
C++17 Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library /
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)
Practical Microservices Architectural Patterns = Event-Based Java Microservices with Spring Boot and Spring Cloud /
by:
(Language materials, printed)
Designing Thriving Systems = Marrying Technical Rationality and Appreciative Systems /
by:
(Language materials, printed)
Qualitätssicherung durch Softwaretests = Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /
by:
(Language materials, printed)
The Definitive Guide to Spring Batch = Modern Finite Batch Processing in the Cloud /
by:
(Language materials, printed)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
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)
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Beginning Jakarta EE = Enterprise Edition for Java: From Novice to Professional /
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)
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)
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)
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)
Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Learn RStudio IDE = Quick, Effective, and Productive Data Science /
by:
(Language materials, printed)
Modeling and Optimization in Space Engineering = State of the Art and New Challenges /
by:
(Language materials, printed)
The Art of High Performance Computing for Computational Science, Vol. 2 = Advanced Techniques and Examples for Materials Science /
by:
(Language materials, printed)
Tools for High Performance Computing 2017 = Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany /
by:
(Language materials, printed)
Beginning x64 Assembly Programming = From Novice to AVX Professional /
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)
R Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library /
by:
(Language materials, printed)
Advanced Software Technologies for Post-Peta Scale Computing = The Japanese Post-Peta CREST Research Project /
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)
Practical Django 2 and Channels 2 = Building Projects and Applications with Real-Time Capabilities /
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)
Logische und Methodische Grundlagen der Programm- und Systementwicklung = Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis /
by:
(Language materials, printed)
Future-Proof Software-Systems = A Sustainable Evolution Strategy /
by:
(Language materials, printed)
Modern C Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Pro Spring Boot 2 = An Authoritative Guide to Building Microservices, Web and Enterprise Applications, and Best Practices /
by:
(Language materials, printed)
Building Chatbots with Python = Using Natural Language Processing and Machine Learning /
by:
(Language materials, printed)
Design Patterns in .NET = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(Language materials, printed)
Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse /
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)
Haskell Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Soft Skills to Advance Your Developer Career = Actionable Steps to Help Maximize Your Potential /
by:
(Language materials, printed)
Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
Concise Guide to Object-Oriented Programming = An Accessible Approach Using Java /
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)
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)
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)
The Art of High Performance Computing for Computational Science, Vol. 1 = Techniques of Speedup and Parallelization for General Purposes /
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)
Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten /
by:
(Language materials, printed)
Introducing Delphi ORM = Object Relational Mapping Using TMS Aurelius /
by:
(Language materials, printed)
Pro iPhone Development with Swift 5 = Design and Manage Top Quality Apps /
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)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
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)
Surviving the Whiteboard Interview = A Developer’s Guide to Using Soft Skills to Get Hired /
by:
(Language materials, printed)
Deep Reinforcement Learning = Frontiers of Artificial Intelligence /
by:
(Language materials, printed)
C++ for Lazy Programmers = Quick, Easy, and Fun C++ for Beginners /
by:
(Language materials, printed)
Essential Angular for ASP.NET Core MVC 3 = A Practical Guide to Successfully Using Both in Your Projects /
by:
(Language materials, printed)
Reuse in the Big Data Era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, 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)
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)
Developing Medical Apps and mHealth Interventions = A Guide for Researchers, Physicians and Informaticians /
by:
(Language materials, printed)
Introducing Algorithms in C = A Step by Step Guide to Algorithms in C /
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)
Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /
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)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(Language materials, printed)
Deep Reinforcement Learning = Fundamentals, Research and Applications /
by:
(Language materials, printed)
The Art of Immutable Architecture = Theory and Practice of Data Management in Distributed Systems /
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)
Implementing Effective Code Reviews = How to Build and Maintain Clean Code /
by:
(Language materials, printed)
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited 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)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
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)
Fuzzy Relational Mathematical Programming = Linear, Nonlinear and Geometric Programming Models /
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)
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)
Android Apps Security = Mitigate Hacking Attacks and Security Breaches /
by:
(Language materials, printed)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
Guide to Competitive Programming = Learning and Improving Algorithms Through Contests /
by:
(Language materials, printed)
A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof /
by:
(Language materials, printed)
Beginning Unreal Game Development = Foundation for Simple to Complex Games Using Unreal Engine 4 /
by:
(Language materials, printed)
Software Project Estimation = Intelligent Forecasting, Project Control, and Client Relationship Management /
by:
(Language materials, printed)
Build a Next-Generation Digital Workplace = Transform Legacy Intranets to Employee Experience Platforms /
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)
Open Source Systems = 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings /
by:
(Language materials, printed)
C# 8 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Virtual Reality with VRTK4 = Create Immersive VR Experiences Leveraging Unity3D and Virtual Reality Toolkit /
by:
(Language materials, printed)
Introducing Azure Kubernetes Service = A Practical Guide to Container Orchestration /
by:
(Language materials, printed)
Pivotal Certified Professional Core Spring 5 Developer Exam = A Study Guide Using Spring Framework 5 /
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)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
by:
(Language materials, printed)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
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)
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)
Understanding Oracle APEX 20 Application Development = Think Like an Application Express Developer /
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)
Designing Products for Evolving Digital Users = Study UX Behavior Patterns, Online Communities, and Future Digital Trends /
by:
(Language materials, printed)
Learn Android Studio 4 = Efficient Java-Based Android Apps Development /
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)
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)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 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)
C# Programming for Absolute Beginners = Learn to Think Like a Programmer and Start Writing Code /
by:
(Language materials, printed)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger /
by:
(Language materials, printed)
Introduction to Computational Thinking = Problem Solving, Algorithms, Data Structures, and More /
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)
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography = Efficient Modular Exponential Techniques /
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)
Quality of Information and Communications Technology = 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings /
by:
(Language materials, printed)
Agile objektorientierte Software-Entwicklung = Schritt für Schritt vom Geschäftsprozess zum Java-Programm /
by:
(Language materials, printed)
Beginning Unity Editor Scripting = Create and Publish Your Game Tools /
by:
(Language materials, printed)
C++ mit Visual Studio 2019 = C++17 für Studierende und erfahrene Programmierer /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 24th International Conference, FASE 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)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
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)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
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)
Beginning Unreal Engine 4 Blueprints Visual Scripting = Using C++: From Beginner to Pro /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 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)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
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)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
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)
Model-Driven Engineering and Software Development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Pro C# 9 with .NET 5 = Foundational Principles and Practices in Programming /
by:
(Language materials, printed)
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /
by:
(Language materials, printed)
Tools for High Performance Computing 2018 / 2019 = Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019 /
by:
(Language materials, printed)
Visual Studio Code Distilled = Evolved Code Editing for Windows, macOS, and Linux /
by:
(Language materials, printed)
Introduction to Video Game Engine Development = Learn to Design, Implement, and Use a Cross-Platform 2D Game Engine /
by:
(Language materials, printed)
Essential Computer Science = A Programmer’s Guide to Foundational Concepts /
by:
(Language materials, printed)
Clean C++20 = Sustainable Software Development Patterns and Best Practices /
by:
(Language materials, printed)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(Language materials, printed)
Spring Boot with React and AWS = Learn to Deploy a Full Stack Spring Boot React Application to AWS /
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)
Introducing Distributed Application Runtime (Dapr) = Simplifying Microservices Applications Development Through Proven and Reusable Patterns and Practices /
by:
(Language materials, printed)
Quickstart Python = An Introduction to Programming for STEM Students /
by:
(Language materials, printed)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
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)
Fundamental Approaches to Software Engineering = 24th International Conference, FASE 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)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 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)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 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)
Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings /
by:
(Language materials, printed)
Building web applications with Vue.js = MVVM patterns for conventional and single-page websites /
by:
(Language materials, printed)
Advanced Blockchain Technology = Frameworks and Enterprise-Level Practices /
by:
(Language materials, printed)
SQL Server Database Programming with Java = Concepts, Designs and Implementations /
by:
(Language materials, printed)
Logic Programming and Nonmonotonic Reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings /
by:
(Language materials, printed)
Distributed Computing and Optimization Techniques = Select Proceedings of ICDCOT 2021 /
by:
(Language materials, printed)
Grundlagen der Computergrafik = Eine Einführung mit OpenGL und Java /
by:
(Language materials, printed)
Knowledge Engineering and Knowledge Management = 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(Language materials, printed)
Animated Program Design = Intermediate Program Design Using Video Game Development /
by:
(Language materials, printed)
Concise Guide to Software Engineering = From Fundamentals to Application Methods /
by:
(Language materials, printed)
Getting Started with the Uno Platform and WinUI 3 = Hands-On Building of Cross-Platform Desktop, Mobile, and Web Applications That Can Run Anywhere /
by:
(Language materials, printed)
Service-Oriented Computing = 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3–9, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings /
by:
(Language materials, printed)
A Geographer's Guide to Computing Fundamentals = Python in ArcGIS Pro /
by:
(Language materials, printed)
Programming Languages and Systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings /
by:
(Language materials, printed)
PLC Programming In Instruction List According To IEC 61131-3 = A Systematic And Action-Oriented Introduction In Structured Programming /
by:
(Language materials, printed)
Introducing Microsoft Orleans = Implementing Cloud-Native Services with a Virtual Actor Framework /
by:
(Language materials, printed)
Introduction to Quantum Computing = From a Layperson to a Programmer in 30 Steps /
by:
(Language materials, printed)
Reuse and Software Quality = 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15–17, 2022, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(Language materials, printed)
Software Product Management = The ISPMA®-Compliant Study Guide and Handbook /
by:
(Language materials, printed)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Patterns of Software Construction = How to Predictably Build Results /
by:
(Language materials, printed)
Pro C# 10 with .NET 6 = Foundational Principles and Practices in Programming /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings /
by:
(Language materials, printed)
Java Design Patterns = A Hands-On Experience with Real-World Examples /
by:
(Language materials, printed)
Beginning gRPC with ASP.NET Core 6 = Build Applications using ASP.NET Core Razor Pages, Angular, and Best Practices in .NET 6 /
by:
(Language materials, printed)
Programming Languages and Systems = 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings /
by:
(Language materials, printed)
Animated Problem Solving = An Introduction to Program Design Using Video Game Development /
by:
(Language materials, printed)
Pro Go = The Complete Guide to Programming Reliable and Efficient Software Using Golang /
by:
(Language materials, printed)
Java 17 Quick Syntax Reference = A Pocket Guide to the Java SE Language, APIs, and Library /
by:
(Language materials, printed)
Agile Visualization with Pharo = Crafting Interactive Visual Support Using Roassal /
by:
(Language materials, printed)
Design Patterns in Modern C++20 = Reusable Approaches for Object-Oriented Software Design /
by:
(Language materials, printed)
Beginning IntelliJ IDEA = Integrated Development Environment for Java Programming /
by:
(Language materials, printed)
Spring REST = Building Java Microservices and Cloud Applications /
by:
(Language materials, printed)
Python Unit Test Automation = Automate, Organize, and Execute Unit Tests in Python /
by:
(Language materials, printed)
C# 10 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
C++ mit Visual Studio 2022 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows-Programme mit C++ entwickeln /
by:
(Language materials, printed)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part I /
by:
(Language materials, printed)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II /
by:
(Language materials, printed)
Functional programming in R 4 = advanced statistical programming for data science, analysis, and finance /
by:
(Language materials, printed)
Diagrammatic representation and inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings /
by:
(Language materials, printed)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
(Language materials, printed)
Trends in functional programming = 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers /
by:
(Language materials, printed)
Operations research and data science in public services = 6th AIROYoung workshop, Rome, Italy, February 23-25, 2022 /
by:
(Language materials, printed)
The technical-business equilibrium = mastering the art of balancing technical expertise and business priorities /
by:
(Language materials, printed)
Docs-as-Ecosystem = the community approach to engineering documentation /
by:
(Language materials, printed)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(Language materials, printed)
Processing for Android = create mobile, sensor-aware, and XR applications using processing /
by:
(Language materials, printed)
Service-oriented computing = 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023 : revised selected papers /
by:
(Language materials, printed)
Composability, comprehensibility and correctness of working software = 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
(Language materials, printed)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(Language materials, printed)
Coding clean, reliable, and safe rest APIs with ASP.NET Core 8 = develop robust minimal APIs with .NET 8 /
by:
(Language materials, printed)
Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
by:
(Language materials, printed)
Frontiers in software engineering education = second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023 : revised selected papers /
by:
(Language materials, printed)
Learn coding with Python and JavaScript = a practical introduction for beginners /
by:
(Language materials, printed)
Reuse and software quality = 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers /
by:
(Language materials, printed)
DevSecOps adventures = a game-changing approach with Chocolate, LEGO, and coaching games /
by:
(Language materials, printed)
Guide to competitive programming = learning and improving algorithms through contests /
by:
(Language materials, printed)
Practical C++ STL programming = real-world applications with C++20 and C++23 /
by:
(Language materials, printed)
Java 23 for absolute beginners = learn the fundamentals of Java programming /
by:
(Language materials, printed)
Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /
by:
(Language materials, printed)
Hands-on object-oriented programming = mastering OOP features for real-world software systems development /
by:
(Language materials, printed)
The embedded project cookbook = a step-by-step guide for microcontroller projects /
by:
(Language materials, printed)
Show more
Fewer
Subjects