01658nam 2200421 450 00001093520090205094012.0072940627X0435-286620020419d2000----km-y0itay0103----bafreGBNaissance et développement du vitalisme en France de la deuxième moitié du 18. siècle à la fin du Premier EmpireRoselyne ReyOxfordVoltaire Foundation2000XII, 472 p.24 cm.Studies on Voltaire and the Eighteenth Century3812001Studies on Voltaire and the Eighteenth CenturyVitalismoFranciaSec. 18.147(20. ed.)Panteismo, sistemi e dottrine affiniRey,Roselyne440661ITUniversità della Basilicata - B.I.A.RICAunimarc000010935Naissance et développement du vitalisme en France de la deuxième moitié du 18. siècle à la fin du Premier Empire1526706UNIBASMONLETMONOGRLETTEREGIORDANO1020020419BAS011228GIORDANO1020020424BAS01133120050601BAS011754batch0120050718BAS01105020050718BAS01111020050718BAS01114020050718BAS011154BATCH0020070503BAS011730AGD3020090205BAS010940BAS01BAS01BOOKBASA1Polo Storico-UmanisticoGENCollezione generaleFM/98729 Arm.14A98729L987292002052102Prestabile Generale00840cam0 22002533 450 SOB00885820210517074849.0881409159520040211d2001 |||||ita|0103 baitaITTeorie del valoreLa teoria del costo di produzione e la teoria della domanda e dell'offertaDa Walras a ParetoManlio SechiMilanoGiuffré2001796 p.24 cmSechi, ManlioAF00007805070128582ITUNISOB20210517RICAUNISOBUNISOB330108281SOB008858M 102 Monografia moderna SBNM330001213SI108281ACQUISTOAlfanoUNISOBUNISOB20210517074817.020210517074830.0AlfanoTeorie del valore645733UNISOB05017nam 22006255 450 99646566650331620200704224912.03-540-70642-910.1007/3-540-61629-2(CKB)1000000000234510(SSID)ssj0000326167(PQKBManifestationID)11285626(PQKBTitleCode)TC0000326167(PQKBWorkID)10265905(PQKB)10408838(DE-He213)978-3-540-70642-7(PPN)155192604(EXLCZ)99100000000023451020121227d1996 u| 0engurnn#008mamaatxtccrRecent Trends in Data Type Specification[electronic resource] 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers /edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (X, 558 p.)Lecture Notes in Computer Science,0302-9743 ;1130Bibliographic Level Mode of Issuance: Monograph3-540-61629-2 Seven years of COMPASS -- Inductively defined relations: A brief tutorial extended abstract -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge for computing science -- The larch shared language: Some open problems -- The lambda calculus as an abstract data type -- Unifying theories in different institutions -- Interchange format for inter-operability of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class-sort polymorphism in GLIDER -- Deontic concepts in the algebraic specification of dynamic systems: The permission case -- Reification — Changing viewpoint but preserving truth -- A category-based equational logic semantics to constraint programming -- Concurrent state transformations on abstract data types -- A view on implementing processes: Categories of circuits -- Combining algebraic and set-theoretic specifications -- Minimal term rewriting systems -- InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations -- Rewriting and reasoning with set-relations II: The non-ground case completeness -- Termination of curryfied rewrite systems -- Formal specifications and test: Correctness and oracle -- Behavioural equivalence, bisimulation, and minimal realisation -- Using limits of parchments to systematically construct institutions of partial algebras -- Behavioural specifications in type theory -- Swinging data types -- Context institutions -- Object-oriented functional programming and type reconstruction -- Moving between logical systems -- Modular algebraic specifications and the orientation of equations into rewrite rules -- A model for I/O in equational languages with don't care non-determinism -- Tool design for structuring mechanisms for algebraic specification languages with initial semantics.This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.Lecture Notes in Computer Science,0302-9743 ;1130ComputersSoftware engineeringProgramming languages (Electronic computers)Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computers.Software engineering.Programming languages (Electronic computers).Theory of Computation.Software Engineering.Programming Languages, Compilers, Interpreters.005.7/3Haveraaen Magneedthttp://id.loc.gov/vocabulary/relators/edtOwe Olafedthttp://id.loc.gov/vocabulary/relators/edtDahl Ole-Johanedthttp://id.loc.gov/vocabulary/relators/edtWorkshop on Specification of Abstract Data TypesBOOK996465666503316Recent Trends in Data Type Specification2829876UNISA