Programming Techniques.
概要
| 作品: | 266 作品在 263 項出版品 263 種語言 | |
|---|---|---|
書目資訊
Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
The Cinderella.2 Manual[electronic resource] :working with the interactive geometry software /
by:
(書目-語言資料,印刷品)
Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
Soft computing methods for microwave and millimeter-wave design problems[electronic resource] /
by:
(書目-語言資料,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual modeling - ER 2008[electronic resource] :27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Self-sustaining systems[electronic resource] :first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions /
by:
(書目-語言資料,印刷品)
Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
How to recruit and hire great software engineers[electronic resource] :Building a Crack Development Team /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Optimization in science and engineering[electronic resource] :in honor of the 60th birthday of Panos M. Pardalos /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
A beginner's guide to Scala, object orientation and functional programming[electronic resource] /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Open source geospatial tools[electronic resource] :applications in earth observation /
by:
(書目-語言資料,印刷品)
Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming /
by:
(書目-語言資料,印刷品)
Guide to high performance distributed computing[electronic resource] :case studies with Hadoop, Scalding and Spark /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming[electronic resource] :14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(書目-語言資料,印刷品)
Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Xamarin mobile application development[electronic resource] :cross-platform C# and Xamarin.Forms fundamentals /
by:
(書目-語言資料,印刷品)
Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory[electronic resource] :4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
SAS programming and data visualization techniques[electronic resource] :a power user's guide /
by:
(書目-語言資料,印刷品)
Pro couchbase development[electronic resource] :a NoSQL platform for the enterprise /
by:
(書目-語言資料,印刷品)
Object-oriented analysis, design and implementation[electronic resource] :an integrated approach /
by:
(書目-語言資料,印刷品)
Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Learn Pixi.js[electronic resource] :create great interactive graphics for games and the Web /
by:
(書目-語言資料,印刷品)
Microservices, IoT, and Azure[electronic resource] :leveraging DevOps and microservice architecture to deliver SaaS solutions /
by:
(書目-語言資料,印刷品)
Android studio new media fundamentals[electronic resource] :content production of digital audio/video, illustration and 3D animation /
by:
(書目-語言資料,印刷品)
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Full stack JavaScript[electronic resource] :learn Backbone.js, Node.js and MongoDB /
by:
(書目-語言資料,印刷品)
Beginning iPhone development with Swift 2[electronic resource] :exploring the iOS SDK /
by:
(書目-語言資料,印刷品)
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
From tracking code to analysis[electronic resource] :generalised Courant-Snyder theory for any accelerator model /
by:
(書目-語言資料,印刷品)
Beginning SOLID principles and design patterns for ASP.NET developers[electronic resource] /
by:
(書目-語言資料,印刷品)
Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Collaborative quality assurance in information systems development[electronic resource] :the interaction of software development techniques and team cognition /
by:
(書目-語言資料,印刷品)
Windows 10 development recipes[electronic resource] :a problem-solution approach in HTML and JavaScript /
by:
(書目-語言資料,印刷品)
Learn PHP 7[electronic resource] :object-oriented modular programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL /
by:
(書目-語言資料,印刷品)
MMOs from the outside in[electronic resource] :the massively-multiplayer online ro le-playing games of psychology, law, government, and real life /
by:
(書目-語言資料,印刷品)
Java design patterns[electronic resource] :a tour of 23 gang of four design patterns in Java /
by:
(書目-語言資料,印刷品)
Oracle Certified Professional Java SE 8 programmer exam 1Z0-809[electronic resource] :comprehensive OCPJP 8 certification guide /
by:
(書目-語言資料,印刷品)
Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications /
by:
(書目-電子資源)
Penetration testing basics[electronic resource] :a quick-start guide to breaking into systems /
by:
(書目-電子資源)
Material design implementation with AngularJS[electronic resource] :UI component framework /
by:
(書目-電子資源)
Understanding control flow[electronic resource] :concurrent programming using [mu]C++ /
by:
(書目-電子資源)
Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language /
by:
(書目-電子資源)
Automated trading with R[electronic resource] :quantitative research and platform development /
by:
(書目-電子資源)
Lumen programming guide[electronic resource] :writing PHP microservices, REST and web service APIs /
by:
(書目-電子資源)
Software developers as users[electronic resource] :semiotic investigations in human-centered software development /
by:
(書目-電子資源)
Working with the American community survey in R[electronic resource] :a guide to using the acs package /
by:
(書目-電子資源)
MVVM in Delphi[electronic resource] :architecting and building Model View ViewModel Applications /
by:
(書目-電子資源)
Salesforce.com lightning process builder and visual workflow[electronic resource] :a practical guide to model-driven development on the Force.com platform /
by:
(書目-語言資料,印刷品)
Creating maintainable APIs[electronic resource] :a practical case-study approach /
by:
(書目-語言資料,印刷品)
Beginning iPhone development with Swift 3[electronic resource] :exploring the iOS SDK /
by:
(書目-語言資料,印刷品)
Lean Python[electronic resource] :learn just enough Python to build useful tools /
by:
(書目-語言資料,印刷品)
Supercomputing[electronic resource] :second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
主題