Search Results for Logic design.

5 Results Found

00000DEFAULT

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

Author

Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-33459-0

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Computer Science for Engineering and Education VI

Author

Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36118-0

Format:

Availability

Online Library~1

Available:
Copies:

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014

Author

Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-017-7236-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28525-7

Format:

Availability

Online Library~1

Available:
Copies:

Modern Formal Methods and Applications

Author

Gabbar, Hossam A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4223-X

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}