02928nam 2200625 450 99646586170331620220514054721.03-540-74128-310.1007/978-3-540-74128-2(CKB)1000000000490798(SSID)ssj0000318966(PQKBManifestationID)11265711(PQKBTitleCode)TC0000318966(PQKBWorkID)10336501(PQKB)11420877(DE-He213)978-3-540-74128-2(MiAaPQ)EBC3063365(MiAaPQ)EBC6711166(Au-PeEL)EBL6711166(OCoLC)184927916(PPN)123164222(EXLCZ)99100000000049079820220514d2007 uy 0engurnn|008mamaatxtccrModel checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers /Stefan Edelkamp, Alessio Lomuscio (editors)1st ed. 2007.Berlin ;Heidelberg :Springer,[2007]©20071 online resource (IX, 185 p.) Lecture notes in computer science. Lecture notes in artificial intelligence ;4428Bibliographic Level Mode of Issuance: Monograph3-540-74127-5 Includes bibliographical references and index.A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking.Lecture notes in computer science.Lecture notes in artificial intelligence ;4428.Computer systemsVerificationCongressesComputer softwareVerificationCongressesArtificial intelligenceCongressesComputer systemsVerificationComputer softwareVerificationArtificial intelligence006.3Edelkamp StefanLomuscio AlessioMiAaPQMiAaPQMiAaPQBOOK996465861703316Model Checking and Artificial Intelligence772652UNISA03439nam 2200601 450 991083117060332120191101122056.01-119-54944-21-119-43222-7(CKB)4340000000264377(MiAaPQ)EBC5345268(OCoLC)1031373652(EXLCZ)99434000000026437720180510d2018 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierComptia network+ study guide /Todd Lammle, Troy McMillanFourth edition.Indianapolis, Indiana :Sybex, A Wiley Brand,[2018]©20181 online resource (1,011 pages)1-119-43225-1 Introduction -- Assessment test -- Introduction to networks -- The open systems interconnection specifications -- Networking topologies, connectors, and wiring standards -- The current Ethernet specifications -- Networking devices -- Introduction to the Internet protocol -- IP addressing -- IP subnetting, troubleshooting IP, and introduction to NAT -- Introduction to IP routing -- Routing protocols -- Switching and virtual LANs -- Wireless networking -- Authentication and access control -- Network threats and mitigation -- Physical security and risk -- Wide area networks -- Troubleshooting tools -- Software and hardware tools -- Network troubleshooting -- Management, monitoring, and optimization -- Appendix A: Answers to the written labs -- Appendix B: Answers to review questions -- Appendix C: Subnetting class A."CompTIA's Network+ certification tells the world you have the skills to install, configure, and troubleshoot today's basic networking hardware peripherals and protocols. First, however, you have to pass the exam! This detailed CompTIA Authorized study guide by networking guru Todd Lammle has everything you need to prepare for the CompTIA Network+ Exam N10-007. Todd covers all exam objectives, explains key topics, offers plenty of practical examples, and draws upon his own invaluable 30 years of networking experience to help you learn."--Publisher's description.Electronic data processing personnelCertificationStudy guidesComputer techniciansCertificationStudy guidesComputer networksExaminationsStudy guidesComputer networksExaminationsfast(OCoLC)fst00872313Computer techniciansCertificationfast(OCoLC)fst00872659Electronic data processing personnelCertificationfast(OCoLC)fst00907100Examinationsfast(OCoLC)fst00917492Study guides.fastStudy guides.lcgftElectronic data processing personnelCertificationComputer techniciansCertificationComputer networksExaminationsComputer networksExaminations.Computer techniciansCertification.Electronic data processing personnelCertification.Examinations.370.944Lammle Todd736457McMillan TroyMiAaPQMiAaPQMiAaPQBOOK9910831170603321Comptia network+ study guide3926751UNINA