Explore: Prozessalgebra
Discover books, insights, and more — all in one place.
Learn more about Prozessalgebra with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “prozessalgebra”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Introduction to the formal design of real-time systems
By Gray, David
“Introduction to the formal design of real-time systems” Metadata:
- Title: ➤ Introduction to the formal design of real-time systems
- Author: Gray, David
- Language: English
- Number of Pages: Median: 461
- Publisher: Springer
- Publish Date: 1999
- Publish Location: London - New York
“Introduction to the formal design of real-time systems” Subjects and Themes:
- Subjects: ➤ Real-time data processing - System design - Echtzeitsystem - Systèmes, Conception de - Echtzeitverarbeitung - Systementwurf - Temps réel - Prozessalgebra
Edition Identifiers:
- The Open Library ID: OL682548M
- Online Computer Library Center (OCLC) ID: 37457758
- Library of Congress Control Number (LCCN): 97029239
- All ISBNs: 9783540761402 - 3540761403
Access and General Info:
- First Year Published: 1999
- 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 Introduction to the formal design of real-time systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Programs, proofs, processes
By Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
“Programs, proofs, processes” Metadata:
- Title: Programs, proofs, processes
- Author: ➤ Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
- Language: English
- Number of Pages: Median: 450
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Programs, proofs, processes” Subjects and Themes:
- Subjects: ➤ Computational complexity - Berechenbarkeit - Computer science - Mathematische Logik - Congresses - Computable functions - Beweistheorie - Mathematics - Theoretische Informatik - Prozessalgebra - Berechnungskomplexität
Edition Identifiers:
- The Open Library ID: OL25321476M
- Online Computer Library Center (OCLC) ID: 646006859
- Library of Congress Control Number (LCCN): 2010929188
- All ISBNs: 9783642139611 - 3642139612
Access and General Info:
- First Year Published: 2010
- 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 Programs, proofs, processes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Prozeßtheorie der Ablaufplanung
By Peter Rittgen
“Prozeßtheorie der Ablaufplanung” Metadata:
- Title: ➤ Prozeßtheorie der Ablaufplanung
- Author: Peter Rittgen
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1998
- Publish Location: Wiesbaden
“Prozeßtheorie der Ablaufplanung” Subjects and Themes:
- Subjects: Ablaufplanung - Prozessalgebra
Edition Identifiers:
- The Open Library ID: OL27083594M
- Online Computer Library Center (OCLC) ID: 863901768
- All ISBNs: 3322976181 - 9783322976185
Access and General Info:
- First Year Published: 1998
- 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 Prozeßtheorie der Ablaufplanung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Processes, terms and cycles
By Aart Middeldorp and Vincent van Oostrom
“Processes, terms and cycles” Metadata:
- Title: Processes, terms and cycles
- Authors: Aart MiddeldorpVincent van Oostrom
- Language: English
- Number of Pages: Median: 639
- Publisher: Springer
- Publish Date: 2006
“Processes, terms and cycles” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Machine theory - Rewriting systems (Computer science) - Mathematical Logic and Formal Languages - Lambda-Kalkül - Logic - MATHEMATICS - Aspektorientierte Programmierung - Processus infinis - Réécriture, Systèmes de (Informatique) - Infinity - Reduktionssystem - Infinite Processes - Mathematical Logic and Foundations - Logics and Meanings of Programs - Computer Science - Constraint-Programmierung - Lambda-calcul - Prozessalgebra - Artificial Intelligence (incl. Robotics) - Calculus
Edition Identifiers:
- The Open Library ID: OL9056182M
- Online Computer Library Center (OCLC) ID: 63107694 - 62607951
- Library of Congress Control Number (LCCN): 2005937699
- All ISBNs: 9783540309116 - 354030911X
Access and General Info:
- First Year Published: 2006
- 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 Processes, terms and cycles at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Topology in Process Calculus
By Mingsheng Ying
“Topology in Process Calculus” Metadata:
- Title: Topology in Process Calculus
- Author: Mingsheng Ying
- Language: ger
- Publisher: Springer New York
- Publish Date: 2001
- Publish Location: New York, NY
“Topology in Process Calculus” Subjects and Themes:
- Subjects: Beweis - Korrektheit - Bisimulation - Prozessalgebra - Paralleles Programm
Edition Identifiers:
- The Open Library ID: OL27092373M
- Online Computer Library Center (OCLC) ID: 724939173
- All ISBNs: 9781461301233 - 1461301238
Access and General Info:
- First Year Published: 2001
- 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 Topology in Process Calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers
By Christos Kaklamanis
“Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers” Metadata:
- Title: ➤ Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers
- Author: Christos Kaklamanis
- Publisher: Springer
- Publish Date: 2009
“Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers” Subjects and Themes:
- Subjects: ➤ Logic design - Computer networks - Computer science - Software engineering - Data protection - Computer security - Congresses - Security measures - Computer software - Validation - Verification - Grid Computing - Kongress - Trusted Computing - Serviceorientierte Architektur - Sicherheitsprotokoll - Datensicherung - Anonymität - Verteiltes System - Prozessalgebra - Globalization - Reliability - Software protection
Edition Identifiers:
- The Open Library ID: OL26041329M
- Online Computer Library Center (OCLC) ID: 317920910
- Library of Congress Control Number (LCCN): 2009929950
- All ISBNs: 9783642009440 - 3642009441
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 Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Trustworthy global computing
By TGC 2006 (2006 Lucca, Italy)
“Trustworthy global computing” Metadata:
- Title: Trustworthy global computing
- Author: TGC 2006 (2006 Lucca, Italy)
- Language: English
- Number of Pages: Median: 338
- Publisher: Springer
- Publish Date: 2007
- Publish Location: Berlin - New York
“Trustworthy global computing” Subjects and Themes:
- Subjects: ➤ Verteiltes System - Redes de computadores (medidas de segurança;congressos) - Grid Computing - Segurança de computadores (congressos) - Software protection - Sicherheitsprotokoll - Datensicherung - Computer networks - Trusted Computing - Softwares (proteção;congressos) - Serviceorientierte Architektur - Reliability - Congresses - Computer security - Anonymität - Security measures - Prozessalgebra - Computer networks, security measures - Computer software, validation - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL25328020M
- Online Computer Library Center (OCLC) ID: 176931842
- Library of Congress Control Number (LCCN): 2007939452
- All ISBNs: 3540753338 - 9783540753339
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Trustworthy global computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.