Author: G. Ausiello
Publisher: Springer Science & Business Media
ISBN: 9783540127277
Category : Computers
Languages : en
Pages : 428
Book Description
With contributions by numerous experts
CAAP '83
Author: G. Ausiello
Publisher: Springer Science & Business Media
ISBN: 9783540127277
Category : Computers
Languages : en
Pages : 428
Book Description
With contributions by numerous experts
Publisher: Springer Science & Business Media
ISBN: 9783540127277
Category : Computers
Languages : en
Pages : 428
Book Description
With contributions by numerous experts
CAAP'86
Author: Paul Franchi-Zannettacci
Publisher: Springer Science & Business Media
ISBN: 9783540164432
Category : Computers
Languages : en
Pages : 316
Book Description
Publisher: Springer Science & Business Media
ISBN: 9783540164432
Category : Computers
Languages : en
Pages : 316
Book Description
CAAP '83
Author: Giorgio Ausiello
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 416
Book Description
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 416
Book Description
VLSI Algorithms and Architectures
Author: Fillia Makedon
Publisher: Springer Science & Business Media
ISBN: 9783540167662
Category : Computers
Languages : en
Pages : 340
Book Description
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Publisher: Springer Science & Business Media
ISBN: 9783540167662
Category : Computers
Languages : en
Pages : 340
Book Description
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Statutes at Large of the State of New York
Author: John W. Edmonds
Publisher: BoD – Books on Demand
ISBN: 3752501499
Category : Fiction
Languages : en
Pages : 857
Book Description
Reprint of the original, first published in 1870.
Publisher: BoD – Books on Demand
ISBN: 3752501499
Category : Fiction
Languages : en
Pages : 857
Book Description
Reprint of the original, first published in 1870.
Accurate Scientific Computations
Author: Willard L. Miranker
Publisher: Springer Science & Business Media
ISBN: 9783540167983
Category : Mathematics
Languages : en
Pages : 224
Book Description
Mathematics of Computing -- Numerical Analysis.
Publisher: Springer Science & Business Media
ISBN: 9783540167983
Category : Mathematics
Languages : en
Pages : 224
Book Description
Mathematics of Computing -- Numerical Analysis.
Mathematical Foundation of Programming Semantics
Author: Austin Melton
Publisher: Springer Science & Business Media
ISBN: 9783540168164
Category : Computers
Languages : en
Pages : 408
Book Description
Röntgenbefund und die sich in ihm widerspiegelnde pathologische Anatomie sind neben dem klinischen Bild die wichtigsten Säulen, auf denen die Diagnostik von Knochengeschwülsten und geschwulstähnlichen Läsionen beruht. Radiologen und Pathologen stellen in diesem Buch Klinik, Radiologie und Histolgie der verschiedenen Knochenläsionen am Gliedmaßen- und Achsenskelett umfassend und synoptisch dar. Das umfangreiche Material resultiert aus einer fünfzehnjährigen interdisziplinären Zusammenarbeit. In einem einleitenden Kapitel werden die verschiedenen radiologischen (konventionelles Röntgenbild, CT, Kernspintomographie, Angiographie, transkutane Biopsie) und histologischen Untersuchungstechniken und ihre Wertigkeit beschrieben. Der radiologischen Befundungsmethodik von Knochengeschwülsten u.a. mit Hilfe der Lodwick-Graduierung und einem neueren Staging-System für Knochengeschwülste werden eigene Kapitel gewidmet. Im speziellen Teil des Buches erfolgt die Darstellung der einzelnen benignen und malignen Knochengeschwülste in einer systematischen Untergliederung in ihre Häufigkeit, Lokalisation, Alters- und Geschlechtsprädilektion, Klinik und Prognose, Histologie, Radiologie und Differentialdiagnose. Besonders die unter den Knochengeschwülsten und tumorähnlichen Läsionen häufig vorkommenenden Entitäten sind mit einem umfassenden Bildmaterial ausgestattet, um dem breiten Spektrum ihrer Morphologie gerecht zu werden. Durch das Verständnis klinischer, radiologischer und pathologisch-anatomischer Befunde werden Diagnostik und Therapie der Skelettläsionen sehr erleichtert. Die synoptische Art der Darstellung macht dieses Buch für alle Disziplinen, die sich mit Knochentumoren befassen, zu einem idealen Nachschlagewerk.
Publisher: Springer Science & Business Media
ISBN: 9783540168164
Category : Computers
Languages : en
Pages : 408
Book Description
Röntgenbefund und die sich in ihm widerspiegelnde pathologische Anatomie sind neben dem klinischen Bild die wichtigsten Säulen, auf denen die Diagnostik von Knochengeschwülsten und geschwulstähnlichen Läsionen beruht. Radiologen und Pathologen stellen in diesem Buch Klinik, Radiologie und Histolgie der verschiedenen Knochenläsionen am Gliedmaßen- und Achsenskelett umfassend und synoptisch dar. Das umfangreiche Material resultiert aus einer fünfzehnjährigen interdisziplinären Zusammenarbeit. In einem einleitenden Kapitel werden die verschiedenen radiologischen (konventionelles Röntgenbild, CT, Kernspintomographie, Angiographie, transkutane Biopsie) und histologischen Untersuchungstechniken und ihre Wertigkeit beschrieben. Der radiologischen Befundungsmethodik von Knochengeschwülsten u.a. mit Hilfe der Lodwick-Graduierung und einem neueren Staging-System für Knochengeschwülste werden eigene Kapitel gewidmet. Im speziellen Teil des Buches erfolgt die Darstellung der einzelnen benignen und malignen Knochengeschwülste in einer systematischen Untergliederung in ihre Häufigkeit, Lokalisation, Alters- und Geschlechtsprädilektion, Klinik und Prognose, Histologie, Radiologie und Differentialdiagnose. Besonders die unter den Knochengeschwülsten und tumorähnlichen Läsionen häufig vorkommenenden Entitäten sind mit einem umfassenden Bildmaterial ausgestattet, um dem breiten Spektrum ihrer Morphologie gerecht zu werden. Durch das Verständnis klinischer, radiologischer und pathologisch-anatomischer Befunde werden Diagnostik und Therapie der Skelettläsionen sehr erleichtert. Die synoptische Art der Darstellung macht dieses Buch für alle Disziplinen, die sich mit Knochentumoren befassen, zu einem idealen Nachschlagewerk.
Mathematical Foundations of Computer Science 1986
Author: Jozef Gruska
Publisher: Springer Science & Business Media
ISBN: 9783540167839
Category : Computers
Languages : en
Pages : 810
Book Description
Publisher: Springer Science & Business Media
ISBN: 9783540167839
Category : Computers
Languages : en
Pages : 810
Book Description
Applied Algebra, Algorithmics and Error-Correcting Codes
Author: Alain Poli
Publisher: Springer Science & Business Media
ISBN: 9783540167679
Category : Computers
Languages : en
Pages : 70
Book Description
Publisher: Springer Science & Business Media
ISBN: 9783540167679
Category : Computers
Languages : en
Pages : 70
Book Description