Programming languages (Electronic computers)
概要
作品: | 151 作品在 103 項出版品 103 種語言 |
---|
書目資訊
Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry /
by:
(書目-語言資料,印刷品)
Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition /
by:
(書目-語言資料,印刷品)
Pandas 1.x cookbook : = practical recipes for scientific computing, time series analysis, and exploratory data analysis using Python /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Database Programming Languages : = 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Automating with STEP 7 in STL and SCL : = programmable controllers SIMATIC S7-300/400 /
by:
(書目-語言資料,印刷品)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(書目-語言資料,印刷品)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Database programming languages = 12th international symposium, DBPL 2009, Lyon, France, August 23-24, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers /
by:
(書目-語言資料,印刷品)
Modular programming languages = Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Database programming languages = 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers /
by:
(書目-語言資料,印刷品)
Domain-specific program generation = international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Formal languages for computer simulation = transdisciplinary models and applications /
by:
(書目-語言資料,印刷品)
Leveraging WMI scripting = using Windows Management Instrumentation to solve Windows management problems /
by:
(書目-語言資料,印刷品)
Sockets, shellcode, porting & coding = reverse engineering exploits and tool coding for security professionals /
by:
(書目-語言資料,印刷品)
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
by:
(書目-語言資料,印刷品)
Interaction flow modeling language = model-driven ui engineering of web and mobile apps with ifml /
by:
(書目-語言資料,印刷品)
Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Text analytics with Python = a practical real-world approach to gaining actionable insights from your data /
by:
(書目-語言資料,印刷品)
Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse /
by:
(書目-語言資料,印刷品)
Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code /
by:
(書目-語言資料,印刷品)
Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts /
by:
(書目-語言資料,印刷品)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
by:
(書目-語言資料,印刷品)
Low-level programming = C, Assembly, and program execution on Intel 64 architecture /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming 101 = the how and why of programming revealed using the processing programming language /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題