00747nam0-22002771i-450-99000616430040332119980601000616430FED01000616430(Aleph)000616430FED0100061643019980601d1963----km-y0itay50------ba--------00-yyHegel und die Marxistische StaaslehreJakob Barion.BonnH. Bouvier u Co.1963235 p.24 cm340.1Barion,Jakob178315ITUNINARICAUNIMARCBK990006164300403321XI C 67671398FGBCFGBCHegel und die Marxistische Staaslehre644495UNINAGIU0102640nam 2200565 450 991046500150332120200520144314.01-4438-5967-2(CKB)3710000000105586(EBL)1683200(SSID)ssj0001254799(PQKBManifestationID)11819405(PQKBTitleCode)TC0001254799(PQKBWorkID)11243601(PQKB)10799711(MiAaPQ)EBC1683200(Au-PeEL)EBL1683200(CaPaEBR)ebr10870458(CaONFJC)MIL602426(OCoLC)879026105(EXLCZ)99371000000010558620140523h20142014 uy 0engur|n|---|||||txtccrRecent progress in the Boolean domain /edited by Bernd SteinbachNewcastle upon Tyne, England :Cambridge Scholars Publishing,2014.©20141 online resource (458 p.)"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."1-4438-5638-X Includes bibliographical references and index.Contents; List of Figures; List of Tables; Preface; Foreword; Introduction; Exceptionally ComplexBoolean Problems; 1. Boolean Rectangle Problem; 2. Four-Colored Rectangle-FreeGrids; 3. Theoretical and PracticalConcepts; Digital Circuits; 4. Design; 5. Test; Towards Future Technologies; 6. Reversible and Quantum Circuits; Bibliography; List of Authors; Index of AuthorsIn today's world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to...Automatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesElectronic books.Automatic theorem provingLogic, Symbolic and mathematical004.015113Steinbach BerndMiAaPQMiAaPQMiAaPQBOOK9910465001503321Recent progress in the Boolean domain2241540UNINA01619oam 2200577 450 991015480950332120230803220502.01-292-05637-1(CKB)2550000001160519(SSID)ssj0001256962(PQKBManifestationID)12473949(PQKBTitleCode)TC0001256962(PQKBWorkID)11273054(PQKB)11683529(MiAaPQ)EBC5138074(MiAaPQ)EBC5174350(MiAaPQ)EBC5176738(MiAaPQ)EBC5833322(MiAaPQ)EBC6398991(EXLCZ)99255000000116051920210427d2014 uy 0engurcnu||||||||txtccrFundamentals of futures and options markets /John C. HullEighth edition, Global edition.Harlow, England :Pearson,[2014]©20141 online resource (585 pages)Always LearningIncludes index.1-292-04190-0 1-306-12362-3 Always learning.Futures marketOptions (Finance)Investment & securitiesFutures market.Options (Finance)Investment & securities.332.645Hull John1946-89443MiAaPQMiAaPQUtOrBLWBOOK9910154809503321Fundamentals of futures and options markets14148UNINA