Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 5 of 21
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings Cover Image E-book E-book

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Bonizzoni, Paola. (editor.). Brattka, Vasco. (editor.). Löwe, Benedikt. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642390531
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVIII, 446 p. 42 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

Search for related items by subject

Subject: Computer science
Computer software
Logic design
Computational complexity
Logic, Symbolic and mathematical
Computer Science
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Logics and Meanings of Programs
Mathematical Logic and Foundations

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02062nam a22004935i 4500
00131825
003CONS
00520130727082658.0
007cr nn 008mamaa
008130604s2013 gw | s |||| 0|eng d
020 . ‡a9783642390531 ‡9978-3-642-39053-1
0247 . ‡a10.1007/978-3-642-39053-1 ‡2doi
035 . ‡a(DE-He213)978-3-642-39053-1
050 4. ‡aQA75.5-76.95
072 7. ‡aUYZG ‡2bicssc
072 7. ‡aCOM037000 ‡2bisacsh
1001 . ‡aBonizzoni, Paola. ‡eeditor.
24514. ‡aThe Nature of Computation. Logic, Algorithms, Applications ‡h[electronic resource] : ‡b9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / ‡cedited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2013.
300 . ‡aXVIII, 446 p. 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 ; ‡v7921
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aComputational complexity.
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. ‡aMath Applications in Computer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Foundations.
7001 . ‡aBrattka, Vasco. ‡eeditor.
7001 . ‡aLöwe, Benedikt. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642390524
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7921
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-39053-1 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a31825 ‡b ‡c31825 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 5 of 21

Additional Resources