Search Results for Computer science

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Formal methods (Computer science)

Author

Nordiana Abdul Halim

(2)

Alur, Rajeev, 1966- author

(1)

Cong-Vinh, Phan

(1)

Cooke, John, 1947-

(1)

Fitzgerald, John, 1965-

(1)

Frappier, Marc, 1965-

(1)

Gabbar, Hossam A

(1)

(1)

Hinchey, Michael G. (Michael Gerard), 1969-

(1)

(1)

(1)

(1)

(1)

Monin, Jean-Francois

(1)

(1)

Rouff , Christopher A.

(1)

Roux, Olivier H.

(1)

(1)

Taibi, Toufik, 1969-

(1)

Thornton, Mitchell Aaron

(1)

Language

(15)

(2)

Format

(15)

(1)

Electronic Resources

(1)

Material Type

Closed Access Thesis

Open Access Book

UTM Special Collection - Computer File

Subject

Computer software -- Development

(4)

(3)

Electronic data processing -- Distributed processing

(2)

Inventory control -- Data processing

(2)

Automatic control

(1)

Autonomic computing

(1)

Computer networks

(1)

Computer software -- Specification

(1)

Computer software -- Verification

(1)

Embedded Internet devices

(1)

Embedded computer systems -- Design and construction

(1)

Embedded computer systems -- Programming

(1)

Formal methods (Computer science) -- Industrial applications

(1)

Integrated circuits -- Computer simulation

(1)

Integrated circuits -- Verification

(1)

Intelligent agents (Computer software)

(1)

Intelligent agents(Computer software) -- Design

(1)

Internet of things

(1)

Object-oriented methods (Computer science)

(1)

Object-oriented programming (Computer science)

(1)

Real-time data processing

(1)

Software architecture

(1)

Software patterns

(1)

Statecharts (Computer science)

(1)

Thermal analysis -- Methodology

(1)

Thermal conductivity

(1)

Thermoelastic stress analysis -- Methodology

(1)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

17 Results Found

Subscribe to search results

1 2

000000000000MAIN

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Principles of cyber-physical systems

Principles of cyber-physical systems

by

Alur, Rajeev, 1966- author

Author

Alur, Rajeev, 1966- author

Format:

Call Number

TJ213 A58 2015

Publisher

The MIT Press,

Publication Date

2015

ISBN

9780262029117

Available:
Holds:
Copies:

SD_ILS:852166

2.

Cover image for Formal and practical aspects of autonomic computing and networking : specification, development, and verification

Formal and practical aspects of autonomic computing and networking : specification, development, and verification

by

Cong-Vinh, Phan

Author

Cong-Vinh, Phan

Format:

Call Number

QA76.9.A97 F67 2012 f

Publisher

Information Science Reference,

Publication Date

2012

ISBN

9781609608453

Available:
Holds:
Copies:

SD_ILS:772552

3.

Cover image for Communicating embedded systems : software and design : formal methods

Communicating embedded systems : software and design : formal methods

Communicating embedded systems : software and design : formal methods

by

Jard, Claude

Author

Jard, Claude, Roux, Olivier H.

Format:

Call Number

TK7895.E42 C664 2010

Publisher

ISTE ; John Wiley and Sons,

Publication Date

2010

ISBN

9781848211438

Available:
Holds:
Copies:

SD_ILS:627160

4.

Cover image for Digital system verification : a combined formal methods and simulation framework

Digital system verification : a combined formal methods and simulation framework

Digital system verification : a combined formal methods and simulation framework

by

Li, Lun, 1970-

Author

Li, Lun, 1970-, Thornton, Mitchell Aaron

Format:

Call Number

TK7874.58 L53 2010

Publisher

Morgan & Claypool Publishers,

Publication Date

2010

ISBN

9781608451784 9781608451791

Available:
Holds:
Copies:

SD_ILS:764902

5.

Cover image for Practical UML statecharts in C/C++ : event-driven programming for embedded systems

Practical UML statecharts in C/C++ : event-driven programming for embedded systems

by

Samek, Miro

Author

Samek, Miro

Format:

Call Number

QA76.9.S88 S35 2009

Edition

2nd ed.

Publisher

Newnes/Elsevier,

Publication Date

2009

ISBN

9780750687065

Available:
Holds:
Copies:

SD_ILS:316412

6.

Cover image for Modeling and verification of real-time systems

Modeling and verification of real-time systems

Modeling and verification of real-time systems

by

Navet, Nicolas

Author

Navet, Nicolas

Format:

Call Number

QA76.54 M62 2008

Publisher

Wiley-ISTE,

Publication Date

2008

ISBN

9781848210134

Available:
Holds:
Copies:

SD_ILS:287408

7.

Cover image for Design patterns formalization techniques

Design patterns formalization techniques

by

Taibi, Toufik, 1969-

Author

Taibi, Toufik, 1969-

Format:

Call Number

QA76.76.P37 D47 2007

Publisher

IGI Publishing,

Publication Date

2007

ISBN

9781599042190

Available:
Holds:
Copies:

SD_ILS:284660

8.

Cover image for Software specification methods

Software specification methods

by

Habrias, Henri

Author

Habrias, Henri, Frappier, Marc, 1965-

Format:

Call Number

QA76.9.F67 S63 2006

Publisher

ISTE Publishing Company,

Publication Date

2006

ISBN

9781905209347

Available:
Holds:
Copies:

SD_ILS:209620

9.

Cover image for A pragmatic introduction to the finite element method for thermal and stress analysis

A pragmatic introduction to the finite element method for thermal and stress analysis

A pragmatic introduction to the finite element method for thermal and stress analysis

by

Krysl, Petr

Author

Krysl, Petr

Format:

Call Number

QA76.9.F67 K79 2006

Publisher

World Scientific Publishing Company,

Publication Date

2006

ISBN

9789812568762

Available:
Holds:
Copies:

SD_ILS:145566

10.

Cover image for Modern formal methods and applications

Modern formal methods and applications

Modern formal methods and applications

by

Gabbar, Hossam A

Author

Gabbar, Hossam A

Format:

Call Number

QA76.9.F67 M62 2006

Publisher

Springer,

Publication Date

2006

ISBN

9781402042225 9781402042232

Available:
Holds:
Copies:

SD_ILS:143394

11.

Cover image for Agent technology from a formal perspective

Agent technology from a formal perspective

by

Rouff , Christopher A.

Author

Rouff , Christopher A., Hinchey, Michael G. (Michael Gerard), 1969-

Format:

Call Number

QA76.76 I58 A36 2006

Publisher

Springer-Verlag

Publication Date

2006

ISBN

9781852339470

Available:
Holds:
Copies:

SD_ILS:470540

12.

Cover image for Validated designs for object-oriented systems

Validated designs for object-oriented systems

by

Fitzgerald, John, 1965-

Author

Fitzgerald, John, 1965-

Format:

Call Number

QA76.9.O35 V34 2005

Publisher

Springer-Verlag,

Publication Date

2005

ISBN

9781852338817

Available:
Holds:
Copies:

SD_ILS:254763

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

© Universiti Teknologi Malaysia Libraries, 81310 UTM Johor Bahru, Johor Darul Takzim , Malaysia.

Phone: +607-5533333, Fax: +607-5572555, e-mail : PSZ-ENQUIRY@GROUPS.UTM.MY

Disclaimer : Universiti Teknologi Malaysia and UTM Libraries shall not be liable for any loss or damage caused by the usage of any information obtained from this website.
Best viewed using Google Chrome (1024 x 768).

Copyright 2017 Sirsi Corporation - Enterprise Version 5.0.0.1