Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

phone

Kontakt

phone

Pomoc

Môj účet

▸ Prázdny :-(

0

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Nakladateľstvo Springer, Berlin, júl 2026

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

Libristo kód: 51764574

?

points

125 b

Nové

Nové

51.64 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

/

Brožovaná

16.97 €

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

/

Brožovaná

39.21 €

Formación interdisciplinaria

/

Brožovaná

39.21 €

L'ANNEE SANS ETE T 01 LES FIANCAILLES AU BERCEAU LEMIEUX JULIE Kniha

binding.

16.97 €

(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA

/

Brožovaná

12.62 €

Chen Chie-Jen MUSEO NACIONAL CENTRO DE ARTE REINA SOFíA

/

Brožovaná

14.54 €

Fondamenti di biotecnologia microbica Uttamkumar S. Bagde

/

Brožovaná

78.12 €

Die Rechtfertigung Der Tabaksteuer Tillman Kempf

/

Brožovaná

79.53 €

Flow Mihaly Csikszentmihalyi

/

Brožovaná

12.12 €

Gerichtliche Schriftvergleichung Lothar Michel

/

Pevná

135.93 €

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 pre

Prehrať video

Ewa Kasp

Ewa Kasp

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods Teaching

Autor Gustavo Carvalho, Tsutomu Kobayashi

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2026

Počet strán 151

EAN 9783032267429

Libristo kód 51764574

Nakladateľstvo Springer, Berlin

Séria Lecture Notes in Computer Science

Váha 236

Rozmery 155 x 235

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Prirodzený jazyk a strojový preklad

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Aplikované výpočty > Počítačové aplikácie v sociálnych a behaviorálnych vedách

Výpočtové a informačné technológie > Počítačový hardvér

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Food Quality Analysis Sivanandham Vignesh

/

Pevná

227.71 €

Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy

/

Brožovaná

225.99 €

Linguistic and Philosophical Perspectives about Reference Lenny Clapp

/

Brožovaná

47.90 €

Advances in Human Genetics 11 Harry Harris

/

Brožovaná

51.64 €

Food Policy Councils Nessa J. Richman

/

Brožovaná

55.98 €

Folate targeting Agnes F. Vandome

/

Brožovaná

103.09 €

On Location – Drawing the Outdoors Joachim Homann

/

Pevná

47.90 €

The Good Life: Lessons from the World's Longest Scientific Study of Happiness Marc Schulz

/

Pevná

21.01 €

Practice Makes Perfect: Basic Italian, Premium Third Edition Visconti

/

Brožovaná

15.96 €

Challenging Mazes for Kids: 75 Full-Color Mazes Including Find-The-Item and 3-D Fun! Rockridge Press

/

Brožovaná

8.58 €

5 Disciplines Frances Pelzman

/

Pevná

47.80 €

Pushkin's Heroines and the Life-Art Connection

/

Brožovaná

47.90 €

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

/

Brožovaná

51.64 €

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

/

Brožovaná

92.57 €

Distributed Applications and Interoperable Systems Ana Nunes Alonso

/

Brožovaná

68.01 €

Modelling and Mining Networks Fan Chung Graham

/

Brožovaná

59.83 €

Theory and Practice of Electronic Governance Olayinka David-West

/

Brožovaná

74.99 €

Intelligent Human Computer Interaction Anshuman Shastri

/

Brožovaná

84.39 €

Rigorous State-Based Methods Fuyuki Ishikawa

/

Brožovaná

76.20 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Brožovaná

76.20 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Brožovaná

76.20 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Brožovaná

76.20 €

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

/

Brožovaná

66.60 €

Structural Information and Communication Complexity Chryssis Georgiou

/

Brožovaná

76.20 €