Your search returned 1439 results.

Results
		Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking / Doron Drusinsky by Drusinsky, Doron Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : Newnes, 2006 Other title: Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring and execution-based model checking Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: CD 2217 \| QA76.76.D47 D78 2006. UMPLIB PEKAN (1)Call number: QA76.76.D47 D78 2006. Place hold Log in to add tags Add to cart (remove)
		Modeling and verification of real-time systems : formalisms and software tools / edited by Stephen Merz, Nicolas Navet by Merz, Stephen Navet, Nicolas Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London ; Hoboken, NJ : ISTE/John Wiley, c2008 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.54 .M63 2008. Place hold Log in to add tags Add to cart (remove)
		Model driven engineering for distributed real-time systems : MARTE modeling, model transformations, and their usages / edited by Jean-Philippe Babau ... [et al.] by Babau, Jean-Philippe Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Hoboken, NJ : John Wiley & Sons, c2010 Online resources: Click here to access online Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.A25 M63 2010. Place hold Log in to add tags Add to cart (remove)
		Model-driven development with executable UML / Dragan Milicev by Milicev, Dragan Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Indianapolis, IN : Wiley Pub., Inc., c2009 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.76.D47 M55 2009. Place hold Log in to add tags Add to cart (remove)
		Model-driven development of advanced user interfaces / Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (eds.) by Hussmann, Heinrich Meixner, Gerrit Zuehlke, Detlef Series: Studies in computational intelligence ; 340 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2011 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.U83 M63 2011. Place hold Log in to add tags Add to cart (remove)
		Model driven architecture with executable UML / Chris Raistrick ... [et al.] by Raistrick, Chris Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge : Cambridge Univ. Press, 2004 Other title: Model driven architecture with executable UML Online resources: Click here to access online Click here to access online Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: CD 1690 \| QA76.76.D47 M63 2004. UMPLIB PEKAN (1)Call number: QA76.76.D47 M63 2004. Place hold Log in to add tags Add to cart (remove)
		Mobile speech and advanced natural language solutions / Amy Neustein, Judith A. Markowitz, editors by Neustein, Amy Markowitz, Judith A Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: New York, NY : Springer, 2013 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: TK7895.S65 M63 2013. Place hold Log in to add tags Add to cart (remove)
		Mobile robots : the evolutionary approach / Nadia Nedjah, Leandro dos Santos Coelho, Luiza de Macedo Mourelle (eds.) by Nedjah, Nadia Macedo Mourelle, Luiza de Coelho, Leandro dos Santos Series: Studies in computational intelligence ; v. 50 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, c2007 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: TJ211.415 .M63 2007. Place hold Log in to add tags Add to cart (remove)
		Mobile computing principles : designing and developing mobile applications with UML and XML / Reza B'Far ; foreword by Roy T. Fielding. by B'Far, Reza Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: United Kingdom: Cambridge University Press, 2004 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA 76.59 .B43 2004. Place hold Log in to add tags Add to cart (remove)
		Mobile and web innovations in systems and service-oriented engineering / Dickson K.W. Chiu by Chiu, Dickson K.W Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Hershey, PA : Information Science Reference, c2013 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: TA168 .C45 2013 f. Place hold Log in to add tags Add to cart (remove)
		No cover image available Mining students' data with Hollad model using neural network and logistic regression / Noorlin binti Mohd Ali by Noorlin Mohd Ali Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Sintok, Kedah : Faculty of Information Technology, University of Utara Malaysia, 2005 Dissertation note: Thesis (Master of Science (Intelligent Systems)) 2005 Availability: Items available for reference: UMPLIB PEKAN: Not for loan (1)Call number: QA76.9.D343 N66 2005 rs Thesis. Log in to add tags Add to cart (remove)
		Mining graph data / edited by Diane J. Cook, Lawrence B. Holder by Cook, Diane J, 1963- Holder, Lawrence B, 1964- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, NJ : Wiley-Interscience, c2007 Online resources: Click here to access online Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.D343 M52 2007. Place hold Log in to add tags Add to cart (remove)
		Microsoft Visual C# 2015 : an introduction to object - oriented programming / Joyce Farrell by Farrell, Joyce Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Boston, MA : Cengage Learning, 2016 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.64 .F37 2016. Place hold Log in to add tags Add to cart (remove)
		Microsoft Visual C# 2008 step by step / John Sharp by Sharp, John Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Redmond, Wash. : Microsoft Press, c2008 Other title: Microsoft Visual C# 2008 step by step Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: CD 4122 \| QA76.73.C154 S52 2008. UMPLIB PEKAN (1)Call number: QA76.73.C154 S52 2008. Place hold Log in to add tags Add to cart (remove)
		Microsoft SQL server 2014 query tuning & optimization / Benjamin Nevarez by Nevarez, Benjamin Edition: 1st ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: New York : McGraw-Hill, 2015 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.C55 N48 2015. Place hold Log in to add tags Add to cart (remove)
		Microsoft .Net for programmers / Fergal Grimes by Grimes, Fergal Material type: Text; Literary form: Not fiction ; Audience: General; Publication details: Greenwich, CT: Manning Publications Company, 2002 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.76.M52 G74 2002. Place hold Log in to add tags Add to cart (remove)
		Microsoft copilot for dummies / Chris Minnick by Minnick, Chris [author.] Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Newark, New Jersey : John Wiley & Sons, 2025Copyright date: ©2025 Online resources: Off-Campus link Click here to access (Direct Link) Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.N38 M56 2025. Place hold Log in to add tags Add to cart (remove)
		Microsoft 365 copilot at work : using AI to get the most from your business data and favorite apps / Sandar Van Laan, Jared Matfess, Thomas Flock, Ann Reid by Laan, Sandar Van [author.] Matfess, Jared [author.] Flock, Thomas [author.] Reid, Ann [author.] Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Newark, New Jersey : John Wiley & Sons, 2025Copyright date: ©2025 Online resources: Off-Campus link Click here to access (Direct Link) Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.774.M46 L33 2025. Place hold Log in to add tags Add to cart (remove)
		Methods and procedures for the verification and validation of artificial neural networks / edited by Brian J. Taylor by Taylor, Brian Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: New York : Springer, 2006 Online resources: Click here to access online Availability: Items available for loan: UMPLIB PEKAN (1)Call number: TL1078 .M48 2006. Place hold Log in to add tags Add to cart (remove)
		Metamodelling for software engineering / Cesar Gonzalez- Perez, Brian Henderson-Sellers by Gonzalez-Perez, Cesar A Henderson-Sellers, Brian Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Chichester, UK ; Hoboken, NJ : John Wiley, 2008 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.758 .G66 2008. Place hold Log in to add tags Add to cart (remove)