Programming Languages, Compilers, Interpreters.
概要
| 作品: | 305 作品在 305 項出版品 305 種語言 | |
|---|---|---|
書目資訊
Theory of security and applications[electronic resource] :Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
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:
(書目-語言資料,印刷品)
OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency VI[electronic resource] /
by:
(書目-語言資料,印刷品)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : 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:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : 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:
(書目-語言資料,印刷品)
Network and parallel computing[electronic resource] :9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 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:
(書目-語言資料,印刷品)
The Fortran 2003 handbook[electronic resource] :the complete syntax, features and procedures /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2014 parallel processing[electronic resource] :20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Software architecture[electronic resource] :8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
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:
(書目-語言資料,印刷品)
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
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:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 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:
(書目-語言資料,印刷品)
Introduction to nodern Fortran for the earth system sciences[electronic resource] /
by:
(書目-語言資料,印刷品)
Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming /
by:
(書目-語言資料,印刷品)
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Understanding network hacks[electronic resource] :attack and defense with Python /
by:
(書目-語言資料,印刷品)
Android recipes[electronic resource] :a problem-solution approach for Android 5.0 /
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:
(書目-語言資料,印刷品)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
(書目-語言資料,印刷品)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(書目-語言資料,印刷品)
Automatic SIMD vectorization of SSA-based control flow graphs[electronic resource] /
by:
(書目-語言資料,印刷品)
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Beginning C for Arduino[electronic resource] :learn C programming for the Arduino /
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:
(書目-語言資料,印刷品)
Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Advanced parallel processing technologies[electronic resource] :11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Python data analytics[electronic resource] :data analysis and science using Pandas, matplotlib, and the Python programming language /
by:
(書目-語言資料,印刷品)
Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software architecture[electronic resource] :9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages[electronic resource] :19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Numerical Python[electronic resource] :a practical techniques approach for industry /
by:
(書目-語言資料,印刷品)
Learn Pixi.js[electronic resource] :create great interactive graphics for games and the Web /
by:
(書目-語言資料,印刷品)
Android studio new media fundamentals[electronic resource] :content production of digital audio/video, illustration and 3D animation /
by:
(書目-語言資料,印刷品)
Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Web development with Go[electronic resource] :building scalable web apps and RESTful services /
by:
(書目-語言資料,印刷品)
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Numeric computation and statistical data analysis on the Java platform[electronic resource] /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
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:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Learn electronics with Raspberry Pi[electronic resource] :physical computing with circuits, sensors, outputs, and projects /
by:
(書目-電子資源)
Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications /
by:
(書目-電子資源)
An introduction to statistics with Python[electronic resource] :with applications in the life sciences /
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:
(書目-電子資源)
MVVM in Delphi[electronic resource] :architecting and building Model View ViewModel Applications /
by:
(書目-電子資源)
Software architecture[electronic resource] :10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Beginning robotics programming in Java with LEGO Mindstorms[electronic resource] /
by:
(書目-語言資料,印刷品)
Creating maintainable APIs[electronic resource] :a practical case-study approach /
by:
(書目-語言資料,印刷品)
Beginning SQL Server R Services[electronic resource] :analytics for data scientists /
by:
(書目-語言資料,印刷品)
Software reading techniques[electronic resource] :twenty techniques for more effective software review and inspection /
by:
(書目-語言資料,印刷品)
Lean Python[electronic resource] :learn just enough Python to build useful tools /
by:
(書目-語言資料,印刷品)
Text analytics with Python[electronic resource] :a practical real-world approach to gaining actionable insights from your data /
by:
(書目-語言資料,印刷品)
主題