Programming Techniques.
概要
| 作品: | 1757 作品在 688 項出版品 688 種語言 | |
|---|---|---|
書目資訊
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:
(書目-語言資料,印刷品)
The definitive guide to JSF in Java EE 8 = building web applications with JavaServer faces /
by:
(書目-語言資料,印刷品)
Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic, language, information, and computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Modern data access with entity framework core = database programming techniques for .NET, .NET Core, UWP, and Xamarin with C# /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Routines of substitution = John von Neumann's Work on Software Development, 1945-1948 /
by:
(書目-語言資料,印刷品)
Guide to programming for the digital humanities = lessons for introductory Python /
by:
(書目-語言資料,印刷品)
Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Introduction to parallel computing = from algorithms to programming on state-of-the-art platforms /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
(書目-語言資料,印刷品)
High performance computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Beginning functional JavaScript = uncover the concepts of functional programming with EcmaScript 8 /
by:
(書目-語言資料,印刷品)
Concise guide to object-oriented programming = an accessible approach using Java /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Foundations and practice of security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence in medicine = 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
The art of high performance computing for computational science.. Volume 1,. Techniques of speedup and parallelization for general purposes
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling and optimization in space engineering = state of the art and new challenges /
by:
(書目-語言資料,印刷品)
Design patterns in .NET = reusable approaches in C# and F# for object-oriented software design /
by:
(書目-語言資料,印刷品)
Pro MERN stack = full stack web app development with Mongo, Express, React, and Node /
by:
(書目-語言資料,印刷品)
Graph transformation = 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud /
by:
(書目-語言資料,印刷品)
Haskell quick syntax reference = a pocket guide to the language, APIs, and library /
by:
(書目-語言資料,印刷品)
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
The definitive guide to Spring Batch = modern finite batch processing in the Cloud /
by:
(書目-語言資料,印刷品)
C++17 standard library quick reference = a pocket guide to data structures, algorithms, and functions /
by:
(書目-語言資料,印刷品)
Android Studio IDE quick reference = a pocket guide to Android Studio development /
by:
(書目-語言資料,印刷品)
Surviving the whiteboard interview = a developer's guide to using soft skills to get hired /
by:
(書目-語言資料,印刷品)
Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications /
by:
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Concurrency, security, and puzzles = essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Making sense of sensors = end-to-end algorithms and infrastructure design from wearable-devices to data center /
by:
(書目-語言資料,印刷品)
Pro Hadoop data analytics = designing and building big data systems using the Hadoop ecosystem /
by:
(書目-語言資料,印刷品)
Beginning Laravel = a beginner's guide to application development with Laravel 5.3 /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers /
by:
(書目-語言資料,印刷品)
Kubernetes management design patterns = with Docker, CoreOS Linux, and other platforms /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016 : rvised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
High-performance scientific computing = first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016 : rvised selected papers /
by:
(書目-語言資料,印刷品)
Small dynamic complexity classes = an investigation into dynamic descriptive complexity /
by:
(書目-語言資料,印刷品)
Python unit test automation = practical techniques for Python developers and testers /
by:
(書目-語言資料,印刷品)
Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Fields of Logic and Computation II = Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Virtual Worlds as Philosophical Tools = How to Philosophize with a Digital Hammer /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions /
by:
(書目-語言資料,印刷品)
Xamarin Mobile Application Development = Cross-Platform C# and Xamarin.Forms Fundamentals /
by:
(書目-語言資料,印刷品)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Guide to High Performance Distributed Computing = Case Studies with Hadoop, Scalding and Spark /
by:
(書目-語言資料,印刷品)
Patterns of HCI Design and HCI Design of Patterns = Bridging HCI Design and Model-Driven Software Engineering /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programmierung von verteilten Systemen und Webanwendungen mit Java EE = Erste Schritte in der Java Enterprise Edition /
by:
(書目-語言資料,印刷品)
Introduction to Programming with Fortran = With Coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
SPS-Programmierung in Anweisungsliste nach IEC 61131-3 = Eine systematische und handlungsorientierte Einführung in die strukturierte Programmierung /
by:
(書目-語言資料,印刷品)
Smart Learning Objects for Smart Education in Computer Science = Theory, Methodology and Robot-Based Implementation /
by:
(書目-語言資料,印刷品)
Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming /
by:
(書目-語言資料,印刷品)
Android Studio New Media Fundamentals = Content Production of Digital Audio/Video, Illustration and 3D Animation /
by:
(書目-語言資料,印刷品)
Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(書目-語言資料,印刷品)
Salesforce.com Lightning Process Builder and Visual Workflow = A Practical Guide to Model-Driven Development on the Force.com Platform /
by:
(書目-語言資料,印刷品)
Learn PHP 7 = Object Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Data Mining. Applications and Theoretical Aspects = 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Rapid Game Development Using Cocos2d-JS = An end-to-end guide to 2D game development using JavaScript /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
MMOs from the Outside In = The Massively-Multiplayer Online Role-Playing Games of Psychology, Law, Government, and Real Life /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications /
by:
(書目-語言資料,印刷品)
Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Moving to Responsive Web Design = Bring existing static sites into today's multi-device world with responsive web design /
by:
(書目-語言資料,印刷品)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Numerical Simulation in Physics and Engineering = Lecture Notes of the XVI 'Jacques-Louis Lions' Spanish-French School /
by:
(書目-語言資料,印刷品)
Agile objektorientierte Software-Entwicklung = Schritt für Schritt vom Geschäftsprozess zum Java-Programm /
by:
(書目-語言資料,印刷品)
Software Developers as Users = Semiotic Investigations in Human-Centered Software Development /
by:
(書目-語言資料,印刷品)
Windows 10 Development Recipes = A Problem-Solution Approach in HTML and JavaScript /
by:
(書目-語言資料,印刷品)
Collaborative Quality Assurance in Information Systems Development = The Interaction of Software Development Techniques and Team Cognition /
by:
(書目-語言資料,印刷品)
Beginning KeystoneJS = A practical introduction to KeystoneJS using a real-world project /
by:
(書目-語言資料,印刷品)
Working with the American Community Survey in R = A Guide to Using the acs Package /
by:
(書目-語言資料,印刷品)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
C++-Metaprogrammierung = Eine Einführung in die Präprozessor- und Template-Metaprogrammierung /
by:
(書目-語言資料,印刷品)
From Tracking Code to Analysis = Generalised Courant-Snyder Theory for Any Accelerator Model /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide = A Comprehensive OCPJP 8 Certification Guide /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Good Habits for Great Coding = Improving Programming Skills with Examples in Python /
by:
(書目-語言資料,印刷品)
Routines of Substitution = John von Neumann’s Work on Software Development, 1945–1948 /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Physically Based Shader Development for Unity 2017 = Develop Custom Lighting Systems /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beginning Functional JavaScript = Uncover the Concepts of Functional Programming with EcmaScript 8 /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Introduction to Parallel Computing = From Algorithms to Programming on State-of-the-Art Platforms /
by:
(書目-語言資料,印刷品)
New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Guide to Programming for the Digital Humanities = Lessons for Introductory Python /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Java APIs, Extensions and Libraries = With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
by:
(書目-語言資料,印刷品)
Design Patterns in Modern C++ = Reusable Approaches for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Essential PowerShell for Office 365 = Managing and Automating Skills for Improved Productivity /
by:
(書目-語言資料,印刷品)
Das C++ Tutorial = Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen = Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen /
by:
(書目-語言資料,印刷品)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(書目-語言資料,印刷品)
Programmieren lernen mit Computergrafik = Eine Einführung mit Java und Processing /
by:
(書目-語言資料,印刷品)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(書目-語言資料,印刷品)
The Definitive Guide to JSF in Java EE 8 = Building Web Applications with JavaServer Faces /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
The Definitive Guide to AdonisJs = Building Node.js Applications with JavaScript /
by:
(書目-語言資料,印刷品)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Modern Data Access with Entity Framework Core = Database Programming Techniques for .NET, .NET Core, UWP, and Xamarin with C# /
by:
(書目-語言資料,印刷品)
Beginning PostgreSQL on the Cloud = Simplifying Database as a Service on Cloud Platforms /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Introduction to Python for Engineers and Scientists = Open Source Solutions for Numerical Computation /
by:
(書目-語言資料,印刷品)
Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications /
by:
(書目-語言資料,印刷品)
Grundkurs Software-Engineering mit UML = Der pragmatische Weg zu erfolgreichen Softwareprojekten /
by:
(書目-語言資料,印刷品)
Java Language Features = With Modules, Streams, Threads, I/O, and Lambda Expressions /
by:
(書目-語言資料,印刷品)
Practical Python AI Projects = Mathematical Models of Optimization Problems with Google OR-Tools /
by:
(書目-語言資料,印刷品)
Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Microsoft Computer Vision APIs Distilled = Getting Started with Cognitive Services /
by:
(書目-語言資料,印刷品)
R Data Science Quick Reference = A Pocket Guide to APIs, Libraries, and Packages /
by:
(書目-語言資料,印刷品)
Practical Microservices Architectural Patterns = Event-Based Java Microservices with Spring Boot and Spring Cloud /
by:
(書目-語言資料,印刷品)
Designing Thriving Systems = Marrying Technical Rationality and Appreciative Systems /
by:
(書目-語言資料,印刷品)
Qualitätssicherung durch Softwaretests = Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /
by:
(書目-語言資料,印刷品)
The Definitive Guide to Spring Batch = Modern Finite Batch Processing in the Cloud /
by:
(書目-語言資料,印刷品)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(書目-語言資料,印刷品)
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Perl 6 Quick Syntax Reference = A Pocket Guide to the Language, the Core Modules, and the Community /
by:
(書目-語言資料,印刷品)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(書目-語言資料,印刷品)
Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Central European Functional Programming School = 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modeling and Optimization in Space Engineering = State of the Art and New Challenges /
by:
(書目-語言資料,印刷品)
The Art of High Performance Computing for Computational Science, Vol. 2 = Advanced Techniques and Examples for Materials Science /
by:
(書目-語言資料,印刷品)
Visual Studio Code Distilled = Evolved Code Editing for Windows, macOS, and Linux /
by:
(書目-語言資料,印刷品)
Advanced R Statistical Programming and Data Models = Analysis, Machine Learning, and Visualization /
by:
(書目-語言資料,印刷品)
Advanced Software Technologies for Post-Peta Scale Computing = The Japanese Post-Peta CREST Research Project /
by:
(書目-語言資料,印刷品)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Django 2 and Channels 2 = Building Projects and Applications with Real-Time Capabilities /
by:
(書目-語言資料,印刷品)
Pro MERN Stack = Full Stack Web App Development with Mongo, Express, React, and Node /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Modern C Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(書目-語言資料,印刷品)
Pro Spring Boot 2 = An Authoritative Guide to Building Microservices, Web and Enterprise Applications, and Best Practices /
by:
(書目-語言資料,印刷品)
Building Chatbots with Python = Using Natural Language Processing and Machine Learning /
by:
(書目-語言資料,印刷品)
Design Patterns in .NET = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Haskell Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(書目-語言資料,印刷品)
Soft Skills to Advance Your Developer Career = Actionable Steps to Help Maximize Your Potential /
by:
(書目-語言資料,印刷品)
Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(書目-語言資料,印刷品)
Concise Guide to Object-Oriented Programming = An Accessible Approach Using Java /
by:
(書目-語言資料,印刷品)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Art of High Performance Computing for Computational Science, Vol. 1 = Techniques of Speedup and Parallelization for General Purposes /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten /
by:
(書目-語言資料,印刷品)
Foundations and Practice of Security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
C++17 Standard Library Quick Reference = A Pocket Guide to Data Structures, Algorithms, and Functions /
by:
(書目-語言資料,印刷品)
Android Studio IDE Quick Reference = A Pocket Guide to Android Studio Development /
by:
(書目-語言資料,印刷品)
Surviving the Whiteboard Interview = A Developer’s Guide to Using Soft Skills to Get Hired /
by:
(書目-語言資料,印刷品)
Essential Angular for ASP.NET Core MVC 3 = A Practical Guide to Successfully Using Both in Your Projects /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Developing Medical Apps and mHealth Interventions = A Guide for Researchers, Physicians and Informaticians /
by:
(書目-語言資料,印刷品)
Interactive Object-Oriented Programming in Java = Learn and Test Your Programming Skills /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
The Art of Immutable Architecture = Theory and Practice of Data Management in Distributed Systems /
by:
(書目-語言資料,印刷品)
Delphi Quick Syntax Reference = A Pocket Guide to the Delphi and Object Pascal Language /
by:
(書目-語言資料,印刷品)
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers /
by:
(書目-語言資料,印刷品)
Learn Microservices with Spring Boot = A Practical Approach to RESTful Services Using an Event-Driven Architecture, Cloud-Native Patterns, and Containerization /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Introducing Jakarta EE CDI = Contexts and Dependency Injection for Enterprise Java Development /
by:
(書目-語言資料,印刷品)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(書目-語言資料,印刷品)
Fuzzy Relational Mathematical Programming = Linear, Nonlinear and Geometric Programming Models /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Practical Numerical C Programming = Finance, Engineering, and Physics Applications /
by:
(書目-語言資料,印刷品)
Spring Boot Persistence Best Practices = Optimize Java Persistence Performance in Spring Boot Applications /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(書目-語言資料,印刷品)
Guide to Competitive Programming = Learning and Improving Algorithms Through Contests /
by:
(書目-語言資料,印刷品)
A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof /
by:
(書目-語言資料,印刷品)
Beginning Unreal Game Development = Foundation for Simple to Complex Games Using Unreal Engine 4 /
by:
(書目-語言資料,印刷品)
Software Project Estimation = Intelligent Forecasting, Project Control, and Client Relationship Management /
by:
(書目-語言資料,印刷品)
Build a Next-Generation Digital Workplace = Transform Legacy Intranets to Employee Experience Platforms /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Open Source Systems = 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Virtual Reality with VRTK4 = Create Immersive VR Experiences Leveraging Unity3D and Virtual Reality Toolkit /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
更多
較少的
主題