Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Rigorous state-based methods7th Inte...
~
(1998 :)
Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Rigorous state-based methodsedited by Alexander Raschke, Dominique Mery, Frank Houdek.
Reminder of title:
7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
remainder title:
ABZ 2020
other author:
Raschke, Alexander.
corporate name:
Published:
Cham :Springer International Publishing :2020.
Description:
xii, 428 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Machine learningCongresses.
Online resource:
https://doi.org/10.1007/978-3-030-48077-6
ISBN:
9783030480776$q(electronic bk.)
Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
Rigorous state-based methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /[electronic resource] :ABZ 2020edited by Alexander Raschke, Dominique Mery, Frank Houdek. - Cham :Springer International Publishing :2020. - xii, 428 p. :ill., digital ;24 cm. - Lecture notes in computer science,120710302-9743 ;. - Lecture notes in computer science ;4891..
Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress)
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress)
ISBN: 9783030480776$q(electronic bk.)
Standard No.: 10.1007/978-3-030-48077-6doiSubjects--Topical Terms:
384498
Machine learning
--Congresses.
LC Class. No.: QA8.9
Dewey Class. No.: 005.131
Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
LDR
:02052nmm a2200361 a 4500
001
579533
003
DE-He213
005
20200515071855.0
006
m
007
cr
008
201229s2020
020
$a
9783030480776$q(electronic bk.)
020
$a
9783030480769$q(paper)
024
7
$a
10.1007/978-3-030-48077-6
$2
doi
035
$a
978-3-030-48077-6
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA8.9
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
005.131
$2
23
090
$a
QA8.9
$b
.A167 2020
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Rigorous state-based methods
$h
[electronic resource] :
$b
7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
$c
edited by Alexander Raschke, Dominique Mery, Frank Houdek.
246
3
$a
ABZ 2020
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2020.
300
$a
xii, 428 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
12071
490
1
$a
Theoretical computer science and general issues
505
0
$a
Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress)
520
$a
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress)
650
0
$a
Machine learning
$v
Congresses.
$3
384498
650
0
$a
Machine theory
$v
Congresses.
$3
442590
650
1 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Artificial Intelligence.
$3
212515
650
2 4
$a
Computer Systems Organization and Communication Networks.
$3
273709
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Control Structures and Microprogramming.
$3
274663
700
1
$a
Raschke, Alexander.
$3
809139
700
1
$a
Mery, Dominique.
$3
493775
700
1
$a
Houdek, Frank.
$3
868917
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
830
0
$a
Theoretical computer science and general issues.
$3
822018
856
4 0
$u
https://doi.org/10.1007/978-3-030-48077-6
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000184119
電子館藏
1圖書
電子書
EB QA8.9 .A167 2020 2020
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-48077-6
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login