Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 4 of 10
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings Cover Image E-book E-book

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

Corradini, Andrea. (editor.). Klin, Bartek. (editor.). Cîrstea, Corina. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642229442
  • Physical Description: electronic
    electronic resource
    access
    remote
    XI, 420p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject: Computer science
Logic design
Computational complexity
Algebra Data processing
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Models and Principles
Computation by Abstract Devices

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02067nam a22005295i 4500
00140308
003CONS
00520130726164827.0
007cr nn 008mamaa
008110825s2011 gw | s |||| 0|eng d
020 . ‡a9783642229442 ‡9978-3-642-22944-2
0247 . ‡a10.1007/978-3-642-22944-2 ‡2doi
035 . ‡a(DE-He213)978-3-642-22944-2
050 4. ‡aQA76.9.L63
050 4. ‡aQA76.5913
050 4. ‡aQA76.63
072 7. ‡aUM ‡2bicssc
072 7. ‡aUYF ‡2bicssc
072 7. ‡aCOM051000 ‡2bisacsh
072 7. ‡aCOM036000 ‡2bisacsh
1001 . ‡aCorradini, Andrea. ‡eeditor.
24510. ‡aAlgebra and Coalgebra in Computer Science ‡h[electronic resource] : ‡b4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / ‡cedited by Andrea Corradini, Bartek Klin, Corina Cîrstea.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aXI, 420p. ‡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 ; ‡v6859
650 0. ‡aComputer science.
650 0. ‡aLogic design.
650 0. ‡aComputational complexity.
650 0. ‡aAlgebra ‡xData processing.
65014. ‡aComputer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aModels and Principles.
65024. ‡aComputation by Abstract Devices.
7001 . ‡aKlin, Bartek. ‡eeditor.
7001 . ‡aCîrstea, Corina. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642229435
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6859
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-22944-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a40308 ‡b ‡c40308 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 4 of 10

Additional Resources