Výsledky vyhľadávania - software AND swiss engineering software notations AND tools general programming languages*

Python tools for structural tasks in chemistry.

Autori: Ryzhkov FV Ryzhkova YE Elinson MN

Zdroj: Molecular diversity [Mol Divers] 2025 Aug; Vol. 29 (4), pp. 3733-3752. Date of Electronic Publication: 2024 May 14.

Spôsob vydávania: Journal Article; Review

Informácie o časopise: Publisher: ESCOM Science Publishers Country of Publication: Netherlands NLM ID: 9516534 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1573-501X (Electronic) Linking ISSN: 13811991 NLM ISO Abbreviation: Mol Divers Subsets: MEDLINE

Výrazy zo slovníka MeSH: Software* , Programming Languages*, Cheminformatics/methods

Deployment and Operation of Complex Software in Heterogeneous Execution Environments : The SODALITE Approach

Autori: Elisabetta Di Nitto Jesús Gorroñogoitia Cruz Indika Kumara a ďalší

Typ zdroja: eBook.

Predmet: Software engineering, Computer software--Development--Management, Operating systems (Computers)

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Data Science / General, COMPUTERS / Operating Systems / General, COMPUTERS / Languages / General, TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / Distributed Systems / Cloud Computing

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Autori: Michael Felderer Wilhelm Hasselbring Heiko Koziolek a ďalší

Typ zdroja: eBook.

Predmet: Software engineering, Software engineering--Awards

Kategórie: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Autori: Juan Garbajosa Xiaofeng Wang Ademar Aguiar

Typ zdroja: eBook.

Predmet: eXtreme programming--Congresses, Agile software development--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Foundations of Software Science and Computation Structures

Autori: Jean Goubault-Larrecq Barbara König

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

Kategórie: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Autori: André Platzer Kristin Yvonne Rozier Matteo Pradella a ďalší

Typ zdroja: eBook.

Predmet: Formal methods (Computer science)--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Ernst Denert Award for Software Engineering 2022

Autori: Eric Bodden Michael Felderer Wilhelm Hasselbring a ďalší

Typ zdroja: eBook.

Predmet: Software engineering, Software engineering--Awards

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Project Management

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 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 II

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 III

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Software for Exascale Computing - SPPEXA 2016-2019

Autori: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann a ďalší

Typ zdroja: eBook.

Predmet: Computer science

Kategórie: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Autori: Tomáš Vojnar Lijun Zhang

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 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, Part II

Autori: Jan Friso Groote Kim Guldstrand Larsen

Typ zdroja: eBook.

Predmet: System analysis--Congresses, Computer software--Verification--Congresses, System design--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

Predmet: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dana Fisman Grigore Rosu

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Autori: Thomas Wies

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Programming / Compilers

Metamodeling for Extended Reality

Autori: Fabian Muff

Typ zdroja: eBook.

Predmet: Software engineering, Mixed reality

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Virtual & Augmented Reality

Expanding access to veterinary clinical decision support in resource-limited settings: a scoping review of clinical decision support tools in medicine and antimicrobial stewardship.

Autori: Yusuf, Havan Hillman, Alison Stegeman, Jan Arend a ďalší

Zdroj: Frontiers in Veterinary Science. 2024, p1-18. 18p.

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Autori: Sharon Shoham Yakir Vizel

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Computer Aided Verification

Autori: Alexandra Silva K. Rustan M. Leino

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer software--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation

The Liver Meeting: 2025 Abstracts.

Zdroj: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p