Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 3 of 21
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings Cover Image E-book E-book

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Cooper, S. Barry. (editor.). Dawar, Anuj. (editor.). Löwe, Benedikt. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642308703
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVIII, 756p. 42 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject: Computer science
Computer software
Computational complexity
Algebra Data processing
Logic, Symbolic and mathematical
Computer Science
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Mathematical Logic and Foundations

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01994nam a22004815i 4500
00141848
003CONS
00520130727034811.0
007cr nn 008mamaa
008120528s2012 gw | s |||| 0|eng d
020 . ‡a9783642308703 ‡9978-3-642-30870-3
0247 . ‡a10.1007/978-3-642-30870-3 ‡2doi
035 . ‡a(DE-He213)978-3-642-30870-3
050 4. ‡aQA75.5-76.95
072 7. ‡aUYZG ‡2bicssc
072 7. ‡aCOM037000 ‡2bisacsh
1001 . ‡aCooper, S. Barry. ‡eeditor.
24510. ‡aHow the World Computes ‡h[electronic resource] : ‡bTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / ‡cedited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aXVIII, 756p. 42 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7318
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aComputational complexity.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aComputer Science.
65024. ‡aComputation by Abstract Devices.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aMathematical Logic and Foundations.
7001 . ‡aDawar, Anuj. ‡eeditor.
7001 . ‡aLöwe, Benedikt. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642308697
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7318
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-30870-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a41848 ‡b ‡c41848 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 3 of 21

Additional Resources