MCS - PDFSEARCH.IO - Document Search Engine

MCS
Results: 1481

#	Item
621	Adaptable Value-Set Analysis for Low-Level Code J¨ org Brauer1? , Ren´e Rydhof Hansen2 , Stefan Kowalewski1 , Kim G. Larsen2 and Mads Chr. Olesen2 1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:23:59 Intel MCS-51 Microcontrollers ARM architecture FO Satisfiability Modulo Theories Assembly language Theoretical computer science Applied mathematics Instruction set architectures
622	‫הצהרת מבקש רישיון נהיגה ספורטיבית‬ ‫הריני להצהיר ולהתחייב כדלהלן ‪:‬‬ ‫‪ .1‬נכון למועד זה‪ ,‬איני פסול מלקבל או מל Add to Reading List Source URL: mcs.gov.il Language: Hebrew - Date: 2011-07-20 04:26:53
623	‫משרד התרבות והספורט‬ ‫הרשות לנהיגה ספורטיבית‬ ‫ת‪.‬ד‪ ,49100 .‬ירושלים‪,‬‬ ‫‪91490‬‬ ‫טופס הסכמה לקבלת רישיון נהיג Add to Reading List Source URL: mcs.gov.il Language: Hebrew - Date: 2011-07-20 04:26:00
624	POWER AND LIMITATIONS OF FORMAL METHODS FOR SOFTWARE FABRICATION Michael Jackson AIT Conference 11th FebruaryINTRODUCTION Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-07 13:28:30 Computing Data Communications protocol Formal specification Logic Actor model Software security assurance Formal sciences Formal methods Science
625	Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:38:32 Formal methods Systems engineering Turing machine Computability theory Problem frames approach Moving frame Frame language Frame Complexity Theoretical computer science Applied mathematics Science
626	requirements Editor: Suzanne Robertson ■ The Atlantic Systems Guild Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-10-07 05:49:04 Systems engineering Software engineering Software documentation Problem frames approach Requirement Software Requirements Specification Software development process Functional requirement Software design Software development Software requirements Software
627	Proc FMEDetermining the specification of a control system from that of its environment Ian J. Hayes1 , Michael A. Jackson 2 , and Cliff B. Jones3 1 Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2003-06-12 14:43:40 Technology Science Systems engineering Control theory Control system Controller Automation Cybernetics Systems science
628	This page intentionally left blank. WHERE DO OPERATIONS COME FROM? A MULTIPARADIGM SPECIFICATION TECHNIQUE Pamela Zave Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2000-11-21 12:36:50 Icon Control theory Computer Science Software Computing Mouse GUI widget
629	Microsoft Word - Simp&Comp.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:55:52 Holism Computer programming Diagrams Computational complexity theory Complex systems theory Complexity Programming language Subroutine Reduction Computing Theoretical computer science Software engineering
630	Microcontroller based System Design Objective: The objective of this project is to design a Microcontroller based trainer kit with provisions for Port Access, Serial and Parallel Interfacing with the PC. An onboard ADC i Add to Reading List Source URL: www.tuxmaniac.com Language: English - Date: 2009-09-27 10:39:46 Computer hardware Serial port Intel MCS-51 RS-232 Analog-to-digital converter Programmer Atmel AVR PICAXE Microcontrollers Electronics Electronic engineering

UPDATE