Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Foundations of Software Science and Computation Structures Javier Esparza

Foundations of Software Science and Computation Structures

Szerző: Javier Esparza, Andrzej S. Murawski
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 223 Ft
This book constitutes the proceedings of the 20th International Conference on Foundations of Softwar...

Információk a könyvről

Szerző
Javier Esparza, Andrzej S. Murawski
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
568
EAN
9783662544570
ISBN
3662544571
Enbook ID
15850762
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
8774
Méretek
155 x 235 x 83

Teljes leírás

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

Érdekelheti

Two-Dimensional Coulomb Liquids and Solids

Y. Monarkha
61 807 Ft

How To Turn Tears, Tantrums & Trauma Into Peace

ALEXANDRA APLIN
3 312 Ft

Under The Prophet In Utah

Frank J Cannon
7 250 Ft

Before the Spit Hits the Fan: A what-to-do resource for teens

Theresa Miller Ph D
3 795 Ft

Walker McReadie

Katherine J Sefton
3 540 Ft

How NOT to Summon a Demon Lord Vol. 1

Yukiya Murasaki
3 866 Ft

An Introduction to Field Pumping Tests for Dewatering and Groundwater Control

J Paul Guyer
10 178 Ft

Destiny Unchosen: A Rust & Relics Novella

Lindsay Buroker
2 576 Ft

Calvary Alley

Alice Hegan Rice
4 500 Ft

Prakriti and Pulse: The two Mysteries of Ayurveda

Dr Vinod Verma
5 830 Ft

Illustrated Letters and Diaries of the Pre-Raphaelites

Jan Marsh
6 853 Ft

The Mercenaries of Havenshaw Crypt

D G Sutter
3 170 Ft

Royal and Republican France

Henry Reeve
10 362 Ft

7 THOUGHTS CONSIDERED AS MUSIC

Bruce Adolphe
6 045 Ft

Deco Ceramics

Caludia Casali
12 442 Ft

She And Her Cat

Makoto Shinkai
3 991 Ft

Jay Gould or His Double

Hakan Kershan Olsen
4 558 Ft

@tuambabies

Brian Nugent
10 719 Ft

Britain and the Ottoman Maghreb, 1662–1712

Cutter
54 107 Ft

Splintered Kingdom

FOX GRETCHEN POWELL
9 553 Ft

Computational Modelling of Additive Manufacturing

Yanming Zhang
47 182 Ft

Energy Management System for Dispatchable Renewable Power Generation

Amer Al-Hinai
25 678 Ft

Starflight

Jamie Lendino
7 728 Ft

The King's Missive and Other Poems

John Greenleaf Whittier
8 183 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Erfolg ist Orgasmus

Zenner Gilbert Zenner
2 295 Ft

San Sebastián. Los años trágicos 1934-1936-1939

Muñoz Echabeguren
8 821 Ft

ART SONG IN ENGLISH CHANT

CAROL KIMBALL
17 879 Ft

Le grand tournant - Développer la résilience communautaire en cette ère d'extrêmes

Braden
8 652 Ft

Intermittierendes Fasten

Ralph Fisher
5 946 Ft

Cambridge International AS & A Level Economics Exam Preparation and Practice with Digital Access (2 Years)

Susan Grant
12 669 Ft

Deux fois dans le même fleuve

Sofi Oksanen
9 897 Ft

1.d4. Том 3

Б. Аврух
9 839 Ft

Tea Angyalai Budapesten

Tea Stilton
4 604 Ft

Tom Poulpe

Dorémus
7 884 Ft

Les Enquêtes de Lady Souris et Jimmy Tigré

Quentin Girardclos
5 464 Ft

Widunka

Joanna Tekieli
3 652 Ft

Tlapková Patrola - Vánoční samolepková knížka

1 701 Ft

Civilizace a nemoci

3 665 Ft

Der Börsenkurs im Squeeze Out-Verfahren

Alexander Budzinski
19 379 Ft

Resume de l'Histoire Du Commerce Et de l'Industrie

Blanqui-A
8 920 Ft

Untersuchungen zur persuasiven Redeweise bei Baudelaire

Claus Haar
28 821 Ft

GARDASEE Uferpromenade von Garda (Puzzle)

Melanie Viola
11 763 Ft

Saintete Du Serment, Examen Du Traite de M. Madrolle Sur CET Important Sujet

GUICHON DE GRANDPONT
4 701 Ft

Una mágica visión - NE Revisada

KATE DANON
11 411 Ft

Incidental

Tolaretxipi Lerchundi
5 295 Ft

Placer prohibido

JULIA LONDON
5 522 Ft

Askerin Günlügü

Selcuk Kizildag
6 357 Ft

Rapunzel

Martín Morón
5 946 Ft