Explore: Algebraische Methode
Discover books, insights, and more — all in one place.
Learn more about Algebraische Methode with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “algebraische-methode”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Lectures on algebraic statistics
By Mathias Drton
“Lectures on algebraic statistics” Metadata:
- Title: ➤ Lectures on algebraic statistics
- Author: Mathias Drton
- Language: English
- Number of Pages: Median: 176
- Publisher: ➤ Birkhäuser - Birkhäuser Basel - Springer [distributor]
- Publish Date: 2009
- Publish Location: Basel - London - Boston
“Lectures on algebraic statistics” Subjects and Themes:
- Subjects: ➤ Mathematical statistics - Algebra - Algebraische Methode - Kongress - Statistik - General - Algebraic - Mathematics & statistics -> mathematics -> probability - Mathematics & statistics -> post-calculus -> geometry-junior level - Scs11001 - Scm11019 - Scm27004 - Suco11649 - 3921 - 6291 - 2923
Edition Identifiers:
- The Open Library ID: OL23953652M - OL43985827M
- Library of Congress Control Number (LCCN): 2008939526
- All ISBNs: 9783764389048 - 3764389044 - 9783764389055 - 3764389052
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 Lectures on algebraic statistics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Adapting proofs-as-programs
By Iman Hafiz Poernomo and Martin Wirsing
“Adapting proofs-as-programs” Metadata:
- Title: Adapting proofs-as-programs
- Authors: Iman Hafiz PoernomoMartin Wirsing
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer
- Publish Date: 2005
“Adapting proofs-as-programs” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Symbolic and mathematical Logic - Proof theory - Curry-Howard isomorphism - Functional programming (Computer science) - Abstract data types (Computer science) - Algebraische Methode - Softwareentwicklung - Funktionale Programmierung - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Mathematical Logic and Foundations - Programming Techniques - Software Engineering/Programming and Operating Systems - Models and Principles
Edition Identifiers:
- The Open Library ID: OL7444579M
- Online Computer Library Center (OCLC) ID: 58478542
- Library of Congress Control Number (LCCN): 2005046411
- All ISBNs: 0387237593 - 9780387237596
First Setence:
"Ultimately, software developers would like to solve problems by building well-structured, comprehensible, correct programs, solely through the application of domain knowledge."
Access and General Info:
- First Year Published: 2005
- 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 Adapting proofs-as-programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings
By Josa(c) Meseguer
“Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings” Metadata:
- Title: ➤ Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings
- Author: Josa(c) Meseguer
- Publisher: Springer
- Publish Date: 2008
“Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Algebra - Data processing - Artificial intelligence - Congresses - Abstract data types (Computer science) - Algebraische Methode - Softwareentwicklung - Abstract data types (computer science)
Edition Identifiers:
- The Open Library ID: OL26055383M
- Online Computer Library Center (OCLC) ID: 233932753
- Library of Congress Control Number (LCCN): 2008930999
- All ISBNs: 3540799796 - 9783540799795
Access and General Info:
- First Year Published: 2008
- 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 Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Algebraic Methodology and Software Technology
By AMAST <13, 2010, Lac Beauport, Québec>
“Algebraic Methodology and Software Technology” Metadata:
- Title: ➤ Algebraic Methodology and Software Technology
- Author: ➤ AMAST <13, 2010, Lac Beauport, Québec>
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2004
- Publish Location: Berlin, Heidelberg
“Algebraic Methodology and Software Technology” Subjects and Themes:
- Subjects: Algebraische Methode - Softwareentwicklung
Edition Identifiers:
- The Open Library ID: OL27015863M
- Online Computer Library Center (OCLC) ID: 724296413
- All ISBNs: 9783540278153 - 354027815X
Access and General Info:
- First Year Published: 2004
- 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 Algebraic Methodology and Software Technology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen
By Winfried Fakler
“Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen” Metadata:
- Title: ➤ Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen
- Author: Winfried Fakler
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1999
- Publish Location: Wiesbaden
“Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen” Subjects and Themes:
- Subjects: ➤ Algebraische Methode - MuPAD 1.4 - Lineare gewöhnliche Differentialgleichung
Edition Identifiers:
- The Open Library ID: OL27015898M
- Online Computer Library Center (OCLC) ID: 864053810
- All ISBNs: 3322921042 - 9783322921048
Access and General Info:
- First Year Published: 1999
- 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 Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Algebraic methods
By M. Wirsing and J. A. Bergstra
“Algebraic methods” Metadata:
- Title: Algebraic methods
- Authors: M. WirsingJ. A. Bergstra
- Language: English
- Number of Pages: Median: 558
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Algebraic methods” Subjects and Themes:
- Subjects: ➤ Development - Computer software - Congresses - Algebra - Computer systems organization - Számítógéprendszerek - Konferencia - Logiciels - Congrès - Développement - Algèbre - Algebraische Methode - Datenstruktur - Kongress - Data processing
Edition Identifiers:
- The Open Library ID: OL2200226M
- Online Computer Library Center (OCLC) ID: 20319009
- Library of Congress Control Number (LCCN): 89021810
- All ISBNs: 0387516980 - 9780387516981
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Algebraic methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Algebraic methodology and software technology
By International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)
“Algebraic methodology and software technology” Metadata:
- Title: ➤ Algebraic methodology and software technology
- Author: ➤ International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)
- Language: English
- Number of Pages: Median: 544
- Publisher: Springer
- Publish Date: 2000
- Publish Location: Berlin - New York
“Algebraic methodology and software technology” Subjects and Themes:
- Subjects: ➤ Congresses - Software engineering - Abstract data types (Computer science) - Genie logiciel - Algebraische Methode - Fundamentele informatica - Congres - Softwareentwicklung - Types abstraits de donnees (Informatique)
Edition Identifiers:
- The Open Library ID: OL18140194M
- Online Computer Library Center (OCLC) ID: 44045563
- Library of Congress Control Number (LCCN): 00032203
- All ISBNs: 9783540675303 - 3540675302
Access and General Info:
- First Year Published: 2000
- 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 Algebraic methodology and software technology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Discrete Algebraic Methods
By Ulrich Hertrampf, Manfred Kufleitner and Gerhard Rosenberger
“Discrete Algebraic Methods” Metadata:
- Title: Discrete Algebraic Methods
- Authors: Ulrich HertrampfManfred KufleitnerGerhard Rosenberger
- Languages: English - ger
- Number of Pages: Median: 354
- Publisher: De Gruyter
- Publish Date: 2016
- Publish Location: Boston - Berlin
“Discrete Algebraic Methods” Subjects and Themes:
- Subjects: ➤ Pre-Calculus - Cryptography - Reference - Textbooks - Algebraische Methode - Diskrete Mathematik - Algorithms - Computer science - Mathematics - Essays - Ordered algebraic structures - Computer science, mathematics - Algebra
Edition Identifiers:
- The Open Library ID: OL28412818M
- Online Computer Library Center (OCLC) ID: 931647817 - 953920693
- Library of Congress Control Number (LCCN): 2016013335
- All ISBNs: ➤ 3110413329 - 3110416328 - 9783110413335 - 9783110416329 - 3110413337 - 9783110413328
Access and General Info:
- First Year Published: 2016
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Discrete Algebraic Methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.