Dine personverninnstillinger

Ved å velge «Godta alle» tillater du at Rakuten Kobo og deres partnere bruker informasjonskapsler, sporingsteknologi og lignende teknologier for å samle inn personopplysningene dine og behandle dem til følgende formål: å drive nettstedet og Kobo-tjenestene og sikre at de fungerer som de skal, å levere personlig tilpasset innhold til deg på Kobo og annonser for Kobo på andre plattformer og å måle statistikk og analysere hvordan nettstedet vårt og tjenestene våre brukes. Hvis ikke kan du klikke på «Avvis» nedenfor for å avvise alle ikke-essensielle formål, eller se «Personverninnstillinger» for å administrere preferansene dine for hvert formål. Les Personvernerklæring vår for å få mer informasjon.

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

Buy the eBook

593,42kr

Du er i Norge-butikken

Ikke i Norge? Velg butikken for landet ditt for å se bøker som kan kjøpes.

Velg butikk

Kjøp nå

Hvorfor lese med oss?

Kobo gir bokelskere muligheten til å lese mer.

Forbedret leseopplevelse med Kobo-lesebrett

Rik og relevant bokkatalog

Gratis leseapp fra Kobo

Sammendrag

Kategorier

Om denne boken

Språk:English
ISBN:9783031294761
Utgivelsesdato:24. mars 2023
Forlag:Springer International Publishing

Trykk:Springer
Filformat:EPUB3
Filstørrelse:12.78 MB
Nedlastingsalternativer:EPUB3 (Adobe DRM)

I denne serien

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

Structured Object-Oriented Formal Language and Method

Zhenhua Duan,Shaoying Liu

Software Fault Prevention, Verification, and Validation

Shaoying Liu

Relatert lesestoff

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

539,46kr

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

539,46kr

Multimedia Database Retrieval

Ling Guan, Paisarn Muneesawang, Ning Zhang

971,12kr

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 079,03kr

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

809,25kr

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

971,12kr

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

971,12kr

Web and Big Data

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

1 294,86kr

Knowledge Science, Engineering and Management

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

1 186,94kr

Database Systems for Advanced Applications

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

1 402,77kr

Web and Big Data. APWeb-WAIM 2020 International Workshops

Qun Chen, Jianxin Li

539,46kr

Advances in Knowledge Discovery and Data Mining

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

917,16kr

Knowledge Science, Engineering and Management

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

863,20kr

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

809,25kr

Web Information Systems Engineering – WISE 2021

Wenjie Zhang, Lei Zou, Zakaria Maamar, Lu Chen

971,12kr

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 186,94kr

Fine-Grained Image Analysis: Modern Approaches

Xiu-Shen Wei

431,55kr

Databases Theory and Applications

Zi Huang, Xiaokui Xiao, Xin Cao

539,46kr

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 079,03kr

Advances in Knowledge Discovery and Data Mining

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

971,12kr

CCKS 2022 - Evaluation Track

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

809,25kr

Knowledge Science, Engineering and Management

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

971,12kr

Web and Big Data

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

2 158,17kr

Web and Big Data

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

539,46kr

Rough Sets

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

863,20kr

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

917,16kr

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

971,12kr

Knowledge Science, Engineering and Management

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

863,20kr

Advances in Knowledge Discovery and Data Mining

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

971,12kr

Web Information Systems and Applications

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

1 079,03kr

Collaborative Computing: Networking, Applications and Worksharing

Honghao Gao, Xinheng Wang, Wei Wei, Tasos Dagiuklas

971,12kr

Database Systems for Advanced Applications

Jian Pei, Yannis Manolopoulos, Shazia Sadiq, Jianxin Li

1 079,03kr

Web and Big Data

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

787,66kr

Natural Language Processing and Chinese Computing

Wei Lu, Shujian Huang, Yu Hong, Xiabing Zhou

971,12kr

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

701,33kr

Web and Big Data

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

971,12kr

Natural Language Processing and Chinese Computing

Xiaodan Zhu, Min Zhang, Yu Hong, Ruifang He

971,12kr

Advanced Data Mining and Applications

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

809,25kr

PRICAI 2022: Trends in Artificial Intelligence

Sankalp Khanna, Jian Cao, Quan Bai, Guandong Xu

971,12kr

Artificial Intelligence

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

863,20kr

SmartShadow: Models and Methods for Pervasive Computing

Zhaohui Wu, Gang Pan

971,12kr

PRICAI 2021: Trends in Artificial Intelligence

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

971,12kr

Computer Vision – ACCV 2020

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

971,12kr

Advanced Intelligent Computing Technology and Applications

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

1 294,86kr

Internet Multimedia Computing and Service

Benoit Huet, Liqiang Nie, Richang Hong

809,25kr

Advances in Knowledge Discovery and Data Mining

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

539,46kr

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

809,25kr

Machine Learning and Knowledge Discovery in Databases

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

971,12kr

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

971,12kr

Database Systems for Advanced Applications

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

539,46kr

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

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

539,46kr

Heterogeneous Graph Representation Learning and Applications

Chuan Shi, Xiao Wang, Philip S. Yu

1 618,60kr

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

539,46kr

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

971,12kr

Web Information Systems and Applications

Xiang Zhao, Shiyu Yang, Xin Wang, Jianxin Li

1 079,03kr

Database and Expert Systems Applications

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

539,46kr

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

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

863,20kr

Knowledge Science, Engineering and Management

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

539,46kr

Intelligent Information Processing VIII

Zhongzhi Shi, Sunil Vadera, Gang Li

539,46kr

Natural Language Processing and Chinese Computing

Lu Wang, Yansong Feng, Yu Hong, Ruifang He

1 079,03kr

Visual Question Answering

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

971,12kr

Neural Information Processing

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

971,12kr

Knowledge Science, Engineering and Management

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

863,20kr

Web Information Systems Engineering – WISE 2020

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

539,46kr

New Trends in Computer Technologies and Applications

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

1 079,03kr

Intelligent Information Processing IX

Zhongzhi Shi, Eunika Mercier-Laurent, Jiuyong Li

539,46kr

Software Engineering and Methodology for Emerging Domains

Lu Zhang, Chang Xu

539,46kr

Database and Expert Systems Applications

Sven Hartmann, Hui Ma

539,46kr

Web and Big Data

Shaoxu Song, Matthias Renz, Yang-Sae Moon

539,46kr

Visual Pattern Discovery and Recognition

Hongxing Wang, Chaoqun Weng, Junsong Yuan

539,46kr

Information Security Practice and Experience

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

809,25kr

Big Data

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

701,33kr

Automated Machine Learning and Meta-Learning for Multimedia

Wenwu Zhu, Xin Wang

1 510,69kr

Trusted Computing and Information Security

Ming Xu, Zheng Qin, Fei Yan, Shaojing Fu

539,46kr

Database Systems for Advanced Applications

Hong Gao, Jinho Kim, Yasushi Sakurai

539,46kr

Advances in Services Computing

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

539,46kr

Neural Information Processing

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

971,12kr

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 079,03kr

Advances in Knowledge Discovery and Data Mining

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

971,12kr

Collaborative Computing: Networking, Applications and Worksharing

Honghao Gao, Xinheng Wang

971,12kr

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

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

701,33kr

Next Generation Arithmetic

John Gustafson, Vassil Dimitrov

647,38kr

Knowledge Science, Engineering and Management

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

863,20kr

Advances In Chinese Document And Text Processing

Cheng-lin Liu, Yue Lu

944,77kr

Similarity Search and Applications

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

701,33kr

MultiMedia Modeling

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

971,12kr

Exploration of Visual Data

Yong Rui, Thomas S. Huang, Sean Xiang Zhou

971,12kr

Web Information Systems Engineering – WISE 2022

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

971,12kr

Intent Recognition for Human-Machine Interactions

Hua Xu, Hanlei Zhang, Ting-En Lin

539,46kr

Web-Age Information Management

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

539,46kr

Mer av denne forfatteren

Likte du boken?

Bli den første som vurderer denne boken!

Dine personverninnstillinger

Structured Object-Oriented Formal Language and Method

Hvorfor lese med oss?

Sammendrag

Om denne boken

Bokinformasjon

Hvordan lese

I denne serien

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

Relatert lesestoff

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

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