000704981 000__ 02771cam\a2200517Ma\4500
000704981 001__ 704981
000704981 005__ 20230306135902.0
000704981 006__ m\\\\\o\\d\\\\\\\\
000704981 007__ cr\un\nnnunnun
000704981 008__ 140519s2014\\\\sz\a\\\\ob\\\\101\0\eng\d
000704981 020__ $$a3319062514$$qelectronic book
000704981 020__ $$a9783319062518$$qelectronic book
000704981 020__ $$z9783319062501$$qpaperback
000704981 020__ $$z3319062506$$qpaperback
000704981 035__ $$aSP(OCoLC)ocn880369450
000704981 035__ $$aSP(OCoLC)880369450
000704981 040__ $$aYDXCP$$epn$$beng$$cYDXCP$$dGW5XE$$dOCLCO$$dA7U$$dCOO
000704981 049__ $$aISEA
000704981 050_4 $$aQA76.9.M35$$bR36 2014
000704981 08204 $$a004.01/51$$223
000704981 1112_ $$aRAMiCS (Conference)$$n(14th :$$d2014 :$$cMarienstatt, Germany),$$jcreator.
000704981 24510 $$aRelational and algebraic methods in computer science$$h[electronic resource] :$$b14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings /$$cPeter Hofner, Peter Jipsen, Wolfram Kahl, Martin Eric Muller (eds.).
000704981 264_1 $$aCham ;$$aNew York :$$bSpringer,$$c[2014]
000704981 300__ $$a1 online resource (xi, 462 pages) :$$billustrations.
000704981 336__ $$atext$$btxt$$2rdacontent
000704981 337__ $$acomputer$$bc$$2rdamedia
000704981 338__ $$aonline resource$$bcr$$2rdacarrier
000704981 4901_ $$aLecture notes in computer science ;$$v8428
000704981 4901_ $$aLNCS sublibrary. SL 1 - Theoretical computer science and general issues
000704981 500__ $$aConference proceedings.
000704981 504__ $$aIncludes bibliographical references and index.
000704981 506__ $$aAccess limited to authorized users.
000704981 520__ $$aThis book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices.
000704981 588__ $$aDescription based on print version record.
000704981 650_0 $$aComputer science$$xMathematics$$vCongresses.
000704981 7001_ $$aHöfner, Peter,$$eeditor.
000704981 7001_ $$aJipsen, Peter,$$d1964-$$eeditor.
000704981 7001_ $$aKahl, W.$$q(Wolfram),$$eeditor.
000704981 7001_ $$aMüller, M. E.$$q(Martin E.),$$d1970-$$eeditor.
000704981 77608 $$cOriginal$$z9783319062501$$z3319062506
000704981 830_0 $$aLecture notes in computer science ;$$v8428.
000704981 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000704981 85280 $$bebk$$hSpringerLink
000704981 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-06251-8$$zOnline Access
000704981 909CO $$ooai:library.usi.edu:704981$$pGLOBAL_SET
000704981 980__ $$aEBOOK
000704981 980__ $$aBIB
000704981 982__ $$aEbook
000704981 983__ $$aOnline
000704981 994__ $$a92$$bISE