Sprawdzić stan zamówienia

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €

phone

Kontakt

phone

Pomoc

Moje konto

▸ Pusty :-(

0

Książka 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

Język

Angielski

Książka Miękka

Książka Formal Methods Teaching Gustavo Carvalho

Kod Libristo: 51764574

Wydawnictwo Springer, Berlin, lipiec 2026

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Cały opis

Kod Libristo: 51764574

?

points

111 b

Nowość

Nowość

45.49 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

/

Miękka

13.49 €

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

/

Miękka

34.19 €

Formación interdisciplinaria

/

Miękka

34.19 €

L'ANNEE SANS ETE T 01 LES FIANCAILLES AU BERCEAU LEMIEUX JULIE Książka

binding.

13.89 €

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

/

Miękka

11.09 €

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

/

Miękka

11.59 €

Fondamenti di biotecnologia microbica Uttamkumar S. Bagde

/

Miękka

68.29 €

Die Rechtfertigung Der Tabaksteuer Tillman Kempf

/

Miękka

85.90 €

Flow Mihaly Csikszentmihalyi

/

Miękka

12.79 €

Gerichtliche Schriftvergleichung Lothar Michel

/

Twarda

139.95 €

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Ewa Kasp

Ewa Kasp

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods Teaching

Autor Gustavo Carvalho, Tsutomu Kobayashi

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2026

Liczba stron 151

EAN 9783032267429

Kod Libristo 51764574

Wydawnictwo Springer, Berlin

Seria Lecture Notes in Computer Science

Waga 236

Wymiary 155 x 235

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Języki naturalne i tłumaczenie automatyczne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka stosowana > Aplikacje komputerowe w naukach społecznych i psychologii

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Food Quality Analysis Sivanandham Vignesh

/

Twarda

189.89 €

Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy

/

Miękka

199.39 €

Linguistic and Philosophical Perspectives about Reference Lenny Clapp

/

Miękka

43.09 €

Advances in Human Genetics 11 Harry Harris

/

Miękka

45.49 €

Food Policy Councils Nessa J. Richman

/

Miękka

49.89 €

Folate targeting Agnes F. Vandome

/

Miękka

89.99 €

On Location – Drawing the Outdoors Joachim Homann

/

Twarda

42.89 €

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

/

Twarda

17.99 €

Practice Makes Perfect: Basic Italian, Premium Third Edition Visconti

/

Miękka

13.69 €

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

/

Miękka

7.39 €

5 Disciplines Frances Pelzman

/

Twarda

40.99 €

Pushkin's Heroines and the Life-Art Connection

/

Miękka

43.09 €

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

/

Miękka

45.49 €

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

/

Miękka

81.69 €

Distributed Applications and Interoperable Systems Ana Nunes Alonso

/

Miękka

59.99 €

Modelling and Mining Networks Fan Chung Graham

/

Miękka

52.69 €

Theory and Practice of Electronic Governance Olayinka David-West

/

Miękka

63.09 €

Intelligent Human Computer Interaction Anshuman Shastri

/

Miękka

74.49 €

Rigorous State-Based Methods Fuyuki Ishikawa

/

Miękka

67.29 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Miękka

67.29 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Miękka

67.29 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Miękka

67.29 €

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

/

Miękka

56.19 €

Structural Information and Communication Complexity Chryssis Georgiou

/

Miękka

67.29 €

Doradca książkowy Libroamiko

Cześć, jestem Libroamiko, w czym mogę pomóc?