Search Results - Software and swiss engineering Software notations and tools Compilers Preprocessors*

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dana Fisman Grigore Rosu

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Authors: André Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

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

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

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

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

Handbook of Software Engineering

Authors: Sungdeok Cha Richard N. Taylor Kyochul Kang

Resource Type: eBook.

Subjects: Software engineering--Handbooks, manuals, etc

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

A Monitoring Method Based on FBG for Concrete Corrosion Cracking.

Authors: Jianghong Mao Fangyuan Xu Qian Gao et al.

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

Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

Authors: Ralf Lämmel Joost Visser João Saraiva

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Computer networks, Computer science, Microprogramming

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

Moby Word Lists.

Authors: Ward, Grady

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

Subject Terms: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Company/Entity: PROJECT Gutenberg (Organization)

Engineering Software III

Authors: R. A. Adey

Resource Type: eBook.

Subjects: Dynamics, Nonlinear theories, Software engineering

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

Software Engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Authors: Bertrand Meyer Martin Nordio

Resource Type: eBook.

Subjects: Software engineering, Computer science, Computer programming, Artificial intelligence, Electronic data processing—Management, Compilers (Computer programs)

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

Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Authors: Bernd Fischer Jaco Geldenhuys

Resource Type: eBook.

Subjects: Software engineering, Compilers (Computer programs), Computer science

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

Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of His 60th Birthday

Authors: Peter Müller Ina Schaefer

Resource Type: eBook.

Subjects: Software engineering, Machine theory, Compilers (Computer programs)

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

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Authors: Nicolas Peltier Viorica Sofronie-Stokkermans

Resource Type: eBook.

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

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

Software Language Engineering : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Authors: Brian Malloy Steffen Staab Mark van den Brand

Resource Type: eBook.

Subjects: Software engineering--Congresses, Programming languages (Electronic computers)--Co

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

Software Architecture. ECSA 2025 Tracks and Workshops

Authors: Domenico Bianculli Hassan Sartaj Vasilios Andrikopoulos et al.

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Authors: Ken McMillan Aart Middeldorp Andrei Voronkov

Resource Type: eBook.

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

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

Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Authors: José Fiadeiro Paola Inverardi

Resource Type: eBook.

Subjects: Software engineering, Computer science, Compilers (Computer programs)

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

Revival: The Handbook of Software for Engineers and Scientists (1995)

Authors: Paul Ross

Resource Type: eBook.

Subjects: QA76.754

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / General, COMPUTERS / Information Technology, TECHNOLOGY & ENGINEERING / Engineering (General)

This is jargon file

Authors: Raymond, Eric S.

Resource Type: eBook.

Subjects: Hackers

Categories: COMPUTERS / Internet / Online Safety & Privacy, COMPUTERS / Security / Network Security, COMPUTERS / Security / General

Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Authors: Didier Galmiche Stephan Schulz Roberto Sebastiani

Resource Type: eBook.

Subjects: Machine theory, Artificial intelligence, Computer science, Algorithms, Software engineering, Compilers (Computer programs)

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

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Authors: Nikolai Kosmatov Laura Kovács

Resource Type: eBook.

Subjects: Software engineering

Categories: COMPUTERS / Software Development & Engineering / General