Catalog

Record Details

Catalog Search


Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers Cover Image E-book E-book

Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.

MacCaull, Wendy. (editor.). Winter, Michael. (editor.). Düntsch, Ivo. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02223nam a22005175i 4500
00117034
003CONS
00520131220065041.0
007cr nn 008mamaa
008100301s2006 gw | s |||| 0|eng d
020 . ‡a9783540333401 ‡9978-3-540-33340-1
0247 . ‡a10.1007/11734673 ‡2doi
035 . ‡a(DE-He213)978-3-540-33340-1
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aMacCaull, Wendy. ‡eeditor.
24510. ‡aRelational Methods in Computer Science ‡h[electronic resource] : ‡b8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / ‡cedited by Wendy MacCaull, Michael Winter, Ivo Düntsch.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2006.
300 . ‡aVIII, 263 p. Also available online. ‡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 ; ‡v3929
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
650 0. ‡aComputational complexity.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSoftware Engineering.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aDiscrete Mathematics in Computer Science.
7001 . ‡aWinter, Michael. ‡eeditor.
7001 . ‡aDüntsch, Ivo. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540333395
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v3929
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/11734673 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a17034 ‡b ‡c17034 ‡tbiblio ‡sSystem Local

Additional Resources