Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF Author: P.S. Thiagarajan
Publisher: Springer
ISBN: 3540466746
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.

Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF Author: P.S. Thiagarajan
Publisher: Springer
ISBN: 3540466746
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.

Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF Author: P.S. Thiagarajan
Publisher: Springer
ISBN: 9783540466741
Category : Computers
Languages : en
Pages : 0

Get Book Here

Book Description


Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF Author: P.S. Thiagarajan
Publisher: Springer
ISBN: 9783540668565
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.

Business Applications and Computational Intelligence

Business Applications and Computational Intelligence PDF Author: Kevin E. Voges
Publisher: IGI Global
ISBN: 1591407044
Category : Computers
Languages : en
Pages : 481

Get Book Here

Book Description
"This book deals with the computational intelligence field, particularly business applications adopting computational intelligence techniques"--Provided by publisher.

Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF Author: P.S. Thiagarajan
Publisher: Springer
ISBN: 9783540668565
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures PDF Author:
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 416

Get Book Here

Book Description


Mathematical Reviews

Mathematical Reviews PDF Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 732

Get Book Here

Book Description


ACM SIGPLAN Notices

ACM SIGPLAN Notices PDF Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 708

Get Book Here

Book Description


CONCUR ...

CONCUR ... PDF Author:
Publisher:
ISBN:
Category : Machine theory
Languages : en
Pages : 640

Get Book Here

Book Description


Advances in Database Technology

Advances in Database Technology PDF Author:
Publisher:
ISBN:
Category : Database management
Languages : en
Pages : 572

Get Book Here

Book Description