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.

Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

e-bog,e-bog,e-bog,e-bog,e-bog

Antonio Cerone,Marco Roveri

Springer Nature Proceedings Computer Science

Acheter l'eBook

681,81 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:9783319747811
Udgivelsesdato:1. feb. 2018
Udgiver:Springer International Publishing

Tryk:Springer
Filformat:EPUB2
Filstørrelse:7.73 MB
Downloadmuligheder:EPUB2 (Adobe DRM)

I denne serie

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone,Marco Autili,Alessio Bucaioni,Cláudio Gomes,Pierluigi Graziani,Maurizio Palmieri,Marco Temperini,Gentiane Venture

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Ioannis Stamelos,Antonio Cerone,Sara Fernandes,Panagiotis Katsaros,Alexeis Garcia-Perez,Siraj Ahmed Shaikh,Donatella Persico

Formal Methods – Fun for Everybody

Antonio Cerone,Markus Roggenbach

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone,Peter Csaba Ölveczky

Relaterede læsninger

Mobile Design and Development

Brian Fling

190,86 kr.

Building Arduino Projects for the Internet of Things

Adeel Javed

584,85 kr.

Digital Culture Industry

James Allen-Robertson

466,97 kr.

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

466,97 kr.

Graphical Models for Security

Peng Liu, Sjouke Mauw, Ketil Stolen

373,55 kr.

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

3.633,72 kr.

Financial Cryptography and Data Security

Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson

466,97 kr.

Software Architecture

Rogério de Lemos, Antónia Lopes

466,97 kr.

Measurement, Modelling and Evaluation of Computing Systems

Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger

466,97 kr.

Human Centered Computing

Qiaohong Zu, Bo Hu

466,97 kr.

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya

466,97 kr.

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

466,97 kr.

Computer Safety, Reliability, and Security

Floor Koornneef, Coen van Gulijk

466,97 kr.

Security of Industrial Control Systems and Cyber-Physical Systems

Frédéric Cuppens, Nora Cuppens-Boulahia, Sokratis Katsikas, Costas Lambrinoudakis

466,97 kr.

High Performance Computing

Carlos Jaime Barrios Hernández, Isidoro Gitler, Jaime Klapp

747,20 kr.

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Joaquim Filipe

466,97 kr.

Peer-to-Peer

Andy Oram

177,11 kr.

Accelerator Programming Using Directives

Sunita Chandrasekaran, Guido Juckeland

373,55 kr.

Practical Linux Infrastructure

Syed Ali

549,92 kr.

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

438,94 kr.

Fundamentals of Software Engineering

Mehdi Dastani, Marjan Sirjani

466,97 kr.

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

466,97 kr.

Building Bluetooth Low Energy Systems

Muhammad Usama bin Aftab

268,74 kr.

eller Gratis med Kobo Plus

Network and Parallel Computing

Hai Jin, Xuanhua Shi, Mahmut Kandemir, Chao Wang, Hong An

466,97 kr.

Processing for Android

Andrés Colubri

497,51 kr.

HPC@Green IT

Ralf Gruber, Erich Strohmaier, Vincent Keller

466,97 kr.

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

466,97 kr.

Internet of Things (IoT) Technologies for HealthCare

Mobyen Uddin Ahmed, Shahina Begum, Jean-Baptiste Fasquel

373,55 kr.

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

466,97 kr.

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

466,97 kr.

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

466,97 kr.

Expanding Your Raspberry Pi

Mark Edward Soper

410,26 kr.

SDL 2017: Model-Driven Engineering for Future Internet

Gábor Kovács, György Réthy, Tibor Csöndes

466,97 kr.

Mastering Media with the Raspberry Pi

Ralph Roberts

322,92 kr.

Information Security

Phong Q. Nguyen, Jianying Zhou

466,97 kr.

Computer Safety, Reliability, and Security

Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch

466,97 kr.

Pervasive Computing Paradigms for Mental Health

Nuria Oliver, Silvia Serino, Aleksandar Matic, Pietro Cipresso, Nenad Filipovic, Liljana Gavrilovska

373,55 kr.

Computer Safety, Reliability, and Security

Floor Koornneef, Coen van Gulijk

466,97 kr.

Tests and Proofs

Einar Broch Johnsen, Sebastian Gabmeyer

466,97 kr.

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch

466,97 kr.

High Performance Computing

Esteban Mocskos, Sergio Nesmachnow

466,97 kr.

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider

466,97 kr.

Dynamic Logic. New Trends and Applications

Alexandre Madeira, Mário Benevides

466,97 kr.

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

466,97 kr.

Multimedia Signals and Systems

Srdjan Stanković, Irena Orović, Ervin Sejdić

840,61 kr.

Cognitive Radio Networks

Shaowei Wang

466,97 kr.

Mere af denne forfatter

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture

466,97 kr.

Formal Methods – Fun for Everybody

Antonio Cerone, Markus Roggenbach

466,97 kr.

From Data to Models and Back

Giovanna Broccia, Antonio Cerone

1.120,85 kr.

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

560,38 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.

Kunne du lide bogen?

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

Dine fortrolighedsindstillinger

Software Engineering and Formal Methods

Hvorfor læse hos os?

Synopsis

Om denne bog

Detaljer om bogen

Sådan læser du

I denne serie

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Formal Methods – Fun for Everybody

Theoretical Aspects of Computing – ICTAC 2021

Relaterede læsninger

Mobile Design and Development

Building Arduino Projects for the Internet of Things

Digital Culture Industry

Automated Technology for Verification and Analysis

Graphical Models for Security

Handbook of Big Data Technologies

Financial Cryptography and Data Security

Software Architecture

Measurement, Modelling and Evaluation of Computing Systems

Human Centered Computing

Structured Object-Oriented Formal Language and Method

Computer Aided Verification

Computer Safety, Reliability, and Security

Security of Industrial Control Systems and Cyber-Physical Systems

High Performance Computing

Evaluation of Novel Approaches to Software Engineering

Peer-to-Peer

Accelerator Programming Using Directives

Practical Linux Infrastructure

SDL 2015: Model-Driven Engineering for Smart Cities

Fundamentals of Software Engineering

Computer Aided Verification

Building Bluetooth Low Energy Systems

Network and Parallel Computing

Processing for Android

HPC@Green IT

Computer Aided Verification

Internet of Things (IoT) Technologies for HealthCare

Public-Key Cryptography – PKC 2018

Computer Safety, Reliability, and Security

Computer Aided Verification

Expanding Your Raspberry Pi

SDL 2017: Model-Driven Engineering for Future Internet

Mastering Media with the Raspberry Pi

Information Security

Computer Safety, Reliability, and Security

Pervasive Computing Paradigms for Mental Health

Computer Safety, Reliability, and Security

Tests and Proofs

Computer Safety, Reliability, and Security

High Performance Computing

Integrated Formal Methods

Dynamic Logic. New Trends and Applications

Public-Key Cryptography – PKC 2018

Multimedia Signals and Systems

Cognitive Radio Networks

Mere af denne forfatter

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Formal Methods – Fun for Everybody

From Data to Models and Back

Formal Methods for Software Engineering

Formal Methods. FM 2019 International Workshops

Theoretical Aspects of Computing – ICTAC 2021

Formal Methods. FM 2019 International Workshops

Software Engineering and Formal Methods

Formal Methods for an Informal World

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Kunne du lide bogen?

e-Bøger

Lydbøger

Hvorfor læse hos os?

Relaterede læsninger

Mobile Design and Development

Building Arduino Projects for the Internet of Things

Digital Culture Industry

Automated Technology for Verification and Analysis

Graphical Models for Security