|
|
|
|
| LEADER |
03616nam a2200625 4500 |
| 001 |
978-3-319-96418-8 |
| 003 |
DE-He213 |
| 005 |
20191024081135.0 |
| 007 |
cr nn 008mamaa |
| 008 |
180713s2018 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319964188
|9 978-3-319-96418-8
|
| 024 |
7 |
|
|a 10.1007/978-3-319-96418-8
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.9.M35
|
| 072 |
|
7 |
|a PBD
|2 bicssc
|
| 072 |
|
7 |
|a COM018000
|2 bisacsh
|
| 072 |
|
7 |
|a PBD
|2 thema
|
| 072 |
|
7 |
|a UYAM
|2 thema
|
| 082 |
0 |
4 |
|a 004.0151
|2 23
|
| 245 |
1 |
0 |
|a Mathematical Software - ICMS 2018
|h [electronic resource] :
|b 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
|c edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban.
|
| 250 |
|
|
|a 1st ed. 2018.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2018.
|
| 300 |
|
|
|a XIX, 508 p. 132 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Theoretical Computer Science and General Issues ;
|v 10931
|
| 505 |
0 |
|
|a Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform.
|
| 520 |
|
|
|a This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018. The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a subeld of mathematical software research, development and use.
|
| 650 |
|
0 |
|a Computer science-Mathematics.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Computer security.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Information storage and retrieval.
|
| 650 |
1 |
4 |
|a Discrete Mathematics in Computer Science.
|0 http://scigraph.springernature.com/things/product-market-codes/I17028
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|0 http://scigraph.springernature.com/things/product-market-codes/I21000
|
| 650 |
2 |
4 |
|a Systems and Data Security.
|0 http://scigraph.springernature.com/things/product-market-codes/I28060
|
| 650 |
2 |
4 |
|a Programming Techniques.
|0 http://scigraph.springernature.com/things/product-market-codes/I14010
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|0 http://scigraph.springernature.com/things/product-market-codes/I14037
|
| 650 |
2 |
4 |
|a Information Storage and Retrieval.
|0 http://scigraph.springernature.com/things/product-market-codes/I18032
|
| 700 |
1 |
|
|a Davenport, James H.
|e editor.
|0 (orcid)0000-0002-3982-7545
|1 https://orcid.org/0000-0002-3982-7545
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Kauers, Manuel.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Labahn, George.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Urban, Josef.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319964171
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319964195
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues ;
|v 10931
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-96418-8
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
