Výsledky vyhledávání - Software and swiss engineering Software notations and tools System description languages*

Python tools for structural tasks in chemistry.

Autoři: 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.

Způsob vydávání: Journal Article; Review

Informace 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 ze slovníku MeSH: Software* , Programming Languages*, Cheminformatics/methods

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

Autoři: Elisabetta Di Nitto Jesús Gorroñogoitia Cruz Indika Kumara a další

Resource Type: eBook.

Témata: Software engineering, Computer software--Development--Management, Operating systems (Computers)

Categories: 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

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: 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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: 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 : 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

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Témata: System analysis--Congresses, Computer software--Verification--Congresses, System design--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / 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

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

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

Categories: 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

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Autoři: Michael Felderer Wilhelm Hasselbring Heiko Koziolek a další

Resource Type: eBook.

Témata: Software engineering, Software engineering--Awards

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Ernst Denert Award for Software Engineering 2022

Autoři: Eric Bodden Michael Felderer Wilhelm Hasselbring a další

Resource Type: eBook.

Témata: Software engineering, Software engineering--Awards

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Project Management

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

Autoři: Yusuf, Havan Hillman, Alison Stegeman, Jan Arend a další

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

Frontiers of Combining Systems

Autoři: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

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

Autoři: André Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

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

Software for Exascale Computing - SPPEXA 2016-2019

Autoři: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann a další

Resource Type: eBook.

Témata: Computer science

Categories: 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 : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Autoři: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science

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

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

Autoři: Juan Garbajosa Xiaofeng Wang Ademar Aguiar

Resource Type: eBook.

Témata: eXtreme programming--Congresses, Agile software development--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Security of Ubiquitous Computing Systems : Selected Topics

Autoři: Gildas Avoine Julio Hernandez-Castro

Resource Type: eBook.

Témata: Internet of things--Security measures, Ubiquitous computing--Security measures, Computer security

Categories: COMPUTERS / Security / General, COMPUTERS / Cybernetics, COMPUTERS / Languages / General, SCIENCE / Physics / General, TECHNOLOGY & ENGINEERING / Electronics / General

Polymetric Views - A Lightweight Visual Approach to Reverse Engineering.

Autoři: Lanza, Michele Ducasse, Stéphane

Zdroj: IEEE Transactions on Software Engineering; Sep2003, Vol. 29 Issue 9, p782-795, 14p, 2 Black and White Photographs, 3 Diagrams, 1 Chart

Témata: REVERSE engineering, SOFTWARE engineering, COMPUTER systems, COMPUTER software, SOFTWARE measurement, METHODOLOGY

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

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

Applied Data Science and Smart Systems

Autoři: Jaiteg Singh SB Goyal Rajesh Kumar Kaushal a další

Resource Type: eBook.

Témata: Machine learning, Software engineering, Automation, Technology, Artificial intelligence, Data transmission systems

Categories: COMPUTERS / General, COMPUTERS / Data Science / Machine Learning