Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek
2010, ISBN: 9048165237
[EAN: 9789048165230], Neubuch, [SC: 0.0], [PU: Springer Netherlands], AREA; CONGRUENCE; LATTICE; MATHEMATICA; NATURAL; VOLUME; ALGORITHMS; DATASTRUCTURES; PROGRAMMINGLANGUAGE; SEMANTICS, … Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2025, ISBN: 9789048165230
[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological idea… Meer...
booklooker.de |
ISBN: 9789048165230
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reaso… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details... |
Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek
2010, ISBN: 9048165237
Softcover reprint of the original 1st ed. 2003 Kartoniert / Broschiert Mathematische Grundlagen, Algebra, Geometrie, Philosophie: Logik, Compiler und Übersetzer, Area; Congruence; Latti… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek
2010, ISBN: 9048165237
Softcover reprint of the original 1st ed. 2003 Kartoniert / Broschiert Mathematische Grundlagen, Algebra, Geometrie, Logik, Compiler und Übersetzer, Congruence; Lattice; Mathematica; Na… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek
2010, ISBN: 9048165237
[EAN: 9789048165230], Neubuch, [SC: 0.0], [PU: Springer Netherlands], AREA; CONGRUENCE; LATTICE; MATHEMATICA; NATURAL; VOLUME; ALGORITHMS; DATASTRUCTURES; PROGRAMMINGLANGUAGE; SEMANTICS, … Meer...
2025, ISBN: 9789048165230
[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological idea… Meer...
ISBN: 9789048165230
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reaso… Meer...
Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek
2010, ISBN: 9048165237
Softcover reprint of the original 1st ed. 2003 Kartoniert / Broschiert Mathematische Grundlagen, Algebra, Geometrie, Philosophie: Logik, Compiler und Übersetzer, Area; Congruence; Latti… Meer...
Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - pocketboek
2010, ISBN: 9048165237
Softcover reprint of the original 1st ed. 2003 Kartoniert / Broschiert Mathematische Grundlagen, Algebra, Geometrie, Logik, Compiler und Übersetzer, Congruence; Lattice; Mathematica; Na… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation (3), Band 3)
EAN (ISBN-13): 9789048165230
ISBN (ISBN-10): 9048165237
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Zhang, Guo-Qiang, Springer
212 Bladzijden
Gewicht: 0,345 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-03-25T03:00:51+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-21T17:23:39+01:00 (Amsterdam)
ISBN/EAN: 9789048165230
ISBN - alternatieve schrijfwijzen:
90-481-6523-7, 978-90-481-6523-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ming, guo, luo
Titel van het boek: semantic domain, logic and structure, sichuan, domain theory, computation structures, china
Gegevens van de uitgever
Auteur: Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Luo
Titel: Semantics Structures in Computation; Domain Theory, Logic and Computation - Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Uitgeverij: Springer; Springer Netherland
197 Bladzijden
Verschijningsjaar: 2010-12-25
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XII, 197 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Area; Congruence; Lattice; Mathematica; Natural; Volume; algorithms; data structures; logic; programming language; semantics; Logic; Order, Lattices, Ordered Algebraic Structures; Geometry; Mathematical Logic and Foundations; Compilers and Interpreters; Algebra; Geometrie; Mathematik: Logik; Mathematische Grundlagen; Compiler und Übersetzer; BB; EA
1 Playful, streamlike computation.- 2 Universal types and what they are good for.- 3 Relational representations of hyper-continuous lattices.- 4 Convergence classes and spaces of partial functions.- 5 On meet-continuous dcpos.- 6 External characterizations of continuous sL-domains.- 7 Projectives and injectives in the category of quantales.- 8 On minimal event and concrete data structures.- 9 A note on strongly finite sequent structures.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401712910 Domain Theory, Logic and Computation (J. Lawson; Ying Ming Liu; M.K. Luo; Guo-Qiang Zhang)
< naar Archief...