Explore: Softwaresystem
Discover books, insights, and more — all in one place.
Learn more about Softwaresystem with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “softwaresystem”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Software systems principles
By Freeman, Peter
“Software systems principles” Metadata:
- Title: Software systems principles
- Author: Freeman, Peter
- Language: English
- Number of Pages: Median: 663
- Publisher: Science Research Associates
- Publish Date: 1975
- Publish Location: Chicago
“Software systems principles” Subjects and Themes:
- Subjects: ➤ Computer programming - Datenverarbeitung - Programmation - Programmierung - Computacao (Metodologia E Tecnicas) - Programmation (Informatique) - Ordinateurs - Softwaresystem - Génie logiciel - Software
Edition Identifiers:
- The Open Library ID: OL5183547M
- Online Computer Library Center (OCLC) ID: 1176801
- Library of Congress Control Number (LCCN): 75001440
- All ISBNs: 0574180001 - 9780574180001
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Software systems principles at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Programming Languages and Systems
By Zhenjiang Hu
“Programming Languages and Systems” Metadata:
- Title: ➤ Programming Languages and Systems
- Author: Zhenjiang Hu
- Language: English
- Number of Pages: Median: 376
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- Publish Date: 2009 - 2010
- Publish Location: Berlin, Heidelberg
“Programming Languages and Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Data protection - Computer science - Programming languages (Electronic computers) - Congresses - Programmanalyse - Kongress - Programmierlogik - Programmiersprache - Formale Methode - Programmtransformation - Programmoptimierung - Softwaresystem - Programmverifikation - Sicherheit - Computer programming - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL25555037M - OL30623942M
- Library of Congress Control Number (LCCN): 2009939533
- All ISBNs: ➤ 3642106722 - 9783642106729 - 9783642106736 - 3642106730 - 3642106714 - 9783642106712
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programming Languages and Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Agent-Oriented Methodologies
By Brian Henderson-Sellers
“Agent-Oriented Methodologies” Metadata:
- Title: Agent-Oriented Methodologies
- Author: Brian Henderson-Sellers
- Language: English
- Number of Pages: Median: 413
- Publisher: IGI Global
- Publish Date: 2005
“Agent-Oriented Methodologies” Subjects and Themes:
- Subjects: ➤ Intelligent agents (Computer software) - Object-oriented methods (Computer science) - COMPUTERS - Enterprise Applications - Business Intelligence Tools - Intelligence (AI) & Semantics - Agentia - Methodologie - Agent - Softwareentwicklung - Softwaresystem
Edition Identifiers:
- The Open Library ID: OL8854923M
- Library of Congress Control Number (LCCN): 2005004542
- All ISBNs: 9781591405870 - 1591405874
First Setence:
"A methodology aims to prescribe all the elements necessary for the development of a software system especially in the context of commercial applications."
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Agent-Oriented Methodologies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Numerical Validation In Current Hardware Architectures
International Dagstuhl Seminar Dagstuhl Castle Germany January 611 2008 Revised Papers
By Walter Krämer
“Numerical Validation In Current Hardware Architectures” Metadata:
- Title: ➤ Numerical Validation In Current Hardware Architectures
- Author: Walter Krämer
- Publisher: Springer
- Publish Date: 2009
“Numerical Validation In Current Hardware Architectures” Subjects and Themes:
- Subjects: ➤ Computer science - Computer arithmetic - Congresses - Mathematics - Systementwurf - Kongress 2008 - CAD - Computerarchitektur - Computerarithmetik - Validierung - Softwaresystem - Softwarearchitektur - System design - Computer architecture - Computer-aided design
Edition Identifiers:
- The Open Library ID: OL26099335M
- Online Computer Library Center (OCLC) ID: 320800363
- Library of Congress Control Number (LCCN): 2009935477
- All ISBNs: 3642015905 - 9783642015908
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Numerical Validation In Current Hardware Architectures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Tests and proofs
By TAP 2010 (2010 Málaga, Spain)
“Tests and proofs” Metadata:
- Title: Tests and proofs
- Author: TAP 2010 (2010 Málaga, Spain)
- Language: English
- Number of Pages: Median: 182
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Tests and proofs” Subjects and Themes:
- Subjects: ➤ Beweis - Model Checking - Testing - Programmtest - Quality control - Congresses - Formale Methode - Reliability - Softwareentwicklung - Softwaresystem - Computer software - Logic design - Computer science - Software engineering - Computer software, verification
- Places: Málaga <2010>
Edition Identifiers:
- The Open Library ID: OL25249740M
- Online Computer Library Center (OCLC) ID: 646006863
- Library of Congress Control Number (LCCN): 2010929258
- All ISBNs: 3642139760 - 9783642139765
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Tests and proofs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.