00797nam0 2200253 450 00000704420060404104020.088-14-02404-920060404d1990----km-y0itay50------baitaITy-------001yy<<I >>contratti per l'informatica nella pubblica amministrazioneLuca TrentinagliaMilanoGiuffrè[1990]XII, 531 p.24 cmDiritto dell'informatica2001Diritto dell'informatica346.4520Trentinaglia,Luca232904ITUNIPARTHENOPE20060404RICAUNIMARC000007044T-000437437NAVA3Contratti per l'informatica nella pubblica amministrazione62806UNIPARTHENOPE01418nam0 22003131i 450 UON0052681320241119030300.735978-88-549-1147-520241118d2021 |0itac50 baitaENGSPAIT|||| |||||ˆIl ‰Mediterraneo e la storia 3. : documentando città portualidocumenting port citiesa cura di Laura Chioffi, Mika Kajava, Simo OrmaRomaInstitutum Romanum Finlandiae2021324 p.ill.30 cm001UON000874672001 Acta Instituti Romani Finlandiaeherausgeber Heikki Solin48PORTIMare MediterraneoAntichitàAtti di congressiUONC104276FIITRomaUONL000004387.1091638TRASPORTO PER VIE D'ACQUA. Porti. Mar Mediterraneo.22CHIOFFILauraUONV060738340KAJAVAMikaUONV068593340ORMASimoUONV211435340Institutum Romanum FinlandiaeUONV259649650ITSOL20241122RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00526813SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI Q 6 007 048 2021 SI 51921 5 2021 Mediterraneo e la storia 3. : documentando città portuali4287096UNIOR04113nam 22007335 450 991057486130332120240221122019.03-030-88945-910.1007/978-3-030-88945-6(MiAaPQ)EBC7012367(Au-PeEL)EBL7012367(CKB)23524757900041EBL7012367(AU-PeEL)EBL7012367(DE-He213)978-3-030-88945-6(PPN)269149724(EXLCZ)992352475790004120220606d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic Functions and Equations Fundamentals and Applications using the XBOOLE-Monitor /by Bernd Steinbach, Christian Posthoff3rd ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (818 pages)Description based upon print version of record.Print version: Steinbach, Bernd Logic Functions and Equations Cham : Springer International Publishing AG,c2022 9783030889449 Includes bibliographical references and index.Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index.The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence. Updated throughout, some major additions for the 3rd edition include: a new chapter about the concepts contributing to the power of XBOOLE; a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2; many tasks that support the readers in amplifying the learned content at the end of the chapters; solutions of a large subset of these tasks to confirm learning success; challenging tasks that need the power of the XBOOLE software for their solution. The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.Electronic circuitsLogic designComputer scienceMathematicsDiscrete mathematicsElectronic Circuits and SystemsLogic DesignDiscrete Mathematics in Computer ScienceÀlgebra de BoolethubLògica matemàticathubTeoria de màquinesthubLlibres electrònicsthubElectronic circuits.Logic design.Computer scienceMathematics.Discrete mathematics.Electronic Circuits and Systems.Logic Design.Discrete Mathematics in Computer Science.Àlgebra de BooleLògica matemàtica.Teoria de màquines511.324511.3Steinbach Bernd1241790Posthoff ChristianMiAaPQMiAaPQMiAaPQBOOK9910574861303321Logic functions and equations2994037UNINA