Catalogue Search | MBRL
Search Results Heading
Explore the vast range of titles available.
MBRLSearchResults
-
DisciplineDiscipline
-
Is Peer ReviewedIs Peer Reviewed
-
Series TitleSeries Title
-
Reading LevelReading Level
-
YearFrom:-To:
-
More FiltersMore FiltersContent TypeItem TypeDegree TypeIs Full-Text AvailableSubjectCountry Of PublicationPublisherSourceGranting InstitutionTarget AudienceDonorLanguagePlace of PublicationContributorsLocation
Done
Filters
Reset
2,951,591
result(s) for
"Computer software"
Sort by:
Case study research in software engineering
by
Rainer, Austen
,
Host, Martin
,
Runeson, Per
in
Case studies
,
Computer and Information Sciences
,
Computer Sciences
2012
Based on their own experiences of in-depth case studies of software projects in international corporations, in this book the authors present detailed practical guidelines on the preparation, conduct, design and reporting of case studies of software engineering. This is the first software engineering specific book on the case study research method.
Software defined networks : a comprehensive approach
This book discusses the historical networking environment that gave rise to SDN, as well as the latest advances in SDN technology. It provides state of the art knowledge needed for successful deployment of an SDN, including how to explain to the non-technical business decision makers in an organization the potential benefits and risks, in shifting parts of a network to the SDN model; how to make intelligent decisions about when to integrate SDN technologies in a network; how to decide if an organization should be developing its own SDN applications or looking to acquire them from an outside vendor; how to accelerate the ability to develop an SDN application; discusses the evolution of the switch platforms that enable SDN; addresses when to integrate SDN technologies in a network; provides an overview of sample SDN applications relevant to different industries; includes practical examples of how to write SDN applications. --
Programming multi-agent systems in AgentSpeak using Jason
by
Hübner, Jomi Fred
,
Wooldridge, Michael
,
Bordini, Rafael H
in
Computer programming
,
Electronics
,
Intelligent agents (Computer software)
2007
This text provides a detailed, practical guide to building multi-agent systems using Jason, one of the most prominent agent programming languages.
Principles of model checking
by
Katoen, Joost-Pieter
,
Baier, Christel
in
Computer software
,
Computer software -- Verification
,
Computer systems
2008
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.