Catalog

Record Details

Catalog Search


Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings Cover Image E-book E-book

Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt.

Fontaine, Pascal. (editor.). Ringeissen, Christophe. (editor.). Schmidt, Renate A. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02073nam a22005175i 4500
00131524
003CONS
00520130911065925.0
007cr nn 008mamaa
008130911s2013 gw | s |||| 0|eng d
020 . ‡a9783642408854 ‡9978-3-642-40885-4
0247 . ‡a10.1007/978-3-642-40885-4 ‡2doi
035 . ‡a(DE-He213)978-3-642-40885-4
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aFontaine, Pascal. ‡eeditor.
24510. ‡aFrontiers of Combining Systems ‡h[electronic resource] : ‡b9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / ‡cedited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2013.
300 . ‡aXII, 359 p. 35 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 ; ‡v8152
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 . ‡aRingeissen, Christophe. ‡eeditor.
7001 . ‡aSchmidt, Renate A. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642408847
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v8152
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-40885-4 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a31524 ‡b ‡c31524 ‡tbiblio ‡sSystem Local

Additional Resources