Výsledky vyhľadávania - 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

Autori: Shuvendu K. Lahiri Chao Wang

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

Kategórie: 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

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

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

Kategórie: 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.

Autori: Jianghong Mao Fangyuan Xu Qian Gao a ďalší

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

Autori: Emmanuel Gillain

Typ zdroja: eBook.

Predmet: Artificial intelligence

Kategórie: 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

Autori: Rossano Albatici Michela Dalprà Maria Paola Gatti a ďalší

Typ zdroja: eBook.

Predmet: Building--Congresses, Structural analysis (Engineering)--Congresses, Civil engineering--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Construction / Heating, Ventilation & Air Conditioning

Advances in Civil and Industrial Engineering IV

Autori: Guang Fan Li Chao He Chen Bi Feng Jiang a ďalší

Typ zdroja: eBook.

Predmet: Industrial engineering--Congresses, Civil engineering--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / General

Moby Word Lists.

Autori: Ward, Grady

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

Predmety: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Korporácia: PROJECT Gutenberg (Organization)

The Civil Engineering Handbook

Autori: W.F. Chen J.Y. Richard Liew

Typ zdroja: eBook.

Predmet: TA151

Kategórie: TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Environmental / General

Building Product Models : Computer Environments, Supporting Design and Construction

Autori: Charles M Eastman

Typ zdroja: eBook.

Predmet: Computer-aided design, Building materials--Computer simulation, Architectural design--Computer simulation

Kategórie: TECHNOLOGY & ENGINEERING / Civil / General, COMPUTERS / Computer Engineering

Engineering Software III

Autori: R. A. Adey

Typ zdroja: eBook.

Predmet: Dynamics, Nonlinear theories, Software engineering

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

Microcomputer Software for Civil Engineers

Autori: Howard Falk

Typ zdroja: eBook.

Predmet: Civil engineering--Data processing, Microcomputers

Kategórie: MEDICAL / Research

Reliability and Robustness of Engineering Software II

Autori: C.A. Brebbia A.J. Ferrante

Typ zdroja: eBook.

Predmet: Engineering--Computer programs--Reliability --, Computer software--Reliability--Congresses

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

Advanced Computer Graphics

Autori: Robert Douglas Parslow Richard Elliot Green

Typ zdroja: eBook.

Predmet: Computer graphics--Congresses

Kategórie: 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.

Autori: Ahmed K. Noor Robert J. Hayduk

Typ zdroja: eBook.

Predmet: Structural dynamics--Congresses, Structural analysis (Engineering)--Congresses

Kategórie: 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

Autori: Dragan Bošnački Anton Wijs

Typ zdroja: eBook.

Predmet: Software engineering, Compilers (Computer programs), Computer science, Machine theory

Kategórie: 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

Autori: Jean-Michel Bruel Alfredo Capozucca Manuel Mazzara a ďalší

Typ zdroja: eBook.

Predmet: Software engineering, Computer programming, Education—Data processing, Computer science, Database management

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

Advanced Software Engineering

Autori: Cash, Milton

Typ zdroja: eBook.

Predmet: Software engineering

Kategórie: COMPUTERS / Programming / Open Source, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Tools

Software, Services, and Systems

Autori: Rocco De Nicola Rolf Hennicker

Typ zdroja: eBook.

Predmet: Software engineering, Computer science, Compilers (Computer programs), Computer programming, Machine theory, Artificial intelligence

Kategórie: 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

Autori: João M. Fernandes Ralf Lämmel Joost Visser a ďalší

Typ zdroja: eBook.

Predmet: Software engineering, Computer science, Compilers (Computer programs), Computer programming, Machine theory

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