Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Kobo giver bogelskere mulighed for at læse mere.
Vær den første til at bedømme og anmelde denne bog!
Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu
1.219,61 kr.
Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen
466,97 kr.
Evaggelos Spyrou, Dimitris Iakovidis, Phivos Mylonas
914,73 kr.
Dominik Bork, Roman Lukyanenko, Shazia Sadiq, Ladjel Bellatreche, Oscar Pastor
681,81 kr.
Andrea Calì, Dorian Gorgan, Martín Ugarte
466,97 kr.
Mehwish Alam, Marco Rospocher, Marieke van Erp, Laura Hollink, Genet Asefa Gesese
747,20 kr.
Rainer Schmidt, Wided Guédria, Sérgio Guerreiro, Bider Ilia
466,97 kr.
Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne
747,20 kr.
Wolf-Tilo Balke, Koraljka Golub, Yannis Manolopoulos, Kostas Stefanidis, Zheying Zhang
1.401,08 kr.
Ana Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe
466,97 kr.
João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic
747,20 kr.
Cristian Lai, Alessandro Giuliani, Giovanni Semeraro
840,61 kr.
Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti
466,97 kr.
Sanju Tiwari, Boris Villazón-Terrazas, Fernando Ortiz-Rodríguez, Soror Sahri
700,49 kr.
Sergei Koltsov, Yana Volkovich, Olessia Koltsova, Pavel Braslavski, Dmitry I. Ignatov, Ilya Markov, Panos Pardalos
466,97 kr.
Katsumi Tanaka, Motoshi Saeki, Il-Yeol Song, Isabelle Comyn-Wattiau, Shuichiro Yamamoto
466,97 kr.
Paul Groth, Anisa Rula, Jodi Schneider, Ilaria Tiddi, Elena Simperl, Panos Alexopoulos, Rinke Hoekstra, Mehwish Alam, Anastasia Dimou, Minna Tamper
747,20 kr.
Jaap Kamps, Giannis Tsakonas, Yannis Manolopoulos, Lazaros Iliadis, Ioannis Karydis
466,97 kr.
Ricardo Campos, Adam Jatowt, Yanyan Lan, Mohammad Aliannejadi, Christine Bauer, Sean MacAvaney, Avishek Anand, Zhaochun Ren, Suzan Verberne, Nan Bai, Masoud Mansoury
840,61 kr.
Tim Hussein, Heiko Paulheim, Stephan Lukosch, Jürgen Ziegler, Gaëlle Calvary
466,97 kr.
Emmanouel Garoufallou, Sirje Virkus, Rania Siatri, Damiana Koutsomiha
466,97 kr.
Frans Coenen, Ana Fred, David Aveiro, Jan Dietz, Antonella Poggi, Le Gruenwald, Elio Masciari, Jorge Bernardino
747,20 kr.
Han van der Aa, Dominik Bork, Henderik A. Proper, Rainer Schmidt
700,49 kr.
Xavier Franch, Geert Poels, Frederik Gailly, Monique Snoeck
747,20 kr.
Fernando Ortiz-Rodriguez, Boris Villazón-Terrazas, Sanju Tiwari, Carlos Bobed
607,08 kr.
Boris Villazón-Terrazas, Fernando Ortiz-Rodriguez, Sanju Tiwari, Miguel-Angel Sicilia, David Martín-Moncunill
747,20 kr.
Joemon M Jose, Claudia Hauff, Ismail Sengor Altıngovde, Dawei Song, Dyaa Albakour, Stuart Watt, John Tait
840,61 kr.
Andrea Marrella, Manuel Resinas, Mieke Jans, Michael Rosemann
700,49 kr.
Albert Meroño Peñuela, Anastasia Dimou, Raphaël Troncy, Olaf Hartig, Maribel Acosta, Mehwish Alam, Heiko Paulheim, Pasquale Lisena
700,49 kr.
Giacomo Bergami, Paul Ezhilchelvan, Yannis Manolopoulos, Sergio Ilarri, Jorge Bernardino, Carson K. Leung, Peter Z. Revesz
681,81 kr.
Ashok Goel, M Belén Díaz-Agudo, Thomas Roth-Berghofer
466,97 kr.
Boris Villazón-Terrazas, Fernando Ortiz-Rodriguez, Sanju Tiwari, Thomas Riechert, Edgard Marx
840,61 kr.
Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev, João Saraiva
466,97 kr.
Abdelkader Hameurlain, A Min Tjoa
607,08 kr.
Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz
466,97 kr.
Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann
700,49 kr.
Cristian Lai, Giovanni Semeraro, Alessandro Giuliani
840,61 kr.
Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. Mayr
466,97 kr.
Jānis Grabis, Tanja E. J. Vos, Maria José Escalona, Oscar Pastor
1.307,67 kr.
Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri
934,02 kr.
Max Silberztein, Faten Atigui, Elena Kornyshova, Elisabeth Métais, Farid Meziane
466,97 kr.
Paolo Rosso, Valerio Basile, Raquel Martínez, Elisabeth Métais, Farid Meziane
840,61 kr.
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
466,97 kr.
K. Selçuk Candan, Bogdan Ionescu, Lorraine Goeuriot, Birger Larsen, Henning Müller, Alexis Joly, Maria Maistro, Florina Piroi, Guglielmo Faggioli, Nicola Ferro
466,97 kr.
Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
466,97 kr.
Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor
700,49 kr.
Guy De Tré, Sotir Sotirov, Janusz Kacprzyk, Giuseppe Psaila, Grégory Smits, Troels Andreasen, Gloria Bordogna, Henrik Legind Larsen
532,35 kr.
João Paulo A. Almeida, Claudio Di Ciccio, Christos Kalloniatis
1.027,44 kr.
Selmin Nurcan, Andreas L. Opdahl, Haralambos Mouratidis, Aggeliki Tsohou
793,91 kr.
Audrius Lopata, Rita Butkienė, Daina Gudonienė, Vilma Sukackė
466,97 kr.
Catia Pesquita, Hala Skaf-Molli, Vasilis Efthymiou, Sabrina Kirrane, Axel Ngonga, Diego Collarana, Renato Cerqueira, Mehwish Alam, Cassia Trojahn, Sven Hertling
700,49 kr.
Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel
466,97 kr.
Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali
840,61 kr.
Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne
747,20 kr.
Amon Rapp, Luigi Di Caro, Farid Meziane, Vijayan Sugumaran
840,61 kr.
Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller, Karl Hammar
840,61 kr.
Jolita Ralyté, Sharma Chakravarthy, Mukesh Mohania, Manfred A. Jeusfeld, Kamalakar Karlapalem
466,97 kr.
Tiziana Margaria, Bernhard Steffen
653,79 kr.
Han van der Aa, Renata Guizzardi, Simon Hacks, Luise Pufahl
681,81 kr.
Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, Fabrizio Sebastiani
1.401,08 kr.
Adriano Augusto, Asif Gill, Selmin Nurcan, Iris Reinhartz-Berger, Rainer Schmidt, Jelena Zdravkovic
466,97 kr.
Mong Li Lee, Paul Johannesson, Óscar Pastor López, Stephen W. Liddle, Andreas L. Opdahl
466,97 kr.
Norbert Fuhr, Paulo Quaresma, Teresa Gonçalves, Birger Larsen, Krisztian Balog, Craig Macdonald, Linda Cappellato, Nicola Ferro
466,97 kr.
Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon
747,20 kr.
Elda Paja, Jelena Zdravkovic, Evangelia Kavakli, Janis Stirna
653,79 kr.
Yoshihiko Hayashi, Pablo Mendes, Seiji Koide, Heiko Paulheim, John P. McCrae, Sebastian Hellmann, Marieke van Erp, Key-Sun Choi, Jorge Gracia, Hideaki Takeda, Christian Chiarcos
466,97 kr.
Gianluca Demartini, Katja Hose, Maribel Acosta, Matteo Palmonari, Gong Cheng, Hala Skaf-Molli, Nicolas Ferranti, Daniel Hernández, Aidan Hogan
607,08 kr.
