Výsledky vyhledávání - "Programming languages (Electronic computers)"

Software, practice & experience.

Additional Titles: Software
Software, practice and experience
SP & E
Software, practice & experience (Online)

Témata: Computer software Periodicals., Computer programming Periodicals., Computer programs Periodicals., Programming languages (Electronic computers) Periodicals., Programmation (Informatique) Périodiques., Langages de programmation Périodiques., Logiciels Périodiques., 54.50 computer software: general., Programming languages (Electronic computers), Computer programming., Computer programs., Computer software., Business., Computers and office automation industries., Software industry., Software., 54.50 computer software: general.

Témata: software construction, Journals - contents and abstracts., Periodicals.

URL: http://catalog.hathitrust.org/api/volumes/oclc/1639246.html
http://www.intute.ac.uk/sciences/cgi-bin/fullrecord.pl?handle=lesa.1013707648
http://books.google.com/books?id=NjBVAAAAMAAJ
http://books.google.com/books?id=ui1VAAAAMAAJ
http://books.google.com/books?id=Ii5VAAAAMAAJ
http://books.google.com/books?id=JzFVAAAAMAAJ
http://books.google.com/books?id=kRpVAAAAMAAJ
http://books.google.com/books?id=WjhVAAAAMAAJ
http://books.google.com/books?id=nTVVAAAAMAAJ
http://books.google.com/books?id=DzNVAAAAMAAJ
http://books.google.com/books?id=0y5VAAAAMAAJ
http://books.google.com/books?id=tTRVAAAAMAAJ
http://books.google.com/books?id=IDNVAAAAMAAJ
http://books.google.com/books?id=vzRVAAAAMAAJ
http://books.google.com/books?id=GjpVAAAAMAAJ
http://books.google.com/books?id=fTNVAAAAMAAJ
http://books.google.com/books?id=jS1VAAAAMAAJ
http://books.google.com/books?id=zDhVAAAAMAAJ
http://books.google.com/books?id=JzlVAAAAMAAJ
http://books.google.com/books?id=pjJVAAAAMAAJ
http://books.google.com/books?id=6i9VAAAAMAAJ
http://books.google.com/books?id=QTFVAAAAMAAJ
http://books.google.com/books?id=3jBVAAAAMAAJ
http://books.google.com/books?id=ZTJVAAAAMAAJ
http://books.google.com/books?id=ejNVAAAAMAAJ
http://books.google.com/books?id=GzZVAAAAMAAJ
http://books.google.com/books?id=NTNVAAAAMAAJ
http://books.google.com/books?id=SzdVAAAAMAAJ
http://books.google.com/books?id=ezBVAAAAMAAJ
https://onlinelibrary.wiley.com/journal/1097024X

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Varphi: a description language for Turing machines

Autoři: El-Sheikha, Hassan Mahmoud, Mohammad A.

Témata: Computer science--Study and teaching, Turing machines, Programming languages (Electronic computers), Computable functions

When lyrics become code: programming like a rockstar

Autoři: Akhmetov, Ildar

Témata: Play, Computer science--Study and teaching, Programming languages (Electronic computers)

Fundamental of object oriented programming (Java and Python)

Autoři: Bhimsen Joshi

Témata: Lenguaje de programación informática, Java, Programación, Programación de computadoras, Java (lenguaje de programación informática), Lenguajes de programación (Computadoras electrónicas), Computer Programming, Java (computer programming language), Programming Languages (Electronic Computers)

Popis souboru: 255 páginas; text/html

Relation: https://hdl.handle.net/20.500.12010/38145

Dostupnost: https://hdl.handle.net/20.500.12010/38145

Pràctiques d’estadística amb R : aplicacions en problemes d’enginyeria

Autoři: Mujica Delgado, Luis Eduardo Ruiz Ordóñez, Magda

Témata: Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica, R (Computer program language) -- Problems, exercises, etc, Engineering -- Statistical methods -- Problems, Programming languages (Electronic computers) -- Engineering -- Problems, R (Llenguatge de programació) -- Problemes, exercicis, Enginyeria -- Mètodes estadístics -- Problemes, Llenguatges de programació -- Enginyeria -- Problemes

Popis souboru: 1 recurs en línia (181 pàgines); application/pdf

Relation: UPCGrau; 77; http://hdl.handle.net/2117/408626

Dostupnost: http://hdl.handle.net/2117/408626
https://doi.org/10.5821/ebook-9788410008540

Modelling energy consumption in multi-core systems using meta-heuristics and statistical modelling

Autoři: Alguwaifli, Yasir Brown, Christopher Mark Brady, Edwin

Přispěvatelé: Alguwaifli, Yasir Brown, Christopher Mark Brady, Edwin

Témata: Programming languages energy, Programming languages, Parallel energy, Parallelism, Functional programming, Haskell, C/C++, QA76.62A64, Functional programming (Computer science), Programming languages (Electronic computers), Haskell (Computer program language)

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.887585

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Circom: A Circuit Description Language for Building Zero-Knowledge Applications

Autoři: Marta Bellés-Muñoz Miguel Isabel Jose Luis Muñoz-Tapia a další

Přispěvatelé: Marta Bellés-Muñoz Miguel Isabel Jose Luis Muñoz-Tapia a další

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Témata: Compiler, 0211 other engineering and technologies, Llenguatges de programació, Programming languages (Electronic computers), 02 engineering and technology, 7. Clean energy, Cadena de blocs (Bases de dades), Programming language, Zero knowledge proofs, Blockchains (Databases), Blockchain, Circuit, 0202 electrical engineering, electronic engineering, information engineering, Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Telemàtica i xarxes d'ordinadors::Trànsit de dades

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/399991
https://doi.org/10.1109/tdsc.2022.3232813

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

XcalableMP PGAS Programming Language : From Programming Model to Applications

Autoři: Mitsuhisa Sato

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Parallel programming (Computer science)

Categories: COMPUTERS / Programming / Compilers

Grits : a message-passing programming language based on the semi-axiomatic sequent calculus

Autoři: Francalanza, Adrian Tabone, Gerard Pfenning, Frank

Témata: Programming languages (Electronic computers), Computer software -- Verification, Parallel processing (Electronic computers), Formal methods (Computer science), Logic programming

Relation: https://www.um.edu.mt/library/oar/handle/123456789/137308

Dostupnost: https://www.um.edu.mt/library/oar/handle/123456789/137308
https://doi.org/10.1016/j.scico.2025.103360

Assessing the Usability of Two Declarative Programming Languages to Model Geometric Events

Autoři: Llopis, Marcel Franch Gutiérrez, Javier Soria Guerrero, Manel a další

Přispěvatelé: Llopis, Marcel Franch Gutiérrez, Javier Soria Guerrero, Manel a další

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Témata: Programming languages (Electronic computers) -- Development, Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, 0501 psychology and cognitive sciences, 02 engineering and technology, Llenguatges de programació -- Desenvolupament

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/390405
https://doi.org/10.2514/1.i011207

Concrete sheaf models of higher-order recursion

Autoři: Matache, Cristina Staton, Samuel

Přispěvatelé: Matache, Cristina Staton, Samuel

Témata: categories (Mathematics), denotational semantics, programming languages (Electronic computers)

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.879257

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoři: Peter Müller

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Structural foundations for probabilistic programming languages

Autoři: Stein, Dario Maximilian Staton, Samuel

Přispěvatelé: Stein, Dario Maximilian Staton, Samuel

Témata: Categories (Mathematics), Programming languages (Electronic computers), Measure theory, Denotational semantics, Descriptive set theory

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.879072

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Alessandra Russo Andy Schürr

Resource Type: eBook.

Témata: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General