Programming languages (Electronic computers)
Overview
Works: | 181 works in 104 publications in 104 languages |
---|
Titles
Reasoning about program transformations = imperative programming and flow of data /
by:
(Language materials, printed)
Regular Expression Recipes for Windows Developers = A Problem-Solution Approach /
by:
(Language materials, printed)
On conceptual modelling : = perspectives from artificial intelligence, databases, and programming languages /
by:
(Language materials, printed)
Coordination, Organizations, Institutions and Norms in Agent Systems V = COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009, revised selected papers /
by:
(Language materials, printed)
Interfaces = explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by:
(Language materials, printed)
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(Language materials, printed)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Electronic resources)
Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part I /
by:
(Electronic resources)
Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part II /
by:
(Electronic resources)
Programming languages and systems = 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(Electronic resources)
Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse /
by:
(Electronic resources)
Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code /
by:
(Electronic resources)
A beginner's guide to Scala, object orientation and functional programming
by:
(Electronic resources)
Dynamic SQL = applications, performance, and security in Microsoft SQL server /
by:
(Electronic resources)
Modern C++ for absolute beginners = a friendly introduction to C++ programming language and C++11 to C++20 standards /
by:
(Electronic resources)
Evaluation of novel approaches to software engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers /
by:
(Electronic resources)
The cognitive connection : = thought and language in man and machine /
by:
(Language materials, printed)
Interactive computer graphics : = data structures, algorithms, languages /
by:
(Language materials, printed)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(Language materials, printed)
New trends in formal languages = control, cooperation, and combinatorics /
by:
(Language materials, printed)
Programming languages and systems = 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings/
by:
(Language materials, printed)
Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(Language materials, printed)
Formal and natural computing = essays dedicated to Grzegorz Rozenberg /
by:
(Language materials, printed)
Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification /
by:
(Language materials, printed)
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
(Electronic resources)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Electronic resources)
Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Electronic resources)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(Electronic resources)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Electronic resources)
A beginner's guide to Scala, object orientation and functional programming
by:
(Electronic resources)
Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(Electronic resources)
Formal languages for computer simulation = transdisciplinary models and applications /
by:
(Electronic resources)
Programming languages = 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(Electronic resources)
Software language engineering = 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings /
by:
(Electronic resources)
Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Electronic resources)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Electronic resources)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Electronic resources)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Text analytics with Python = a practical real-world approach to gaining actionable insights from your data /
by:
(Electronic resources)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Electronic resources)
Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts /
by:
(Electronic resources)
Introduction to machine learning with Python : = a guide for data scientists /
by:
(Language materials, printed)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
by:
(Electronic resources)
Practical Scala DSLs = real-world applications using domain specific languages /
by:
(Electronic resources)
C++17 quick syntax reference = apocket guide to the language, apis and library /
by:
(Electronic resources)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Electronic resources)
Interaction flow modeling language = model-driven UI engineering of web and mobile apps with IFML /
by:
(Electronic resources)
XcalableMP PGAS programming language = from programming model to applications /
by:
(Electronic resources)
Nonsequential and distributed programming with Go = synchronization of concurrent processes: communication - cooperation - competition /
by:
(Electronic resources)
The art of modelling computational systems = a journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday /
by:
(Electronic resources)
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Spring quick reference guide = a pocket handbook for Spring framework, Spring boot, and more /
by:
(Electronic resources)
Beginning Quarkus framework = build cloud-native enterprise Java applications and microservices /
by:
(Electronic resources)
The definitive guide to Masonite = building web applications with Python /
by:
(Electronic resources)
Implementing effective code reviews = how to build and maintain clean code /
by:
(Electronic resources)
Options and derivatives programming in C++20 = algorithms and programming techniques for the financial industry /
by:
(Electronic resources)
Getting structured data from the Internet = running web crawlers/Scrapers on a Big Data Production Scale /
by:
(Electronic resources)
Learn microservices with Spring Boot = a practical approach to RESTful services using an event-driven architecture, cloud-native patterns, and containerization /
by:
(Electronic resources)
Language server protocol and implementation = supporting language-smart editing and programming tools /
by:
(Electronic resources)
OpenMP = enabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings /
by:
(Electronic resources)
Programming 101 = learn to code with the Processing language using a visual approach /
by:
(Electronic resources)
Modern C++ for absolute beginners = a friendly introduction to the C++ programming language and C++11 to C++23 standards /
by:
(Electronic resources)
Show more
Fewer
Subjects