Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Libristo-code: 01782369
Uitgeverij Springer Fachmedien Wiesbaden, februari 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Volledige beschrijving
? points 125 b
51.54 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Organisches Germanium Kazuhiko Asai / Boek Gebonden (paperback)
common.buy 17.75 €
Das Innerste Beruhren Maike Stüven / Boek Gebonden (harde band)
common.buy 16.13 €
Hochdeutsche Gedichte Friedrich Stoltze / Boek Gebonden (paperback)
common.buy 41.76 €
Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht / Boek Gebonden (paperback)
common.buy 18.96 €
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Boek Gebonden (paperback)
common.buy 24.10 €
Catálogo da flora vascular galega NIÑO RICOI / Boek Gebonden (paperback)
common.buy 18.55 €
Prehistorický svět v životní velikosti Dougal Dixon / Boek Gebonden (harde band)
common.buy 17.85 €

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Auteur Christian Herde
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 163
EAN 9783834814944
ISBN 3834814946
Libristo-code 01782369
Uitgeverij Springer Fachmedien Wiesbaden
Gewicht 228
Afmetingen 148 x 210 x 9

Categorieën

Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Plays by H. J. Byron Jim Davis / Boek Gebonden (harde band)
common.buy 10.68 €
The Book Nook Curse Laetitia Clark / Boek Gebonden (paperback)
common.buy 16.54 €
GAMERS BAR REEDER CASSANDRA / Boek Gebonden (harde band)
common.buy 19.36 €
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Boek Gebonden (paperback)
common.buy 35.40 €
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Boek Gebonden (harde band)
common.buy 102.69 €
Awesome Truths: Confessions of a Believer A Atkinson / Boek Gebonden (paperback)
common.buy 11.19 €
Are You Addicted To Food? Diane Del Vescio / Boek Gebonden (paperback)
common.buy 17.44 €
Ellen Shipman and the American Garden Judith B. Tankard / Boek Gebonden (harde band)
common.buy 39.13 €
Basic Equality and Discrimination Smith / Boek Gebonden (paperback)
common.buy 77.07 €
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Boek Gebonden (harde band)
common.buy 20.47 €
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Boek Gebonden (paperback)
common.buy 51.54 €
English Plus: Starter: Audio CD Ben Wetz / Audio Audio cd
common.buy 49.83 €
Competitive Strategies for the 21st Century Thomas Mahnken / Boek Gebonden (paperback)
common.buy 31.06 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?