Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

phone

Kontakt

phone

Pomoc

Můj účet

▸ Prázdný :-(

0

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Kniha Formal Methods Teaching Gustavo Carvalho

Formal Methods Teaching

7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings

Gustavo Carvalho

Tsutomu Kobayashi

Jazyk

Angličtina

Kniha Brožovaná

Kniha Formal Methods Teaching Gustavo Carvalho

Libristo kód: 51764574

Nakladatelství Springer, Berlin, červenec 2026

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Celý popis

Libristo kód: 51764574

?

points

135 b

Nové

Nové

1 352 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Flow Mihaly Csikszentmihalyi

/

Brožovaná

314 Kč

Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci

/

Brožovaná

419 Kč

Formación continua para empleados mayores: ¿una inversión sensata?

/

Brožovaná

893 Kč

Formación interdisciplinaria

/

Brožovaná

893 Kč

Fondamenti di biotecnologia microbica Uttamkumar S. Bagde

/

Brožovaná

1 782 Kč

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.

The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited talks in full paper length. The papers are organized into the following topical sections: Invited Talks; Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Ewa Kasp

Ewa Kasp

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods Teaching

Autor Gustavo Carvalho, Tsutomu Kobayashi

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2026

Počet stran 151

EAN 9783032267429

Libristo kód 51764574

Nakladatelství Springer, Berlin

Série Lecture Notes in Computer Science

Váha 236

Rozměry 155 x 235

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Informatika > Umělá inteligence > Přirozený jazyk a strojový překlad

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Aplikované výpočty > Počítačové aplikace v sociálních a behaviorálních vědách

Výpočetní a informační technologie > Počítačový hardware

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy

/

Brožovaná

6 068 Kč

Food Quality Analysis Sivanandham Vignesh

/

Pevná

5 519 Kč

Food Policy Councils Nessa J. Richman

/

Brožovaná

1 207 Kč

Folate targeting Agnes F. Vandome

/

Brožovaná

2 350 Kč

Public-Key Cryptography - PKC 2026 Shi Bai

/

Brožovaná

1 940 Kč

Distributed Applications and Interoperable Systems Ana Nunes Alonso

/

Brožovaná

1 822 Kč

Verified Software. Theories, Tools and Experiments Clément Pit-Claudel

/

Brožovaná

1 399 Kč

Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns

/

Brožovaná

2 498 Kč

Modelling and Mining Networks Fan Chung Graham

/

Brožovaná

1 587 Kč

Theory and Practice of Electronic Governance Olayinka David-West

/

Brožovaná

1 839 Kč

Rigorous State-Based Methods Fuyuki Ishikawa

/

Brožovaná

1 940 Kč

Public-Key Cryptography - PKC 2026 Shi Bai

/

Brožovaná

1 940 Kč

Public-Key Cryptography - PKC 2026 Shi Bai

/

Brožovaná

2 058 Kč

Chatbots and Human-Centered AI Asbjørn Følstad

/

Brožovaná

1 620 Kč

Structural Information and Communication Complexity Chryssis Georgiou

/

Brožovaná

1 956 Kč

Intelligent Human Computer Interaction Anshuman Shastri

/

Brožovaná

1 839 Kč

Intelligent Human Computer Interaction Anshuman Shastri

/

Brožovaná

2 279 Kč