01315nam a2200325 i 450099100111264970753620020507183507.0951024s1981 ne ||| | eng 0444854401b10802654-39ule_instLE01307223ExLDip.to Matematicaeng519.4AMS 03B70Domolki, B.536023Mathematical logic in computer science /edited by B. Domolki and T. GergelyAmsterdam :North-Holland,1981758 p. :ill. ;25 cm.Colloquia mathematica Societatis Janos Bolyai, ISSN 01393383 ;26Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.Logic of programmingProgrammingProgramming languages-semanticsGergely, T..b1080265423-02-1728-06-02991001112649707536LE013 03B DOM11 (1981)12013000038209le013-E0.00-l- 01010.i1090692728-06-02Mathematical logic in computer science925339UNISALENTOle01301-01-95ma -engne 0103009nam a2200445Ii 4500991003247439707536m d cr cn|||||||||070806s2004 ne a sb 001 0 eng d97815555832001555583202b13654962-39ule_inst105456:105484Elsevier Science & Technologyhttp://www.sciencedirect.comOPELSOPELSTEFA005.4/3222Kavanagh, Paul.627528Open source software[electronic resource] :implementation and management /Paul Kavanagh.Amsterdam ;Boston :Elsevier Digital Press,2004.xxi, 366 p. :ill. ;24 cm.Software developmentIncludes bibliographical and web references and index.In 2004/5, over half of IT professionals will be looking at open source, most for the first time. This book provides key tools for System administrators, Network Administrators, IT project managers, and consultants who must evaluate and deploy open source software. This book details open source successes so far, explains which scenarios are the most realistic opportunities now, then gives the details needed to select these solutions, adopt the best tools and practices, introduce them to an organization, implement and manage them. The IT professional can use this book to review opportunities in their organization, evaluate components such as Apache, Linux, and OpenOffice against systems they know, and follow up in detail on their specific interests here and through referred resources. *Deployment scenarios categorized by function and industry *Rules of thumb on where and when open source software is or is not the right choice *Roadmaps for deployment in terms of the components of open source.Electronic reproduction.Amsterdam :Elsevier Science & Technology,2007.Mode of access: World Wide Web.System requirements: Web browser.Title from title screen (viewed on Aug. 2, 2007).Access may be restricted to users at subscribing institutions.Linux.Apache (Computer file : Apache Group)Open source software.Shareware (Computer software)Operating systems (Computers)Management.Computer softwareDevelopment.Electronic books.localOriginal15555832029781555583200(DLC) 2004276144(OCoLC)56622709Referexhttp://www.sciencedirect.com/science/book/9781555583200An electronic book accessible through the World Wide Web; click for informationPublisher descriptionhttp://catdir.loc.gov/catdir/enhancements/fy0620/2004276144-d.html.b1365496224-02-2224-01-08991003247439707536C0TEFOpen source software1212818UNISALENTOle02924-01-08mm -engne 00