00999cam0 22002411 450 SOBE0005369520161021114921.020161021d1955 |||||ita|0103 baitaITUtilitarismo mercantile amministrativo marinaro nelle relazioni veneto-napoletane durante il vicariato di Carlomartello d'AngiòNicola NicoliniNapoliSocietà napoletana di storia patria195530 p.26 cmNicolini, Nicola <1905-1975>A600200030896070743208ITUNISOB20161021RICAUNISOBUNISOB900|Opusc6114SOBE00053695M 102 Monografia moderna SBNM900|Opusc000425SI6114donoNmenleUNISOBUNISOB20161021114847.020161021114921.0menleUtilitarismo mercantile amministrativo marinaro nelle relazioni veneto-napoletane durante il vicariato di Carlomartello d'Angiò1726985UNISOB04214nam 22008415 450 99646629700331620240222170041.03-319-24704-210.1007/978-3-319-24704-5(CKB)4340000000001143(SSID)ssj0001585502(PQKBManifestationID)16265442(PQKBTitleCode)TC0001585502(PQKBWorkID)14864851(PQKB)11376968(DE-He213)978-3-319-24704-5(MiAaPQ)EBC6297173(MiAaPQ)EBC5591348(Au-PeEL)EBL5591348(OCoLC)922540885(PPN)190528664(EXLCZ)99434000000000114320150924d2015 u| 0engurnn#008mamaatxtccrRelational and Algebraic Methods in Computer Science[electronic resource] 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /edited by Wolfram Kahl, Michael Winter, José Oliveira1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (X, 395 p. 51 illus.)Theoretical Computer Science and General Issues,2512-2029 ;9348Bibliographic Level Mode of Issuance: Monograph3-319-24703-4 Theory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.-  Cylindric algebras -- Application in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches to logics of programs -- Modal and dynamic logics -- Interval and temporal logics.This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.Theoretical Computer Science and General Issues,2512-2029 ;9348Machine theoryComputer science—MathematicsComputer scienceSoftware engineeringArtificial intelligenceDiscrete mathematicsFormal Languages and Automata TheorySymbolic and Algebraic ManipulationComputer Science Logic and Foundations of ProgrammingSoftware EngineeringArtificial IntelligenceDiscrete Mathematics in Computer ScienceMachine theory.Computer science—Mathematics.Computer science.Software engineering.Artificial intelligence.Discrete mathematics.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.Computer Science Logic and Foundations of Programming.Software Engineering.Artificial Intelligence.Discrete Mathematics in Computer Science.004.0151Kahl Wolframedthttp://id.loc.gov/vocabulary/relators/edtWinter Michael(Professor).edthttp://id.loc.gov/vocabulary/relators/edtOliveira Joséedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466297003316Relational and Algebraic Methods in Computer Science2201468UNISA01925nas 2200601-a 450 99621125120331620240413012228.01617-7134(CKB)954921411350(CONSER)---93640274-(MiAaPQ)48624(DE-599)ZDB1476543-3(OCoLC)52330066(EXLCZ)9995492141135019930827a19869999 --- -engtxtrdacontentcrdamediacrrdacarrierJournal of economics =Zeitschrift für NationalökonomieWien ;New York Springer-Verlagc1986-1 online resourceTitle from cover.Refereed/Peer-reviewedPrint version: Journal of economics (Vienna, Austria) (DLC) 93640274 (OCoLC)28704827 0931-8658 Zeitschrift für NationalökonomieJOURNAL OF ECONOMICS SPRINGERJOURNAL OF ECONOMICS ZEITSCHRIFT FUR NATIONALOKONOMIEJOURNAL OF ECONOMICS ZEITSCHRIFT FUER NATIONALOEKONOMIEZeitschrift fuer Nationaloekonomie (Journal of Economics)Zeitschrift fuer NationaloekonomieJ ECONJ. ECONJ. econ.EconomicsPeriodicalsPublications périodiqueseclasScience économiqueeclasEconomicsfast(OCoLC)fst00902116EconomiegttAutricheeclasPeriodicals.fastPeriodicals.lcgftEconomicsPublications périodiques.Science économique.Economics.Economie.330.05JOURNAL996211251203316exl_impl conversionJournal of economics793811UNISA