Explore: Programmanalyse
Discover books, insights, and more — all in one place.
Learn more about Programmanalyse with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmanalyse”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Data structures and algorithm analysis
By Mark Allen Weiss
“Data structures and algorithm analysis” Metadata:
- Title: ➤ Data structures and algorithm analysis
- Author: Mark Allen Weiss
- Language: English
- Number of Pages: Median: 481
- Publisher: Benjamin/Cummings Pub. Co.
- Publish Date: 1992 - 1995
- Publish Location: Redwood City, Calif
“Data structures and algorithm analysis” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Data structures (Computer science) - Algorithmus - Algorithmentheorie - Datenstruktur - Programmanalyse
Edition Identifiers:
- The Open Library ID: OL1102340M - OL1547410M
- Online Computer Library Center (OCLC) ID: 30700521
- Library of Congress Control Number (LCCN): 91026788 - 94027280
- All ISBNs: 0805390529 - 9780805390520 - 9780805390575 - 080539057X
Access and General Info:
- First Year Published: 1992
- 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 Data structures and algorithm analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Impact analysis for program evaluation
By Lawrence B. Mohr
“Impact analysis for program evaluation” Metadata:
- Title: ➤ Impact analysis for program evaluation
- Author: Lawrence B. Mohr
- Language: English
- Number of Pages: Median: 217
- Publisher: ➤ SAGE Publications, Incorporated - Dorsey Press - Sage Publications
- Publish Date: 1988 - 1992 - 1995 - 2012
- Publish Location: ➤ Thousand Oaks, Calif - Newbury Park - Chicago, Ill
“Impact analysis for program evaluation” Subjects and Themes:
- Subjects: ➤ Policy sciences - Evaluation research (Social action programs) - Evaluation - Sozialwissenschaften - Programmanalyse - Program Evaluation - Evaluation Studies - Methods - Regression Analysis - Research Design
Edition Identifiers:
- The Open Library ID: OL39909084M - OL1277814M - OL1722875M - OL2413053M
- Online Computer Library Center (OCLC) ID: 26305077 - 18257206 - 32626383
- Library of Congress Control Number (LCCN): 92026388 - 87070721 - 95009539
- All ISBNs: ➤ 9780803959354 - 9780803959361 - 0256056234 - 1452246440 - 0256060061 - 9781452246444 - 9780803949812 - 9780256060065 - 9780256056235 - 0803959354 - 0803959362 - 0803949812
Access and General Info:
- First Year Published: 1988
- 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 Impact analysis for program evaluation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Practical Introduction to Data Structures and Algorithm Analysis, A
By Clifford A. Shaffer
“Practical Introduction to Data Structures and Algorithm Analysis, A” Metadata:
- Title: ➤ Practical Introduction to Data Structures and Algorithm Analysis, A
- Author: Clifford A. Shaffer
- Language: English
- Number of Pages: Median: 494
- Publisher: Prentice Hall
- Publish Date: 1996
“Practical Introduction to Data Structures and Algorithm Analysis, A” Subjects and Themes:
- Subjects: ➤ Algorithmes - Computer algorithms - Algoritmos e estruturas de dados - Structures de données (informatique) - Data structures (Computer science) - Algorithmus - Datenstruktur - Programmanalyse
Edition Identifiers:
- The Open Library ID: OL7338548M - OL9293203M
- Online Computer Library Center (OCLC) ID: 35043972
- Library of Congress Control Number (LCCN): 96027210
- All ISBNs: 9780131907522 - 0131907522
Access and General Info:
- First Year Published: 1996
- 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 Practical Introduction to Data Structures and Algorithm Analysis, A at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4An introduction to the analysis of algorithms
By Robert Sedgewick and Philippe Flajolet
“An introduction to the analysis of algorithms” Metadata:
- Title: ➤ An introduction to the analysis of algorithms
- Authors: Robert SedgewickPhilippe Flajolet
- Language: English
- Number of Pages: Median: 512
- Publisher: ➤ Addison-Wesley - Addison-Wesley Professional
- Publish Date: 1995 - 1996 - 2013
- Publish Location: ➤ Reading, Mass - Upper Saddle River, NJ, USA
“An introduction to the analysis of algorithms” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Algorithms - Algoritmen - Algoritmos e estruturas de dados - Algorithmus - Analyse - Programmanalyse - Programmingalgorithms - Qa76.9.a43 s43 1996 - 005.1 - 31.10 - 54.10 - St 130 - St 134 - Programming - general & miscellaneous
Edition Identifiers:
- The Open Library ID: OL791770M - OL27914435M - OL7407321M
- Online Computer Library Center (OCLC) ID: 32737674
- Library of Congress Control Number (LCCN): 95024307 - 2012955493
- All ISBNs: 020140009X - 9780201400090 - 032190575X - 9780321905758
Author's Alternative Names:
"Phillipe Flajolet"Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 An introduction to the analysis of algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Television and children
By Brian R. Clifford
“Television and children” Metadata:
- Title: Television and children
- Author: Brian R. Clifford
- Language: English
- Number of Pages: Median: 251
- Publisher: ➤ L. Erlbaum Associates - Erlbaum
- Publish Date: 1995
- Publish Location: Hillsdale, N.J - Hove
“Television and children” Subjects and Themes:
- Subjects: ➤ Child psychology - Television and children - Television programs for children - Evaluation - Télévision et enfants - Télévision - Fernsehen - Kinderen - Kind - Fernsehwirkung - Émissions pour enfants - Children's television programs - Enfant - Verstehen - Évaluation - Enfants - Psychologie - Kognitives Lernen - Kijkgedrag - Kinderfernsehen - Televisieprogramma's - Programmanalyse
Edition Identifiers:
- The Open Library ID: OL1099366M - OL22270268M - OL22115020M
- Online Computer Library Center (OCLC) ID: 317945430 - 31331679
- Library of Congress Control Number (LCCN): 94024129
- All ISBNs: 0805816836 - 9780805816839 - 9780805816822 - 0805816828
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Television and children at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Verification and validation in systems engineering
By Mourad Debbabi
“Verification and validation in systems engineering” Metadata:
- Title: ➤ Verification and validation in systems engineering
- Author: Mourad Debbabi
- Language: English
- Number of Pages: Median: 274
- Publisher: Springer
- Publish Date: 2010 - 2011 - 2014
- Publish Location: New York - Heidelberg
“Verification and validation in systems engineering” Subjects and Themes:
- Subjects: ➤ Systems engineering - Leistungsbewertung - Softwaremetrie - SysML (Computer science) - Software Engineering - Expert systems (Computer science) - SysML - Systementwicklung - Verification - UML (Computer science) - UML - Validierung - Validation - Verifikation - Programmanalyse - Computer programs - Computer software, validation - Uml (computer science)
Edition Identifiers:
- The Open Library ID: OL27975467M - OL27972682M - OL25004097M
- Online Computer Library Center (OCLC) ID: 662409358
- Library of Congress Control Number (LCCN): 2010936711
- All ISBNs: ➤ 3642423167 - 3642152295 - 9783642152276 - 9783642423161 - 3642152279 - 9783642152290
Access and General Info:
- First Year Published: 2010
- 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 Verification and validation in systems engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Verification, model checking, and abstract interpretation
By VMCAI 2004 (2004 Venice, Italy)
“Verification, model checking, and abstract interpretation” Metadata:
- Title: ➤ Verification, model checking, and abstract interpretation
- Author: ➤ VMCAI 2004 (2004 Venice, Italy)
- Language: English
- Number of Pages: Median: 324
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin
“Verification, model checking, and abstract interpretation” Subjects and Themes:
- Subjects: ➤ Computer programs - Congresses - Verification - Logiciels - Congrès - Vérification - COMPUTERS - Software Development & Engineering - Quality Assurance & Testing - Abstrakte Interpretation - Formale Methode - Kongress - Model Checking - Programmanalyse - Programmverifikation - Vérification de logiciels - Model-checking (Informatique) - Méthode formelle
Edition Identifiers:
- The Open Library ID: OL18209567M - OL3303006M
- Online Computer Library Center (OCLC) ID: 54400193
- Library of Congress Control Number (LCCN): 2004043677
- All ISBNs: 9783540208037 - 3540208038
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Verification, model checking, and abstract interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Programming 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.
9Formal methods
By Keijiro Araki
“Formal methods” Metadata:
- Title: Formal methods
- Author: Keijiro Araki
- Language: English
- Publisher: Springer
- Publish Date: 2003
- Publish Location: Heidelberg - Berlin
“Formal methods” Subjects and Themes:
- Subjects: ➤ Programmanalyse - Programmverifikation - Formale Methode - Softwareentwicklung - Model Checking - Testen - Systementwicklung - Software - Computer software, development - Computer science - System design
Edition Identifiers:
- The Open Library ID: OL27039272M
- Online Computer Library Center (OCLC) ID: 76633362
- All ISBNs: 3540452362 - 9783540452362
Access and General Info:
- First Year Published: 2003
- 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 Formal methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Verified software
By VSTTE 2010 (2010 Edinburgh, Scotland)
“Verified software” Metadata:
- Title: Verified software
- Author: ➤ VSTTE 2010 (2010 Edinburgh, Scotland)
- Language: English
- Number of Pages: Median: 215
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Verified software” Subjects and Themes:
- Subjects: ➤ Programmverifikation - Formale Methode - Programmtest - Congresses - Verification - Computer programs - Software - Verifikation - Programmanalyse - Logic design - Software engineering - Computer science - Artificial intelligence - Computer software, verification
- Places: Edinburgh <2010>
Edition Identifiers:
- The Open Library ID: OL25370862M
- Online Computer Library Center (OCLC) ID: 657597111
- Library of Congress Control Number (LCCN): 2010931860
- All ISBNs: 9783642150562 - 364215056X
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 Verified software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
By Ana Cavalcanti
“Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
- Author: Ana Cavalcanti
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer science - Software engineering - Computer software - Formal methods (Computer science) - Congresses - Programmanalyse - Kongress - Model Checking - Programmtest - Formale Methode - Softwareentwicklung - Verifikation - Systementwicklung - Zuverlässigkeit - Fehlertoleranz - System design
Edition Identifiers:
- The Open Library ID: OL26014137M
- Library of Congress Control Number (LCCN): 2009938641
- All ISBNs: 9783642103728 - 3642103723
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 Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
By Huibiao Zhu
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
- Author: Huibiao Zhu
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer networks - Computer science - Software engineering - Computer software - Entscheidungsverfahren - Programmtest - Programmverifikation - Formale Methode - Serviceorientierte Architektur - Softwareentwicklung - Congresses - Web Services - Model Checking - Leistungsbewertung - Formal methods (Computer science) - Programmanalyse - Computer engineering
Edition Identifiers:
- The Open Library ID: OL25973559M
- Library of Congress Control Number (LCCN): 2010938033
- All ISBNs: 3642169007 - 9783642169007
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 Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Tools and algorithms for the construction and analysis of systems
By TACAS 2010 (2010 Paphos, Cyprus)
“Tools and algorithms for the construction and analysis of systems” Metadata:
- Title: ➤ Tools and algorithms for the construction and analysis of systems
- Author: ➤ TACAS 2010 (2010 Paphos, Cyprus)
- Language: English
- Number of Pages: Median: 468
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:
- Subjects: ➤ Development - Model Checking - Congresses - System design - System analysis - Softwareentwicklung - Computer software - Theoretische Informatik - Systementwicklung - Programmanalyse - Logic design - Computer networks - Artificial intelligence - Software engineering - Computer science
Edition Identifiers:
- The Open Library ID: OL25296754M
- Online Computer Library Center (OCLC) ID: 586999181
- Library of Congress Control Number (LCCN): 2010921913
- All ISBNs: 3642120016 - 9783642120015
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 Tools and algorithms for the construction and analysis of systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Optimierung objektorientierter Programme
By Martin Trapp
“Optimierung objektorientierter Programme” Metadata:
- Title: ➤ Optimierung objektorientierter Programme
- Author: Martin Trapp
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2001
- Publish Location: Berlin, Heidelberg
“Optimierung objektorientierter Programme” Subjects and Themes:
- Subjects: ➤ Objektorientierte Programmierung - Übersetzerbau - Programmtransformation - Programmoptimierung - Programmanalyse
Edition Identifiers:
- The Open Library ID: OL27078998M
- Online Computer Library Center (OCLC) ID: 863736199
- All ISBNs: 9783642595028 - 3642595022
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 Optimierung objektorientierter Programme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Formal methods for quantitative aspects of programming languages
By International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
“Formal methods for quantitative aspects of programming languages” Metadata:
- Title: ➤ Formal methods for quantitative aspects of programming languages
- Author: ➤ International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
- Language: English
- Number of Pages: Median: 167
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Formal methods for quantitative aspects of programming languages” Subjects and Themes:
- Subjects: ➤ Congresses - Programmiersprache - Formale Methode - Formal methods (Computer science) - Programmanalyse - Programming languages (Electronic computers) - Computer science - Web services - Internet
- Places: Bertinoro <2010>
Edition Identifiers:
- The Open Library ID: OL25375119M
- Online Computer Library Center (OCLC) ID: 644521774
- Library of Congress Control Number (LCCN): 2010928129
- All ISBNs: 9783642136771 - 364213677X
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 Formal methods for quantitative aspects of programming languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.