Catalog

Record Details

Catalog Search



Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings  Cover Image E-book E-book

Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani.

Electronic resources


LDR 01960nam a22005055i 4500
00138327
003CONS
00520131220092023.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642042225 ‡9978-3-642-04222-5
0247 . ‡a10.1007/978-3-642-04222-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-04222-5
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aGhilardi, Silvio. ‡eeditor.
24510. ‡aFrontiers of Combining Systems ‡h[electronic resource] : ‡b7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / ‡cedited by Silvio Ghilardi, Roberto Sebastiani.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡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 ; ‡v5749
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aSoftware Engineering.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aProgramming Techniques.
7001 . ‡aSebastiani, Roberto. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642042218
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5749
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-04222-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38327 ‡b ‡c38327 ‡tbiblio ‡sSystem Local

Additional Resources