Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

The mu-calculus and the hierarchy problem

Limba englezăengleză
Carte Carte broșată
Carte The mu-calculus and the hierarchy problem Giacomo Lenzi
Codul Libristo: 01967752
Editura Springer, Berlin, noiembrie 1997
The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area... Descrierea completă
? points 30 b
64.62 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Diccionario del amante de América Latina Mario . . . [Et Al. ] Vargas Llosa / Carte Copertă tare
common.buy 152.15 lei
The Psychology of Leadership Sebastien Page / Carte Carte broșată
common.buy 85.33 lei
Geste Et La Parole (Le) Boutet / Carte Carte broșată
common.buy 137.37 lei
Distributed Ledger Technology als [R]evolution des Supply Chain Managements Claude Aschwanden / E-book Adobe ePub DRM
common.buy 396.41 lei
Dictionnaire de l'Académie française / Carte Carte broșată
common.buy 649.31 lei
Sirena del Sur: Mi renacer, mi amor virtual Lili de Vita / Carte Carte broșată
common.buy 71.91 lei
La violencia intrafamiliar: menores, jóvenes y género / Carte Carte broșată
common.buy 210.43 lei
Cinq Semaines En Ballon Book + Cassette (Level 1) Verne / Carte Carte broșată
common.buy 72.43 lei
Lexique Plurilingue Europ en d''origine Grecque Pour Le Lyc e Christine Müller-Tragin / Carte Carte broșată
common.buy 229.47 lei
Curând
"Dann hör doch einfach auf...!" - Lebensgeschichte eines Alkoholikers Alfred Endres / Carte Carte broșată
common.buy 66.49 lei
betriebswirtschaftliche Steuerlehre als eigenstandige Wissenschaft Yvonne Stöcklein / Carte Carte broșată
common.buy 187.43 lei
Nachte Carl Hauptmann / Carte Carte broșată
common.buy 61.29 lei
Erkenne Dich selbst ! Conny Blauschmidt / Carte Carte broșată
common.buy 94.28 lei
Der medizinische Blick in die Zukunft Regine Kollek / Carte Carte broșată
common.buy 231.45 lei

The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. The Mu-calculus is a logic capable of expressing least and greatest solutions of fixpoint equations x=f(x), where f is a monotone function mapping some complete ordered set into itself. The thesis has two goals, one expository and one technical. The expository goal is to present some results and problems about the Mu-calculus. On the technical respect, this thesis addresses a specific expressiveness problem of the Mu-calculus, the alternation depth hierarchy problem.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet The mu-calculus and the hierarchy problem
Autor Giacomo Lenzi
Limba engleză
Legare Carte - Carte broșată
Data publicării 1998
Număr pagini 94
EAN 9788876422836
ISBN 8876422838
Codul Libristo 01967752
Editura Springer, Berlin
Greutatea 227
Dimensiuni 168 x 240 x 8

Categorii

Mathematics & Science > Mathematics > Probability & statistics
Mathematics & Science > Mathematics > Applied mathematics
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Royal Pavilion, Brighton: King's Apartment Dragon Wallpaper Artisan Art Notebook (Flame Tree Journals) Flame Tree Publishing / Calendar / Agendă Agendă
common.buy 69.09 lei
A Program for Monetary Stability: Millar Lectures, No. 3 Milton Friedman / Carte Copertă tare
common.buy 205.02 lei
Tommy Trot's Visit to Santa Claus Thomas Nelson Page / Carte Carte broșată
common.buy 61.29 lei
Ladies of the White House Laura Carter Holloway / Carte Carte broșată
common.buy 196.38 lei
Austria in the European Union Anton Pelinka / Carte Copertă tare
common.buy 809.69 lei
A Treatise on the Law of Suits by Attachment in the United States. Charles D Drake / Carte Carte broșată
common.buy 199.81 lei
Advances in Air Pollution Modeling for Environmental Security István Faragó / Carte Copertă tare
common.buy 599.87 lei
Her Majesty's Swarm: Volume 1 Eiri Iwamoto / Carte Carte broșată
common.buy 75.86 lei
Diary and Consultation Book ... [serial]; 23/24(1696) Madras (India Presidency) / Carte Copertă tare
common.buy 173.79 lei
Early Escapades Eudora Welty / Carte Copertă tare
common.buy 149.75 lei
Emptied Christ of Philippians John P. Keenan / Carte Carte broșată
common.buy 190.24 lei
Magnetic Nanotubes as Magnetic Resonance Contrast Agents Xia Bai / Carte Carte broșată
common.buy 261.84 lei
Urban Risk Reduction and Adaptation Christine Wamsler / Carte Carte broșată
common.buy 418.68 lei
Plan B Pete Wilson / Carte Carte broșată
common.buy 90.85 lei
Race Relations in Colonial Trinidad 1870-1900 Bridget Brereton / Carte Carte broșată
common.buy 307.32 lei
Linguistic Ethnography Fiona Copland / Carte Copertă tare
common.buy 305.97 lei
Untitled Fetch Phillips Book 4 Luke Arnold / Carte Carte broșată
common.buy 83.46 lei
Curând
France 1900. 40th Ed. Marc Walter / Carte Copertă tare
common.buy 124.57 lei
Introduction to Microsoft SQL Server Eric Frick / E-book Adobe ePub DRM
common.buy 37.46 lei
Outer Limits of the Continental Shelf Suzette V. Suarez / Carte Carte broșată
common.buy 270.90 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?