Programming Techniques.
概要
| 作品: | 1789 作品在 720 項出版品 720 種語言 | |
|---|---|---|
書目資訊
Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multiagent System Technologies : = Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Reconfigurable Computing = Accelerating Computation with Field-Programmable Gate Arrays /
by:
(書目-語言資料,印刷品)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Guide to high performance distributed computing = case studies with Hadoop, Scalding and Spark /
by:
(書目-語言資料,印刷品)
Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Foundation Flex for Developers = Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS /
by:
(書目-語言資料,印刷品)
Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Xamarin mobile application development = cross-platform C# and Xamarin.Forms fundamentals /
by:
(書目-語言資料,印刷品)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beginning Web Development, Silverlight, and ASP.NET AJAX = From Novice to Professional /
by:
(書目-語言資料,印刷品)
MooTools essentials = the official MooTools reference for JavaScript and Ajax development /
by:
(書目-語言資料,印刷品)
Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Communicating Sequential Processes. The First 25 Years = Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
by:
(書目-語言資料,印刷品)
Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions /
by:
(書目-語言資料,印刷品)
A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Modelling autonomic communications environments = third IEEE international workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Multiagent system technologies = 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
by:
(書目-語言資料,印刷品)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-語言資料,印刷品)
High Confidence Software Reuse in Large Systems = 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(書目-語言資料,印刷品)
Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Metainformatics = International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
by:
(書目-語言資料,印刷品)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers /
by:
(書目-語言資料,印刷品)
Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(書目-語言資料,印刷品)
Pro Java EE spring patterns = best practices and design strategies implementing java EE patterns with the spring framework /
by:
(書目-語言資料,印刷品)
Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
by:
(書目-語言資料,印刷品)
The Best of Verity Stob = Highlights of Verity Stob's Famous Columns From EXE, Dr. Dobb's Journal, and The Register /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
by:
(書目-語言資料,印刷品)
Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
The Definitive Guide to Terracotta = Cluster the JVM for Spring, Hibernate, and POJO Scalability /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = third international conference, SUM 2009, Washington, DC, September 28-30, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(書目-語言資料,印刷品)
JavaFX special effects = taking Java Ria to the extreme with animation, multimedia, and game elements /
by:
(書目-語言資料,印刷品)
Introduction to Windows Azure = an introduction to cloud computing using Microsoft Windows Azure /
by:
(書目-語言資料,印刷品)
Beginning Java and Flex = migrating Java, Spring, Hibernate, and Maven developers to Adobe Flex /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Expert oracle and Java Security = programming secure Oracle database applications with Java /
by:
(書目-語言資料,印刷品)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Adaptive and natural computing algorithms : = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(書目-語言資料,印刷品)
Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Multiagent system technologies = 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering for resilient systems = third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced parallel processing technologies = 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Android studio new media fundamentals = content production of digital audio/video, illustration and 3D animation /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Microservices, IoT, and Azure = leveraging DevOps and microservice architecture to deliver SaaS solutions /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Meta-programming and model-driven meta-program development = principles, processes and techniques /
by:
(書目-語言資料,印刷品)
Proceedings of the FISITA 2012 World Automotive Congress.. Volume 6,. Vehicle electronics
by:
(書目-語言資料,印刷品)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Distributed computing and networking = 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software engineering = International Summer Schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems = 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
ECOOP 2013 = object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced network programming - principles and techniques = network application programming with Java /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
The beauty of functional code = essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
How to recruit and hire great software engineers = Building a Crack Development Team /
by:
(書目-語言資料,印刷品)
Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Rules on the web = research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = first International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Ada 2012 reference manual = language and standard libraries : International Standard ISO/IEC 8652/2012 (E) /
by:
(書目-語言資料,印刷品)
Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Software product management and pricing = key success factors for software organizations /
by:
(書目-語言資料,印刷品)
Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Success with Microsoft Dynamics CRM 4.0 = implementing customer relationship management /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings /
by:
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(書目-語言資料,印刷品)
Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(書目-語言資料,印刷品)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers /
by:
(書目-語言資料,印刷品)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Distributed computing and networking = 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
OpenSHMEM and related technologies = experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming Smalltalk - object-orientation from the beginning = an introduction to the principles of programming /
by:
(書目-語言資料,印刷品)
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Collaborative quality assurance in information systems development = the interaction of software development techniques and team cognition /
by:
(書目-語言資料,印刷品)
Windows 10 development recipes = a problem-solution approach in HTML and JavaScript /
by:
(書目-語言資料,印刷品)
Learn PHP 7 = object-oriented modular programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL /
by:
(書目-語言資料,印刷品)
MMOs from the outside in = the massively-multiplayer online ro le-playing games of psychology, law, government, and real life /
by:
(書目-語言資料,印刷品)
Oracle Certified Professional Java SE 8 programmer exam 1Z0-809 = comprehensive OCPJP 8 certification guide /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
From tracking code to analysis = generalised Courant-Snyder theory for any accelerator model /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Software reuse = bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in data mining = applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Building Arduino projects for the internet of things = experiments with real-world applications /
by:
(書目-語言資料,印刷品)
Numerical simulation in physics and engineering = lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School /
by:
(書目-語言資料,印刷品)
Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Moving to responsive web design = bring existing static sites into today's multi-device world with responsive web design /
by:
(書目-語言資料,印刷品)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Scala = from a functional programming perspective : an introduction to the programming language /
by:
(書目-語言資料,印刷品)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software developers as users = semiotic investigations in human-centered software development /
by:
(書目-語言資料,印刷品)
Working with the American community survey in R = a guide to using the acs package /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Salesforce.com lightning process builder and visual workflow = a practical guide to model-driven development on the Force.com platform /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers /
by:
(書目-語言資料,印刷品)
Beginning KeystoneJS = a practical introduction to KeystoneJS using a real-world project /
by:
(書目-語言資料,印刷品)
Rapid game development using Cocos2d-JS = an end-to-end guide to 2D game development using JavaScript /
by:
(書目-語言資料,印刷品)
Supercomputing = second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code /
by:
(書目-語言資料,印刷品)
Reactive programming with Angular and Ngrx = learn to harness the power of reactive programming with RxJS and Ngrx extensions /
by:
(書目-語言資料,印刷品)
MATLAB deep learning : = with machine learning, neural networks and artificial intelligence /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Conceptual modeling = 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligent systems = 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Grand timely topics in software engineering = International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Rules and reasoning = International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation = 10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in data mining = applications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
JavaScript essentials for SAP ABAP developers = a guide to mobile and desktop application development /
by:
(書目-語言資料,印刷品)
Low-level programming = C, Assembly, and program execution on Intel 64 architecture /
by:
(書目-語言資料,印刷品)
Building apps for the universal Windows platform = explore Windows 10 Native, IoT, HoloLens, and Xamarin /
by:
(書目-語言資料,印刷品)
iOS code testing = test-driven development and behavior-driven development with Swift /
by:
(書目-語言資料,印刷品)
MATLAB deep learning = with machine learning, neural networks and artificial intelligence /
by:
(書目-語言資料,印刷品)
Metaprogramming in R = advanced statistical programming for data science, analysis and finance /
by:
(書目-語言資料,印刷品)
Advanced object-oriented programming in R = statistical programming for data science, analysis and finance /
by:
(書目-語言資料,印刷品)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Processing for Android = create mobile, sensor-aware, and VR applications using processing /
by:
(書目-語言資料,印刷品)
Beginning Java 9 fundamentals = arrays, objects, modules, JShell, and regular expressions /
by:
(書目-語言資料,印刷品)
The definitive guide to Firebase = build Android Apps on Google's mobile platform /
by:
(書目-語言資料,印刷品)
Beginning progressive web app development = creating a native app experience on the web /
by:
(書目-語言資料,印刷品)
Introduction to MATLAB for engineers and scientists = solutions for numerical computation and modeling /
by:
(書目-語言資料,印刷品)
Learn microservices with Spring Boot = a practical approach to RESTful Services using RabbitMQ, Eureka, Ribbon, Zuul and Cucumber /
by:
(書目-語言資料,印刷品)
Java EE web application primer = building Bullhorn : a messaging app with JSP, Servlets, JavaScript, Bootstrap and Oracle /
by:
(書目-語言資料,印刷品)
Full stack AngularJS for Java developers = build a full-featured web application from scratch using AngularJS with Spring RESTful /
by:
(書目-語言資料,印刷品)
Guide to competitive programming = learning and improving algorithms through contests /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Building web applications with Visual Studio 2017 = using .NET Core and modern JavaScript frameworks /
by:
(書目-語言資料,印刷品)
Learn Unity for Android game development = a guide to game design, development, and marketing /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Beginning Microsoft Kinect for Windows SDK 2.0 = motion and depth sensing for natural user interfaces /
by:
(書目-語言資料,印刷品)
Android continuous integration = build-deploy-test automation for Android mobile apps /
by:
(書目-語言資料,印刷品)
Pro Java clustering and scalability = building real-time apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ /
by:
(書目-語言資料,印刷品)
Model and data engineering = 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Clean C++ = sustainable software development patterns and best practices with C++ 17 /
by:
(書目-語言資料,印刷品)
Expanding your Raspberry Pi = storage, printing, peripherals, and network connections for your Raspberry Pi /
by:
(書目-語言資料,印刷品)
Beginning Spring Boot 2 = applications and microservices with the Spring Framework /
by:
(書目-語言資料,印刷品)
Pro functional PHP programming = application development strategies for performance optimization, concurrency, testability, and code brevity /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Java APIs, extensions and libraries = With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
by:
(書目-語言資料,印刷品)
Essential PowerShell for Office 365 = managing and automating skills for improved productivity /
by:
(書目-語言資料,印刷品)
Good habits for great coding = improving programming skills with examples in Python /
by:
(書目-語言資料,印刷品)
The definitive guide to AdonisJs = building Node.js applications with JavaScript /
by:
(書目-語言資料,印刷品)
Beginning PostgreSQL on the cloud = simplifying database as a service on cloud platforms /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Design patterns in modern C++ = reusable approaches for object-oriented software design /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = 5th international workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Pivotal Certified Professional Core Spring 5 Developer Exam = A Study Guide Using Spring Framework 5 /
by:
(書目-語言資料,印刷品)
Modern C++ for Absolute Beginners = A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards /
by:
(書目-語言資料,印刷品)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Artificial Intelligence in Pharo = Implementing Neural Networks, Genetic Algorithms, and Neuroevolution /
by:
(書目-語言資料,印刷品)
C++20 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(書目-語言資料,印刷品)
Spring Quick Reference Guide = A Pocket Handbook for Spring Framework, Spring Boot, and More /
by:
(書目-語言資料,印刷品)
Beginning Quarkus Framework = Build Cloud-Native Enterprise Java Applications and Microservices /
by:
(書目-語言資料,印刷品)
Understanding Oracle APEX 20 Application Development = Think Like an Application Express Developer /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Designing Products for Evolving Digital Users = Study UX Behavior Patterns, Online Communities, and Future Digital Trends /
by:
(書目-語言資料,印刷品)
C++ mit Visual Studio 2019 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows Programme mit C++ entwickeln /
by:
(書目-語言資料,印刷品)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
C# Programming for Absolute Beginners = Learn to Think Like a Programmer and Start Writing Code /
by:
(書目-語言資料,印刷品)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger /
by:
(書目-語言資料,印刷品)
Introduction to Computational Thinking = Problem Solving, Algorithms, Data Structures, and More /
by:
(書目-語言資料,印刷品)
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography = Efficient Modular Exponential Techniques /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Agile objektorientierte Software-Entwicklung = Schritt für Schritt vom Geschäftsprozess zum Java-Programm /
by:
(書目-語言資料,印刷品)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beginning Unreal Engine 4 Blueprints Visual Scripting = Using C++: From Beginner to Pro /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beginning HCL Programming = Using Hashicorp Language for Automation and Configuration /
by:
(書目-語言資料,印刷品)
Pro Spring MVC with WebFlux = Web Development in Spring Framework 5 and Spring Boot 2 /
by:
(書目-語言資料,印刷品)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition /
by:
(書目-語言資料,印刷品)
Pointers in C Programming = A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays /
by:
(書目-語言資料,印刷品)
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Visual Studio Code Distilled = Evolved Code Editing for Windows, macOS, and Linux /
by:
(書目-語言資料,印刷品)
Introduction to Video Game Engine Development = Learn to Design, Implement, and Use a Cross-Platform 2D Game Engine /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Spring Boot with React and AWS = Learn to Deploy a Full Stack Spring Boot React Application to AWS /
by:
(書目-語言資料,印刷品)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Introducing Distributed Application Runtime (Dapr) = Simplifying Microservices Applications Development Through Proven and Reusable Patterns and Practices /
by:
(書目-語言資料,印刷品)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Building web applications with Vue.js = MVVM patterns for conventional and single-page websites /
by:
(書目-語言資料,印刷品)
SQL Server Database Programming with Java = Concepts, Designs and Implementations /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing and Optimization Techniques = Select Proceedings of ICDCOT 2021 /
by:
(書目-語言資料,印刷品)
Knowledge Engineering and Knowledge Management = 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Animated Program Design = Intermediate Program Design Using Video Game Development /
by:
(書目-語言資料,印刷品)
Concise Guide to Software Engineering = From Fundamentals to Application Methods /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Service-Oriented Computing = 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3–9, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
PLC Programming In Instruction List According To IEC 61131-3 = A Systematic And Action-Oriented Introduction In Structured Programming /
by:
(書目-語言資料,印刷品)
Introducing Microsoft Orleans = Implementing Cloud-Native Services with a Virtual Actor Framework /
by:
(書目-語言資料,印刷品)
Introduction to Quantum Computing = From a Layperson to a Programmer in 30 Steps /
by:
(書目-語言資料,印刷品)
Reuse and Software Quality = 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15–17, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Beginning gRPC with ASP.NET Core 6 = Build Applications using ASP.NET Core Razor Pages, Angular, and Best Practices in .NET 6 /
by:
(書目-語言資料,印刷品)
Animated Problem Solving = An Introduction to Program Design Using Video Game Development /
by:
(書目-語言資料,印刷品)
Pro Go = The Complete Guide to Programming Reliable and Efficient Software Using Golang /
by:
(書目-語言資料,印刷品)
Java 17 Quick Syntax Reference = A Pocket Guide to the Java SE Language, APIs, and Library /
by:
(書目-語言資料,印刷品)
Agile Visualization with Pharo = Crafting Interactive Visual Support Using Roassal /
by:
(書目-語言資料,印刷品)
Design Patterns in Modern C++20 = Reusable Approaches for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Beginning IntelliJ IDEA = Integrated Development Environment for Java Programming /
by:
(書目-語言資料,印刷品)
Python Unit Test Automation = Automate, Organize, and Execute Unit Tests in Python /
by:
(書目-語言資料,印刷品)
C# 10 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
C++ mit Visual Studio 2022 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows-Programme mit C++ entwickeln /
by:
(書目-語言資料,印刷品)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Functional programming in R 4 = advanced statistical programming for data science, analysis, and finance /
by:
(書目-語言資料,印刷品)
Diagrammatic representation and inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Operations research and data science in public services = 6th AIROYoung workshop, Rome, Italy, February 23-25, 2022 /
by:
(書目-語言資料,印刷品)
The technical-business equilibrium = mastering the art of balancing technical expertise and business priorities /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Processing for Android = create mobile, sensor-aware, and XR applications using processing /
by:
(書目-語言資料,印刷品)
Service-oriented computing = 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Coding clean, reliable, and safe rest APIs with ASP.NET Core 8 = develop robust minimal APIs with .NET 8 /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in software engineering education = second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers /
by:
(書目-語言資料,印刷品)
Learn coding with Python and JavaScript = a practical introduction for beginners /
by:
(書目-語言資料,印刷品)
Reuse and software quality = 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
DevSecOps adventures = a game-changing approach with Chocolate, LEGO, and coaching games /
by:
(書目-語言資料,印刷品)
Guide to competitive programming = learning and improving algorithms through contests /
by:
(書目-語言資料,印刷品)
Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Hands-on object-oriented programming = mastering OOP features for real-world software systems development /
by:
(書目-語言資料,印刷品)
The embedded project cookbook = a step-by-step guide for microcontroller projects /
by:
(書目-語言資料,印刷品)
Logic and argumentation = 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation = 18th International Conference, ICGT 2025, held as part of STAF 2025, Koblenz, Germany, June 11-12, 2025 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering made easy = a comprehensive reference guide for writing good code /
by:
(書目-語言資料,印刷品)
Nonsequential and distributed programming with Go = synchronization of concurrent processes /
by:
(書目-語言資料,印刷品)
Service-oriented computing = 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge engineering and knowledge management = 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers /
by:
(書目-語言資料,印刷品)
Chatbots and human-centered AI = 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024 : revised selected papers /
by:
(書目-語言資料,印刷品)
The art of decoding microservices = an in-depth exploration of modern software architecture /
by:
(書目-語言資料,印刷品)
Developing web components with Svelte = building a library of reusable UI components /
by:
(書目-語言資料,印刷品)
When Docker meets Java = a practical guide to Docker for Java and Spring Boot applications /
by:
(書目-語言資料,印刷品)
Introducing .NET MAUI = build and deploy cross-platform applications using C# and .NET 9.0 multi-platform App UI /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures /
by:
(書目-語言資料,印刷品)
Magical Haskell = a friendly approach to modern functional programming, type theory, and artificial intelligence /
by:
(書目-語言資料,印刷品)
更多
較少的
主題