LEADER 01569nam 2200529Ia 450 001 9910449679403321 005 20200520144314.0 035 $a(CKB)1000000000005686 035 $a(CtWfDGI)bks00003840 035 $a(SSID)ssj0000282434 035 $a(PQKBManifestationID)11912495 035 $a(PQKBTitleCode)TC0000282434 035 $a(PQKBWorkID)10317471 035 $a(PQKB)10519740 035 $a(MiAaPQ)EBC3017619 035 $a(Au-PeEL)EBL3017619 035 $a(CaPaEBR)ebr10060500 035 $a(OCoLC)70720408 035 $a(EXLCZ)991000000000005686 100 $a20031022d2004 my 0 101 0 $aeng 135 $aurzn|||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe official GNOME 2 developer's guide$b[electronic resource] /$fMatthias Warkus 210 $aSan Francisco $cNo Starch Press$dc2004 215 $a497 p 300 $aIncludes index. 311 $a1-59327-030-5 320 $aIncludes bibliography. 606 $aComputer programming 606 $aComputer software$xDevelopment 606 $aGraphical user interfaces (Computer systems) 608 $aElectronic books. 615 0$aComputer programming. 615 0$aComputer software$xDevelopment. 615 0$aGraphical user interfaces (Computer systems) 676 $a005.4/38 700 $aWarkus$b Matthias$0987514 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910449679403321 996 $aThe official GNOME 2 developer's guide$92257307 997 $aUNINA LEADER 04913nam 22007215 450 001 9910143455203321 005 20200701133441.0 010 $a3-540-69720-9 024 7 $a10.1007/BFb0053537 035 $a(CKB)1000000000210906 035 $a(SSID)ssj0000323279 035 $a(PQKBManifestationID)11224775 035 $a(PQKBTitleCode)TC0000323279 035 $a(PQKBWorkID)10300627 035 $a(PQKB)11226954 035 $a(DE-He213)978-3-540-69720-6 035 $a(PPN)155238043 035 $a(EXLCZ)991000000000210906 100 $a20100730d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computation Structures$b[electronic resource] $eFirst International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /$fedited by Maurice Nivat 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (XI, 297 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1378 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64300-1 327 $aGeneralizing domain theory -- A cook's tour of equational axiomatizations for prefix iteration -- The WHILE hierarchy of program schemes is infinite -- Analysis of a guard condition in type theory -- An event structure semantics for P/T contextual nets: Asymmetric event structures -- Pumping Lemmas for timed automata -- Asynchronous Observations of Processes -- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling -- Partial metrics and co-continuous valuations -- Mobile ambients -- Rational term rewriting -- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations -- Net refinement by pullback rewriting -- On piecewise testable, starfree, and recognizable picture languages -- Functor categories and two-level languages -- Deciding properties for message sequence charts -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages -- Deterministic rational transducers and random sequences -- Resource based models for asynchrony. 330 $aThis book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1378 606 $aSoftware engineering 606 $aComputers 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 0$aProgramming languages (Electronic computers) 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputation by Abstract Devices. 676 $a005.1 702 $aNivat$b Maurice$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFoSSaCS '98 906 $aBOOK 912 $a9910143455203321 996 $aFoundations of Software Science and Computation Structures$9772187 997 $aUNINA