Výsledky vyhledávání - Software and civil engineering Software notations and tools Compilers Preprocessors*

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autoři: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Témata: Computer software--Verification--Congresses

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

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, Artificial intelligence

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

Multi‐scale composite finite element modeling of three‐dimensional prestressed reinforced concrete structural members: Part I—A comprehensive framework.

Zdroj: Civil Engineering Design; Jun2022, Vol. 4 Issue 1-3, p43-61, 19p

A Monitoring Method Based on FBG for Concrete Corrosion Cracking.

Autoři: Jianghong Mao Fangyuan Xu Qian Gao a další

Zdroj: Sensors (14248220); Jul2016, Vol. 16 Issue 7, p1093, 11p, 2 Color Photographs, 4 Diagrams, 2 Charts, 4 Graphs

Demystifying Artificial Intelligence : Symbolic, Data-Driven, Statistical and Ethical AI

Autoři: Emmanuel Gillain

Resource Type: eBook.

Témata: Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, COMPUTERS / Information Technology, COMPUTERS / Human-Computer Interaction (HCI)

Envisioning the Futures - Designing and Building for People and the Environment

Autoři: Rossano Albatici Michela Dalprà Maria Paola Gatti a další

Resource Type: eBook.

Témata: Building--Congresses, Structural analysis (Engineering)--Congresses, Civil engineering--Congresses

Categories: TECHNOLOGY & ENGINEERING / Construction / Heating, Ventilation & Air Conditioning

Advances in Civil and Industrial Engineering IV

Autoři: Guang Fan Li Chao He Chen Bi Feng Jiang a další

Resource Type: eBook.

Témata: Industrial engineering--Congresses, Civil engineering--Congresses

Categories: TECHNOLOGY & ENGINEERING / General

Moby Word Lists.

Autoři: Ward, Grady

Zdroj: Moby Word Lists; 3/1/2006, p1, 999p

Témata: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Korporace: PROJECT Gutenberg (Organization)

The Civil Engineering Handbook

Autoři: W.F. Chen J.Y. Richard Liew

Resource Type: eBook.

Témata: TA151

Categories: TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Environmental / General

Building Product Models : Computer Environments, Supporting Design and Construction

Autoři: Charles M Eastman

Resource Type: eBook.

Témata: Computer-aided design, Building materials--Computer simulation, Architectural design--Computer simulation

Categories: TECHNOLOGY & ENGINEERING / Civil / General, COMPUTERS / Computer Engineering

Engineering Software III

Autoři: R. A. Adey

Resource Type: eBook.

Témata: Dynamics, Nonlinear theories, Software engineering

Categories: SCIENCE / System Theory, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Microcomputer Software for Civil Engineers

Autoři: Howard Falk

Resource Type: eBook.

Témata: Civil engineering--Data processing, Microcomputers

Categories: MEDICAL / Research

Reliability and Robustness of Engineering Software II

Autoři: C.A. Brebbia A.J. Ferrante

Resource Type: eBook.

Témata: Engineering--Computer programs--Reliability --, Computer software--Reliability--Congresses

Categories: COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Industrial Design / General, TECHNOLOGY & ENGINEERING / Manufacturing

Advanced Computer Graphics

Autoři: Robert Douglas Parslow Richard Elliot Green

Resource Type: eBook.

Témata: Computer graphics--Congresses

Categories: COMPUTERS / Software Development & Engineering / Computer Graphics

Advances and Trends in Structures and Dynamics : Papers Presented at the Symposium on Advances and Trends in Structures and Dynamics, Held 22-25 October 1984, Washington, D.C.

Autoři: Ahmed K. Noor Robert J. Hayduk

Resource Type: eBook.

Témata: Structural dynamics--Congresses, Structural analysis (Engineering)--Congresses

Categories: SCIENCE / Physics / Condensed Matter

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Autoři: Dragan Bošnački Anton Wijs

Resource Type: eBook.

Témata: Software engineering, Compilers (Computer programs), Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Autoři: Jean-Michel Bruel Alfredo Capozucca Manuel Mazzara a další

Resource Type: eBook.

Témata: Software engineering, Computer programming, Education—Data processing, Computer science, Database management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, EDUCATION / Computers & Technology

Advanced Software Engineering

Autoři: Cash, Milton

Resource Type: eBook.

Témata: Software engineering

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Tools

Software, Services, and Systems

Autoři: Rocco De Nicola Rolf Hennicker

Resource Type: eBook.

Témata: Software engineering, Computer science, Compilers (Computer programs), Computer programming, Machine theory, Artificial intelligence

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

Autoři: João M. Fernandes Ralf Lämmel Joost Visser a další

Resource Type: eBook.

Témata: Software engineering, Computer science, Compilers (Computer programs), Computer programming, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General