Dine fortrolighedsindstillinger

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.

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Emil Sekerinski,Leila Ribeiro

Springer Nature Proceedings Computer Science

Køb e-bogen

354,87 kr.

Du er i Danmark-butikken

Ikke i Danmark? Vælg dit lands butik for at se bøger, der kan købes.

Vælg Butik

Køb nu

Hvorfor læse hos os?

Kobo giver bogelskere mulighed for at læse mere.

Forbedret læseoplevelse med vores Kobo e-læsere

Omfattende og relevant bogkatalog

Gratis Kobo-læseapp

Synopsis

Kategorier

Om denne bog

Sprog:English
ISBN:9783031713798
Udgivelsesdato:4. sep. 2024
Udgiver:Springer Nature Switzerland

Tryk:Springer
Filformat:EPUB3
Filstørrelse:15.21 MB
Downloadmuligheder:EPUB3 (Adobe DRM)

I denne serie

Formal Methods. FM 2019 International Workshops

Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Campos,Troy Astarte,Laure Gonnord,Antonio Cerone,Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas

Formal Methods. FM 2019 International Workshops

Relaterede læsninger

Semantic Computing

Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu

1.219,61 kr.

Software Technologies

Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen

466,97 kr.

The People’s Web Meets NLP

Iryna Gurevych, Jungi Kim, Nicoletta Calzolari

840,61 kr.

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Joaquim Filipe

466,97 kr.

Semantic Multimedia Analysis and Processing

Evaggelos Spyrou, Dimitris Iakovidis, Phivos Mylonas

914,73 kr.

Emergent Web Intelligence: Advanced Information Retrieval

Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien

1.307,67 kr.

Data-Driven Methods for Adaptive Spoken Dialogue Systems

Oliver Lemon, Olivier Pietquin

840,61 kr.

Data and Information Quality

Carlo Batini, Monica Scannapieco

1.120,85 kr.

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

466,97 kr.

Semantic Web Collaborative Spaces

Pascal Molli, John G. Breslin, Maria-Esther Vidal

466,97 kr.

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

653,79 kr.

Knowledge Engineering and Knowledge Management

Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti

466,97 kr.

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi

513,67 kr.

Grand Timely Topics in Software Engineering

Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev, João Saraiva

466,97 kr.

Conceptual Modeling

Katsumi Tanaka, Motoshi Saeki, Il-Yeol Song, Isabelle Comyn-Wattiau, Shuichiro Yamamoto

466,97 kr.

Formal Methods for Industrial Critical Systems

Peter Gorm Larsen, Kristin Yvonne Rozier

607,08 kr.

The Semantic Web

Aldo Gangemi, Roberto Navigli, Maria-Esther Vidal, Pascal Hitzler, Raphaël Troncy, Laura Hollink, Anna Tordai, Mehwish Alam

466,97 kr.

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe

466,97 kr.

Conceptual Modeling

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor

466,97 kr.

The Semantic Web

Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller, Karl Hammar

840,61 kr.

Emerging Ideas on Information Filtering and Retrieval

Cristian Lai, Giovanni Semeraro, Alessandro Giuliani

840,61 kr.

The Semantic Web. Latest Advances and New Domains

Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, Christoph Lange

840,61 kr.

Formal Methods Teaching

Gustavo Carvalho, Tsutomu Kobayashi

466,97 kr.

Transactions on Foundations for Mastering Change I

Bernhard Steffen

466,97 kr.

Knowledge Engineering and Knowledge Management

Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali

840,61 kr.

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

840,61 kr.

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

466,97 kr.

Enterprise, Business-Process and Information Systems Modeling

Rainer Schmidt, Wided Guédria, Sérgio Guerreiro, Bider Ilia

466,97 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria, Bernhard Steffen

653,79 kr.

Conceptual Modeling

João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic

747,20 kr.

Semantic Web Evaluation Challenges

Fabien Gandon, Elena Cabrio, Milan Stankovic, Antoine Zimmermann

466,97 kr.

Conceptual Modeling

Mong Li Lee, Paul Johannesson, Óscar Pastor López, Stephen W. Liddle, Andreas L. Opdahl

466,97 kr.

The Semantic Web

Albert Meroño Peñuela, Anastasia Dimou, Raphaël Troncy, Olaf Hartig, Maribel Acosta, Mehwish Alam, Heiko Paulheim, Pasquale Lisena

700,49 kr.

Semantic Web Services

Brian Blake, Liliana Cabral, Birgitta König-Ries, Ulrich Küster, David Martin

840,61 kr.

Conceptual Modeling

Dominik Bork, Roman Lukyanenko, Shazia Sadiq, Ladjel Bellatreche, Oscar Pastor

681,81 kr.

Advanced Information Systems Engineering

Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor

700,49 kr.

Web Engineering

Alessandro Bozzon, Cesare Pautasso, Philippe Cudré-Mauroux

466,97 kr.

Testing Software and Systems

David Clark, Hector Menendez, Ana Rosa Cavalli

840,61 kr.

Semantic Keyword-Based Search on Structured Data Sources

Andrea Calì, Dorian Gorgan, Martín Ugarte

466,97 kr.

Formal Methods for Industrial Critical Systems

Anne Remke, Bernhard Steffen

532,35 kr.

Semantic Web Challenges

Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange

466,97 kr.

AI*IA 2017 Advances in Artificial Intelligence

Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi

466,97 kr.

Conceptual Modeling

Wolfgang Maass, Hyoil Han, Hasan Yasar, Nick Multari

747,20 kr.

Knowledge Engineering and Knowledge Management

Mehwish Alam, Marco Rospocher, Marieke van Erp, Laura Hollink, Genet Asefa Gesese

747,20 kr.

Distributed Systems and Applications of Information Filtering and Retrieval

Cristian Lai, Alessandro Giuliani, Giovanni Semeraro

840,61 kr.

Software Technologies: Applications and Foundations

Martina Seidl, Steffen Zschaler

466,97 kr.

Formal Methods – Fun for Everybody

Antonio Cerone, Markus Roggenbach

466,97 kr.

Coordination Models and Languages

Ilaria Castellani, Francesco Tiezzi

934,02 kr.

Software Technologies

Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek

747,20 kr.

The Semantic Web: ESWC 2015 Satellite Events

Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann

466,97 kr.

Knowledge Engineering and Semantic Web

Przemysław Różewski, Christoph Lange

466,97 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

466,97 kr.

Transactions on Computational Collective Intelligence XXI

Ngoc Thanh Nguyen, Ryszard Kowalczyk, Paulo Rupino da Cunha

466,97 kr.

Rules and Reasoning

Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman

607,08 kr.

Web Information Systems and Technologies

Valérie Monfort, Karl-Heinz Krempels

466,97 kr.

Formal Methods for an Informal World

Antonio Cerone

466,97 kr.

Metadata and Semantic Research

Emmanouel Garoufallou, Sirje Virkus, Rania Siatri, Damiana Koutsomiha

466,97 kr.

The Semantic Web: ESWC 2018 Satellite Events

Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z Pan, Mehwish Alam

466,97 kr.

Coordination Models and Languages

Sung-Shik Jongmans, Antónia Lopes

653,79 kr.

New Trends in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper, Robert Wrembel, Jérôme Darmont, Stefano Rizzi

466,97 kr.

Software Engineering

Bertrand Meyer, Martin Nordio

373,55 kr.

Rigorous State-Based Methods

Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque

700,49 kr.

Testing Software and Systems

Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi

653,79 kr.

Conceptual Modeling

Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann

700,49 kr.

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

840,61 kr.

Conceptual Modeling

Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. Mayr

466,97 kr.

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

466,97 kr.

Future and Emergent Trends in Language Technology

José F. Quesada, Francisco-Jesús Martín Mateos, Teresa Lopez-Soto

466,97 kr.

Advanced Information Systems Engineering

Eric Dubois, Klaus Pohl

840,61 kr.

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

466,97 kr.

Modelling to Program

Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim

466,97 kr.

The Semantic Web

Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam

840,61 kr.

The Semantic Web – ISWC 2018

Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl

466,97 kr.

The Semantic Web: ESWC 2022 Satellite Events

Paul Groth, Anisa Rula, Jodi Schneider, Ilaria Tiddi, Elena Simperl, Panos Alexopoulos, Rinke Hoekstra, Mehwish Alam, Anastasia Dimou, Minna Tamper

747,20 kr.

Advanced Information Systems Engineering

Marcello La Rosa, Shazia Sadiq, Ernest Teniente

934,02 kr.

Graphical Models for Security

Harley Eades III, Olga Gadyatskaya

466,97 kr.

Enterprise Information Systems

José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe

560,38 kr.

The Semantic Web – ISWC 2018

Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl

607,08 kr.

Conceptual Modeling

Jolita Ralyté, Sharma Chakravarthy, Mukesh Mohania, Manfred A. Jeusfeld, Kamalakar Karlapalem

466,97 kr.

Phenotropic Interaction

Moreno Colombo

1.120,85 kr.

Research and Advanced Technology for Digital Libraries

Jaap Kamps, Giannis Tsakonas, Yannis Manolopoulos, Lazaros Iliadis, Ioannis Karydis

466,97 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tiziana Margaria, Bernhard Steffen

466,97 kr.

Software Engineering and Formal Methods

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

466,97 kr.

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

681,81 kr.

Advanced Information Systems Engineering

Xavier Franch, Geert Poels, Frederik Gailly, Monique Snoeck

747,20 kr.

Model-Driven Engineering and Software Development

Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray

466,97 kr.

Enterprise, Business-Process and Information Systems Modeling

Jens Gulden, Iris Reinhartz-Berger, Rainer Schmidt, Sérgio Guerreiro, Wided Guédria, Palash Bera

466,97 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

840,61 kr.

Knowledge Engineering and Knowledge Management

C. Maria Keet, Michel Dumontier

466,97 kr.

Model-Based Software and Systems Engineering

Francisco José Domínguez Mayo, Luís Ferreira Pires, Edwin Seidewitz

653,79 kr.

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre, Kaisa Sere, Elena Troubitsyna

1.491,25 kr.

Model and Data Engineering

Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche

466,97 kr.

Language Constructs for Describing Features

Stephen Gilmore, Mark Ryan

466,97 kr.

The Practice of Formal Methods

Ana Cavalcanti, James Baxter

1.027,44 kr.

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

466,97 kr.

Natural Language Processing and Information Systems

Paolo Rosso, Valerio Basile, Raquel Martínez, Elisabeth Métais, Farid Meziane

840,61 kr.

Mere af denne forfatter

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

466,97 kr.

From Action Systems to Distributed Systems

Luigia Petre, Emil Sekerinski

538,03 kr.

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

466,97 kr.

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

466,97 kr.

Kunne du lide bogen?

Vær den første til at bedømme og anmelde denne bog!

Dine fortrolighedsindstillinger

Formal Methods Teaching

Hvorfor læse hos os?

Synopsis

Om denne bog

Detaljer om bogen

Sådan læser du

I denne serie

Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops

Relaterede læsninger

Semantic Computing

Software Technologies

The People’s Web Meets NLP

Evaluation of Novel Approaches to Software Engineering

Semantic Multimedia Analysis and Processing

Emergent Web Intelligence: Advanced Information Retrieval

Data-Driven Methods for Adaptive Spoken Dialogue Systems

Data and Information Quality

Leveraging Applications of Formal Methods, Verification, and Validation

Semantic Web Collaborative Spaces

Leveraging Applications of Formal Methods, Verification and Validation

Knowledge Engineering and Knowledge Management

Formal Methods Teaching

Grand Timely Topics in Software Engineering

Conceptual Modeling

Formal Methods for Industrial Critical Systems

The Semantic Web

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Conceptual Modeling

The Semantic Web

Emerging Ideas on Information Filtering and Retrieval

The Semantic Web. Latest Advances and New Domains

Formal Methods Teaching

Transactions on Foundations for Mastering Change I

Knowledge Engineering and Knowledge Management

The Semantic Web

The Semantic Web

Enterprise, Business-Process and Information Systems Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Conceptual Modeling

Semantic Web Evaluation Challenges

Conceptual Modeling

The Semantic Web

Semantic Web Services

Conceptual Modeling

Advanced Information Systems Engineering

Web Engineering

Testing Software and Systems

Semantic Keyword-Based Search on Structured Data Sources

Formal Methods for Industrial Critical Systems

Semantic Web Challenges

AI*IA 2017 Advances in Artificial Intelligence

Conceptual Modeling

Knowledge Engineering and Knowledge Management

Distributed Systems and Applications of Information Filtering and Retrieval

Software Technologies: Applications and Foundations

Formal Methods – Fun for Everybody

Coordination Models and Languages

Software Technologies

The Semantic Web: ESWC 2015 Satellite Events

Knowledge Engineering and Semantic Web

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Transactions on Computational Collective Intelligence XXI

Rules and Reasoning

Web Information Systems and Technologies

Formal Methods for an Informal World

Metadata and Semantic Research

The Semantic Web: ESWC 2018 Satellite Events

Coordination Models and Languages

New Trends in Databases and Information Systems

Software Engineering

Rigorous State-Based Methods

Testing Software and Systems

Conceptual Modeling

Patterns, Programming and Everything

Conceptual Modeling

Software Engineering and Formal Methods

Future and Emergent Trends in Language Technology

Advanced Information Systems Engineering