|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3303470 |
| 003 |
MWH |
| 005 |
20191021181521.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170815s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783662557518
|
| 024 |
7 |
|
|a 10.1007/978-3-662-55751-8
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-3-662-55751-8
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a UM
|2 bicssc
|
| 072 |
|
7 |
|a COM051000
|2 bisacsh
|
| 072 |
|
7 |
|a UM
|2 thema
|
| 072 |
|
7 |
|a UYF
|2 thema
|
| 245 |
1 |
0 |
|a Fundamentals of Computation Theory
|h [electronic resource] :
|b 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings /
|c edited by Ralf Klasing, Marc Zeitoun.
|
| 250 |
|
|
|a 1st ed. 2017.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XXI, 432 p. 33 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 10472
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Computer science—Mathematics.
|
| 650 |
|
0 |
|a Software engineering.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Klasing, Ralf.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Zeitoun, Marc.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues ;
|v 10472
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-662-55751-8
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b33034709
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i22166324
|z 02-26-20
|
| 999 |
f |
f |
|i 684ccdb9-fb1a-5ccc-94d3-605e1d100be0
|s 2c5880a6-dc7b-5f22-b9a7-e67202682bd7
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|