Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

draadloze computernetwerken --- Wireless communication systems --- Wide area networks (Computer networks) --- Local area networks (Computer networks) --- Transmission sans fil --- Réseaux à grande distance (Informatique) --- Réseaux locaux (Informatique) --- Periodicals. --- Periodicals --- Périodiques --- Réseaux à grande distance (Informatique) --- Réseaux locaux (Informatique) --- #TS:TCPW --- Engineering --- Information Technology --- Telecommunications Technology --- Electrical Engineering --- Computer Science (Hardware & Networks) --- General and Others --- Mobile Computing --- Communication Networks & Technology --- Wireless Communications --- Périodiques --- EJINFOR EJINGEN EPUB-ALPHA-W EPUB-PER-FT SPRINGER-E --- WANs (Computer networks) --- Computer networks --- Electronic data processing --- Distributed processing --- mobiele netwerken --- Wireless communication systems. --- Telecommunication systems --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- LANs (Computer networks) --- Local area computer networks --- Wireless communication systems - Periodicals --- Wide area networks (Computer networks) - Periodicals --- Local area networks (Computer networks) - Periodicals

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information systems --- Data base management --- Periodicals --- Database management --- Bases de données --- 54.64 databases --- Gestion --- #ETEW:TSCAT --- #BA01105 --- #TS:WBIB --- #TS:WMAG --- 681.3 --- Computer science --- Information Technology --- Data Storage and Data Mining --- Database Design & Management --- General and Others --- Information Extraction, Retrieval and Filtering --- Information Science and Systems --- Mathematical Sciences --- Applied Mathematics --- Information Technology. --- Information Science and Systems. --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Database management - Periodicals

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Wireless communication systems --- Mobile communication systems --- Mobile computing --- Portable computers --- Transmission sans fil --- Radiocommunications mobiles --- Informatique mobile --- Ordinateurs portables --- Periodicals --- Périodiques --- Mobile computing. --- Portable computers. --- Wireless communication systems. --- #TS:WBIB --- Engineering --- Telecommunications Technology --- Electrical Engineering --- Communication Networks & Technology --- Electronic data processing --- Context-aware computing --- Computers, Portable --- Microcomputers --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- Telecommunication systems --- mobiele netwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming languages (Electronic computers) --- Computer programming --- Langages de programmation --- Programmation (Informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit’s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software—the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them.

Computer software --- Computer programming --- Evaluation --- Mathematical models. --- Management. --- Computer software -- Reliability. --- Computers -- Reliability. --- Electronic books. -- local. --- Computer Science --- Engineering & Applied Sciences --- Management --- Information Technology --- Software Engineering --- Computers --- Reliability. --- Computer reliability --- Computer science. --- Software engineering. --- Algorithms. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programming management --- Programming management (Electronic computers)