Vos paramètres de confidentialité

En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Shaoying Liu,Zhenhua Duan,Ai Liu

Springer Nature Proceedings Computer Science

Acheter l'eBook

Économise 10 %Prix catalogue : 56,64 €.50,97 €

Vous êtes dans la boutique Luxembourg

Pas en Luxembourg? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Acheter

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783031294761
Date de parution :25 mars 2023
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB3
Taille de fichier :12.78 MB
Options de téléchargement :EPUB3 (Adobe DRM)

Dans cette série

Structured Object-Oriented Formal Language and Method

Zhenhua Duan,Shaoying Liu

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan,Cong Tian,Fumiko Nagoya

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Software Fault Prevention, Verification, and Validation

Shaoying Liu

Lectures semblables

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratuit

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratuit

Hypergraph Computation

Qionghai Dai, Yue Gao

Gratuit

Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques

Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, Zhancheng Zhang

46,34 €

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

46,34 €

Multimedia Database Retrieval

Ling Guan, Paisarn Muneesawang, Ning Zhang

83,42 €

Database Systems for Advanced Applications

Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin

92,69 €

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

69,51 €

Database Systems for Advanced Applications

Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen

83,42 €

Database Systems for Advanced Applications

Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen

83,42 €

Web and Big Data

Xin Wang, Rui Zhang, Young-Koo Lee, Le Sun, Yang-Sae Moon

111,23 €

Knowledge Science, Engineering and Management

Gerard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang, Meikang Qiu

101,96 €

Database Systems for Advanced Applications

Yunmook Nah, Bin Cui, Sang-Won Lee, Jeffrey Xu Yu, Yang-Sae Moon, Steven Euijong Whang

120,50 €

Web and Big Data. APWeb-WAIM 2020 International Workshops

Qun Chen, Jianxin Li

46,34 €

Advances in Knowledge Discovery and Data Mining

Kamal Karlapalem, Hong Cheng, Naren Ramakrishnan, R. K. Agrawal, P. Krishna Reddy, Jaideep Srivastava, Tanmoy Chakraborty

78,78 €

Knowledge Science, Engineering and Management

Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma

74,15 €

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy

Maosong Sun, Guilin Qi, Kang Liu, Jiadong Ren, Bin Xu, Yansong Feng, Yongbin Liu, Yubo Chen

69,51 €

Web Information Systems Engineering – WISE 2021

Wenjie Zhang, Lei Zou, Zakaria Maamar, Lu Chen

83,42 €

Database Systems for Advanced Applications

Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin

101,96 €

Fine-Grained Image Analysis: Modern Approaches

Xiu-Shen Wei

37,07 €

Databases Theory and Applications

Zi Huang, Xiaokui Xiao, Xin Cao

46,34 €

Database Systems for Advanced Applications

Arnab Bhattacharya, Janice Lee Mong Li, Divyakant Agrawal, P. Krishna Reddy, Mukesh Mohania, Anirban Mondal, Vikram Goyal, Rage Uday Kiran

92,69 €

Advances in Knowledge Discovery and Data Mining

Kamal Karlapalem, Hong Cheng, Naren Ramakrishnan, R. K. Agrawal, P. Krishna Reddy, Jaideep Srivastava, Tanmoy Chakraborty

83,42 €

CCKS 2022 - Evaluation Track

Ningyu Zhang, Meng Wang, Tianxing Wu, Wei Hu, Shumin Deng

69,51 €

Knowledge Science, Engineering and Management

Han Qiu, Cheng Zhang, Zongming Fei, Meikang Qiu, Sun-Yuan Kung

83,42 €

Web and Big Data

Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa

185,39 €

Web and Big Data

Lei Chen, Christian S. Jensen, Cyrus Shahabi, Xiaochun Yang, Xiang Lian

46,34 €

Rough Sets

JingTao Yao, Hamido Fujita, Xiaodong Yue, Duoqian Miao, Jerzy Grzymala-Busse, Fanzhang Li

74,15 €

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

78,78 €

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

83,42 €

Knowledge Science, Engineering and Management

Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma

74,15 €

Advances in Knowledge Discovery and Data Mining

João Gama, Tianrui Li, Yang Yu, Enhong Chen, Yu Zheng, Fei Teng

83,42 €

Web Information Systems and Applications

Chunxiao Xing, Xiaoming Fu, Yong Zhang, Guigang Zhang, Chaolemen Borjigin

92,69 €

Collaborative Computing: Networking, Applications and Worksharing

Honghao Gao, Xinheng Wang, Wei Wei, Tasos Dagiuklas

83,42 €

Database Systems for Advanced Applications

Jian Pei, Yannis Manolopoulos, Shazia Sadiq, Jianxin Li

92,69 €

Web and Big Data

Leong Hou U, Marc Spaniol, Yasushi Sakurai, Junying Chen

67,66 €

Natural Language Processing and Chinese Computing

Wei Lu, Shujian Huang, Yu Hong, Xiabing Zhou

83,42 €

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

60,24 €

Web and Big Data

Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa

83,42 €

Natural Language Processing and Chinese Computing

Xiaodan Zhu, Min Zhang, Yu Hong, Ruifang He

83,42 €

Advanced Data Mining and Applications

Bohan Li, Lin Yue, Jing Jiang, Weitong Chen, Xue Li, Guodong Long, Fei Fang, Han Yu

69,51 €

PRICAI 2022: Trends in Artificial Intelligence

Sankalp Khanna, Jian Cao, Quan Bai, Guandong Xu

83,42 €

Artificial Intelligence

Lu Fang, Yiran Chen, Guangtao Zhai, Jane Wang, Ruiping Wang, Weisheng Dong

74,15 €

SmartShadow: Models and Methods for Pervasive Computing

Zhaohui Wu, Gang Pan

83,42 €

PRICAI 2021: Trends in Artificial Intelligence

Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu

83,42 €

Computer Vision – ACCV 2020

Hiroshi Ishikawa, Cheng-Lin Liu, Tomas Pajdla, Jianbo Shi

83,42 €

Advanced Intelligent Computing Technology and Applications

De-Shuang Huang, Prashan Premaratne, Baohua Jin, Boyang Qu, Kang-Hyun Jo, Abir Hussain

111,23 €

Internet Multimedia Computing and Service

Benoit Huet, Liqiang Nie, Richang Hong

69,51 €

Advances in Knowledge Discovery and Data Mining

James Bailey, Latifur Khan, Takashi Washio, Gill Dobbie, Joshua Zhexue Huang, Ruili Wang

46,34 €

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

69,51 €

Machine Learning and Knowledge Discovery in Databases

Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas

83,42 €

The Semantic Web – ISWC 2022

Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato

83,42 €

Database Systems for Advanced Applications

Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, Sean X. Wang, Hui Xiong

46,34 €

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data

Maosong Sun, Ting Liu, Xiaojie Wang, Zhiyuan Liu, Yang Liu

46,34 €

Heterogeneous Graph Representation Learning and Applications

Chuan Shi, Xiao Wang, Philip S. Yu

139,04 €

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

46,34 €

Database Systems for Advanced Applications

Arnab Bhattacharya, Janice Lee Mong Li, Divyakant Agrawal, P. Krishna Reddy, Mukesh Mohania, Anirban Mondal, Vikram Goyal, Rage Uday Kiran

83,42 €

Web Information Systems and Applications

Xiang Zhao, Shiyu Yang, Xin Wang, Jianxin Li

92,69 €

Artificial Neural Networks and Machine Learning – ICANN 2022

Elias Pimenidis, Plamen Angelov, Chrisina Jayne, Antonios Papaleonidas, Mehmet Aydin

46,34 €

Database and Expert Systems Applications

Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil

46,34 €

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers New Infrastructure Construction

Bing Qin, Zhi Jin, Haofen Wang, Jeff Pan, Yongbin Liu, Bo An

74,15 €

Knowledge Science, Engineering and Management

Gang Li, Yong Ge, Zili Zhang, Zhi Jin, Michael Blumenstein

46,34 €

Intelligent Information Processing VIII

Zhongzhi Shi, Sunil Vadera, Gang Li

46,34 €

Natural Language Processing and Chinese Computing

Lu Wang, Yansong Feng, Yu Hong, Ruifang He

92,69 €

Visual Question Answering

Qi Wu, Peng Wang, Xin Wang, Xiaodong He, Wenwu Zhu

83,42 €

Neural Information Processing

Teddy Mantoro, Minho Lee, Media Anugerah Ayu, Kok Wai Wong, Achmad Nizar Hidayanto

83,42 €

Knowledge Science, Engineering and Management

Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma

74,15 €

Web Information Systems Engineering – WISE 2020

Zhisheng Huang, Wouter Beek, Hua Wang, Rui Zhou, Yanchun Zhang

46,34 €

New Trends in Computer Technologies and Applications

Sun-Yuan Hsieh, Ling-Ju Hung, Ralf Klasing, Chia-Wei Lee, Sheng-Lung Peng

92,69 €

Intelligent Information Processing IX

Zhongzhi Shi, Eunika Mercier-Laurent, Jiuyong Li

46,34 €

Software Engineering and Methodology for Emerging Domains

Lu Zhang, Chang Xu

46,34 €

Database and Expert Systems Applications

Sven Hartmann, Hui Ma

46,34 €

Web and Big Data

Shaoxu Song, Matthias Renz, Yang-Sae Moon

46,34 €

Visual Pattern Discovery and Recognition

Hongxing Wang, Chaoqun Weng, Junsong Yuan

46,34 €

Information Security Practice and Experience

Robert Deng, Feng Bao, Guilin Wang, Jian Shen, Mark Ryan, Weizhi Meng, Ding Wang

69,51 €

Big Data

Tianrui Li, Rui Mao, Guoyin Wang, Fei Teng, Lei Zhang, Li Wang, Laizhong Cui, Jie Hu

60,24 €

Automated Machine Learning and Meta-Learning for Multimedia

Wenwu Zhu, Xin Wang

129,77 €

Trusted Computing and Information Security

Ming Xu, Zheng Qin, Fei Yan, Shaojing Fu

46,34 €

Database Systems for Advanced Applications

Hong Gao, Jinho Kim, Yasushi Sakurai

46,34 €

Advances in Services Computing

Guojun Wang, Yanbo Han, Gregorio Martínez Pérez

46,34 €

Neural Information Processing

Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt

83,42 €

Database Systems for Advanced Applications

Arnab Bhattacharya, Janice Lee Mong Li, Divyakant Agrawal, P. Krishna Reddy, Mukesh Mohania, Anirban Mondal, Vikram Goyal, Rage Uday Kiran

92,69 €

Advances in Knowledge Discovery and Data Mining

João Gama, Tianrui Li, Yang Yu, Enhong Chen, Yu Zheng, Fei Teng

83,42 €

Collaborative Computing: Networking, Applications and Worksharing

Honghao Gao, Xinheng Wang

83,42 €

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

60,24 €

Next Generation Arithmetic

John Gustafson, Vassil Dimitrov

55,61 €

Knowledge Science, Engineering and Management

Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma

74,15 €

Advances In Chinese Document And Text Processing

Cheng-lin Liu, Yue Lu

79,61 €

Similarity Search and Applications

Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl

60,24 €

MultiMedia Modeling

Jakub Lokoč, Tomáš Skopal, Klaus Schoeffmann, Vasileios Mezaris, Xirong Li, Stefanos Vrochidis, Ioannis Patras

83,42 €

Exploration of Visual Data

Yong Rui, Thomas S. Huang, Sean Xiang Zhou

83,42 €

Web Information Systems Engineering – WISE 2022

Richard Chbeir, Helen Huang, Fabrizio Silvestri, Yannis Manolopoulos, Yanchun Zhang

83,42 €

Intent Recognition for Human-Machine Interactions

Hua Xu, Hanlei Zhang, Ting-En Lin

46,34 €

Web-Age Information Management

Bin Cui, Nan Zhang, Jianliang Xu, Xiang Lian, Dexi Liu

46,34 €

Autres livres de l'auteur

Structured Object-Oriented Formal Language and Method - eBook par Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Vos paramètres de confidentialité

Structured Object-Oriented Formal Language and Method

Résumé

À propos de ce livre

Détails du livre

Comment lire

Dans cette série

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Software Fault Prevention, Verification, and Validation

Lectures semblables

Fundamental Approaches to Software Engineering

Computer Aided Verification

Hypergraph Computation

Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques

Big Data Analytics and Knowledge Discovery

Multimedia Database Retrieval

Database Systems for Advanced Applications

Dependable Software Engineering. Theories, Tools, and Applications

Database Systems for Advanced Applications

Database Systems for Advanced Applications

Web and Big Data

Knowledge Science, Engineering and Management

Database Systems for Advanced Applications

Web and Big Data. APWeb-WAIM 2020 International Workshops

Advances in Knowledge Discovery and Data Mining

Knowledge Science, Engineering and Management

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy

Web Information Systems Engineering – WISE 2021

Database Systems for Advanced Applications

Fine-Grained Image Analysis: Modern Approaches

Databases Theory and Applications

Database Systems for Advanced Applications

Advances in Knowledge Discovery and Data Mining

CCKS 2022 - Evaluation Track

Knowledge Science, Engineering and Management

Web and Big Data

Web and Big Data

Rough Sets

Theoretical Aspects of Software Engineering

Foundations of Large-Scale Multimedia Information Management and Retrieval

Knowledge Science, Engineering and Management

Advances in Knowledge Discovery and Data Mining

Web Information Systems and Applications

Collaborative Computing: Networking, Applications and Worksharing

Database Systems for Advanced Applications

Web and Big Data

Natural Language Processing and Chinese Computing

Dependable Software Engineering. Theories, Tools, and Applications

Web and Big Data

Natural Language Processing and Chinese Computing

Advanced Data Mining and Applications

PRICAI 2022: Trends in Artificial Intelligence

Artificial Intelligence

SmartShadow: Models and Methods for Pervasive Computing

PRICAI 2021: Trends in Artificial Intelligence

Computer Vision – ACCV 2020

Advanced Intelligent Computing Technology and Applications

Internet Multimedia Computing and Service

Advances in Knowledge Discovery and Data Mining

Theoretical Aspects of Software Engineering

Machine Learning and Knowledge Discovery in Databases

The Semantic Web – ISWC 2022

Database Systems for Advanced Applications

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data

Heterogeneous Graph Representation Learning and Applications

Information Security and Cryptology

Database Systems for Advanced Applications

Web Information Systems and Applications

Artificial Neural Networks and Machine Learning – ICANN 2022

Database and Expert Systems Applications

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers New Infrastructure Construction

Knowledge Science, Engineering and Management

Intelligent Information Processing VIII

Natural Language Processing and Chinese Computing

Visual Question Answering

Neural Information Processing

Knowledge Science, Engineering and Management