Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

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

Köp e-boken

638,15 kr

Du är i butiken för Sverige

Inte i Sverige? Välj butiken för ditt land för att se vilka böcker som är tillgängliga att köpa.

Välj butik

Köp nu

Varför läsa med oss?

Kobo ger bokälskare chansen att läsa mer.

Förhöjd läsupplevelse med våra Kobo-läsplattor

Omfattande och relevant bokkatalog

Kostnadsfri Kobo-läsapp

Synopsis

Kategorier

Om den här boken

Språk:English
ISBN:9783031294761
Utgivningsdatum:25 mars 2023
Utgivare:Springer International Publishing

Impressum:Springer
Filformat:EPUB3
Filstorlek:12.78 MB
Nedladdningsalternativ:EPUB3 (Adobe DRM)

I denna serie

Software Fault Prevention, Verification, and Validation

Shaoying Liu

Structured Object-Oriented Formal Language and Method

Zhenhua Duan,Shaoying Liu

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan,Cong Tian,Fumiko Nagoya

Relaterad läsning

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Hypergraph Computation

Qionghai Dai, Yue Gao

Gratis

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

580,13 kr

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

580,13 kr

Multimedia Database Retrieval

Ling Guan, Paisarn Muneesawang, Ning Zhang

1 044,32 kr

Database Systems for Advanced Applications

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

1 160,37 kr

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

870,25 kr

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

1 044,32 kr

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

1 044,32 kr

Web and Big Data

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

1 392,47 kr

Knowledge Science, Engineering and Management

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

1 276,42 kr

Database Systems for Advanced Applications

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

1 508,51 kr

Web and Big Data. APWeb-WAIM 2020 International Workshops

Qun Chen, Jianxin Li

580,13 kr

Advances in Knowledge Discovery and Data Mining

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

986,30 kr

Knowledge Science, Engineering and Management

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

928,27 kr

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

870,25 kr

Web Information Systems Engineering – WISE 2021

Wenjie Zhang, Lei Zou, Zakaria Maamar, Lu Chen

1 044,32 kr

Database Systems for Advanced Applications

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

1 276,42 kr

Fine-Grained Image Analysis: Modern Approaches

Xiu-Shen Wei

464,08 kr

Databases Theory and Applications

Zi Huang, Xiaokui Xiao, Xin Cao

580,13 kr

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

1 160,37 kr

Advances in Knowledge Discovery and Data Mining

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

1 044,32 kr

CCKS 2022 - Evaluation Track

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

870,25 kr

Knowledge Science, Engineering and Management

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

1 044,32 kr

Web and Big Data

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

2 320,85 kr

Web and Big Data

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

580,13 kr

Rough Sets

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

928,27 kr

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

986,30 kr

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

1 044,32 kr

Knowledge Science, Engineering and Management

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

928,27 kr

Advances in Knowledge Discovery and Data Mining

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

1 044,32 kr

Web Information Systems and Applications

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

1 160,37 kr

Collaborative Computing: Networking, Applications and Worksharing

Honghao Gao, Xinheng Wang, Wei Wei, Tasos Dagiuklas

1 044,32 kr

Database Systems for Advanced Applications

Jian Pei, Yannis Manolopoulos, Shazia Sadiq, Jianxin Li

1 160,37 kr

Web and Big Data

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

847,04 kr

Natural Language Processing and Chinese Computing

Wei Lu, Shujian Huang, Yu Hong, Xiabing Zhou

1 044,32 kr

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

754,20 kr

Web and Big Data

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

1 044,32 kr

Natural Language Processing and Chinese Computing

Xiaodan Zhu, Min Zhang, Yu Hong, Ruifang He

1 044,32 kr

Advanced Data Mining and Applications

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

870,25 kr

PRICAI 2022: Trends in Artificial Intelligence

Sankalp Khanna, Jian Cao, Quan Bai, Guandong Xu

1 044,32 kr

Artificial Intelligence

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

928,27 kr

SmartShadow: Models and Methods for Pervasive Computing

Zhaohui Wu, Gang Pan

1 044,32 kr

PRICAI 2021: Trends in Artificial Intelligence

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

1 044,32 kr

Computer Vision – ACCV 2020

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

1 044,32 kr

Advanced Intelligent Computing Technology and Applications

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

1 392,47 kr

Internet Multimedia Computing and Service

Benoit Huet, Liqiang Nie, Richang Hong

870,25 kr

Advances in Knowledge Discovery and Data Mining

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

580,13 kr

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

870,25 kr

Machine Learning and Knowledge Discovery in Databases

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

1 044,32 kr

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

1 044,32 kr

Database Systems for Advanced Applications

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

580,13 kr

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

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

580,13 kr

Heterogeneous Graph Representation Learning and Applications

Chuan Shi, Xiao Wang, Philip S. Yu

1 740,61 kr

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

580,13 kr

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

1 044,32 kr

Structured Object-Oriented Formal Language and Method

Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

580,13 kr

Web Information Systems and Applications

Xiang Zhao, Shiyu Yang, Xin Wang, Jianxin Li

1 160,37 kr

Artificial Neural Networks and Machine Learning – ICANN 2022

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

580,13 kr

Database and Expert Systems Applications

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

580,13 kr

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

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

928,27 kr

Knowledge Science, Engineering and Management

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

580,13 kr

Intelligent Information Processing VIII

Zhongzhi Shi, Sunil Vadera, Gang Li

580,13 kr

Natural Language Processing and Chinese Computing

Lu Wang, Yansong Feng, Yu Hong, Ruifang He

1 160,37 kr

Visual Question Answering

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

1 044,32 kr

Neural Information Processing

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

1 044,32 kr

Knowledge Science, Engineering and Management

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

928,27 kr

Web Information Systems Engineering – WISE 2020

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

580,13 kr

New Trends in Computer Technologies and Applications

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

1 160,37 kr

Intelligent Information Processing IX

Zhongzhi Shi, Eunika Mercier-Laurent, Jiuyong Li

580,13 kr

Software Engineering and Methodology for Emerging Domains

Lu Zhang, Chang Xu

580,13 kr

Database and Expert Systems Applications

Sven Hartmann, Hui Ma

580,13 kr

Web and Big Data

Shaoxu Song, Matthias Renz, Yang-Sae Moon

580,13 kr

Visual Pattern Discovery and Recognition

Hongxing Wang, Chaoqun Weng, Junsong Yuan

580,13 kr

Information Security Practice and Experience

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

870,25 kr

Big Data

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

754,20 kr

Automated Machine Learning and Meta-Learning for Multimedia

Wenwu Zhu, Xin Wang

1 624,56 kr

Trusted Computing and Information Security

Ming Xu, Zheng Qin, Fei Yan, Shaojing Fu

580,13 kr

Database Systems for Advanced Applications

Hong Gao, Jinho Kim, Yasushi Sakurai

580,13 kr

Advances in Services Computing

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

580,13 kr

Neural Information Processing

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

1 044,32 kr

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

1 160,37 kr

Advances in Knowledge Discovery and Data Mining

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

1 044,32 kr

Collaborative Computing: Networking, Applications and Worksharing

Honghao Gao, Xinheng Wang

1 044,32 kr

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

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

754,20 kr

Next Generation Arithmetic

John Gustafson, Vassil Dimitrov

696,17 kr

Knowledge Science, Engineering and Management

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

928,27 kr

Advances In Chinese Document And Text Processing

Cheng-lin Liu, Yue Lu

1 015,99 kr

Similarity Search and Applications

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

754,20 kr

MultiMedia Modeling

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

1 044,32 kr

Exploration of Visual Data

Yong Rui, Thomas S. Huang, Sean Xiang Zhou

1 044,32 kr

Web Information Systems Engineering – WISE 2022

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

1 044,32 kr

Intent Recognition for Human-Machine Interactions

Hua Xu, Hanlei Zhang, Ting-En Lin

580,13 kr

Web-Age Information Management

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

580,13 kr

Mer av författaren

Structured Object-Oriented Formal Language and Method - E-bok av Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

Tyckte du om boken?

Var den första att betygsätta och recensera den här boken!

Dina sekretessinställningar

Structured Object-Oriented Formal Language and Method

Varför läsa med oss?

Synopsis

Om den här boken

Detaljer om boken

Så här läser du

I denna serie

Software Fault Prevention, Verification, and Validation

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

Relaterad läsning

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

Structured Object-Oriented Formal Language and Method

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