Search Results for China.

|

|

|

|

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: Logic design.

Author

SpringerLink (Online service)

(54)

Liu, Zhiming. editor.

(6)

Jacko, Julie A. editor.

(4)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(3)

Fu, Haohuan. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Lees, Michael Harold. editor.

(3)

Li, Jinwen. editor.

(3)

Shi, Yong. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Stephanidis, Constantine. editor.

(3)

Tian, Yingjie. editor.

(3)

Woodcock, Jim. editor.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Cooper, S. Barry. editor.

(2)

Li, Jin. editor.

(2)

Vaidya, Jaideep. editor.

(2)

Zhang, Chengyi. editor.

(2)

Agrawal, Manindra. editor.

(1)

Araki, Keijiro. editor.

(1)

Bi, Yuanguo. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Cai, Zhipeng. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Chen, Danny Z. editor.

(1)

Chen, Gang. editor.

(1)

Chen, Jianer. editor.

(1)

Choy, Oliver C. S. editor.

(1)

Dai, Dong. editor.

(1)

Daniel, Florian. editor.

(1)

Deng, Qingxu. editor.

(1)

Dietz, Hendrik. editor.

(1)

Ditmarsch, Hans. editor.

(1)

Doty, David. editor. (orcid)0000-0002-3922-172X

(1)

Du, Ding-Zhu. editor.

(1)

Duan, Zhenhua. editor.

(1)

Egan, Colin. editor.

(1)

Feng, Xinyu. editor.

(1)

George, Chris W. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Graf, Susanne. editor.

(1)

Grossi, Davide. editor.

(1)

He, Jifeng. editor.

(1)

He, Kun. editor.

(1)

He, Xiangdong. editor.

(1)

Horty, John. editor.

(1)

Horvath, Andras. editor. (orcid)0000-0002-8210-545X

(1)

Hu, Changjun. editor.

(1)

Huang, Huaxin. editor.

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Jesshope, Chris. editor.

(1)

Jiang, Congfeng. editor.

(1)

Jones, Cliff B. editor.

(1)

Ju, Shier. editor.

(1)

Kang, Lishan. editor.

(1)

Lang, Jérôme. editor.

(1)

Lau, Lap Chi. editor.

(1)

Lee, Der-Tsai. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Chao. editor.

(1)

Li, Lian. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Yong. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lu, Pingjing. editor.

(1)

Lu, Pinyan. editor.

(1)

Luo, Qi. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Mir, Salvador. editor.

(1)

Mizoguchi, Riichiro. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nagoya, Fumiko. editor.

(1)

Ng, Wilfred. editor.

(1)

Noble, James. editor.

(1)

Pacuit, Eric. editor.

(1)

Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234

(1)

Qin, Shengchao. editor.

(1)

Ravn, Anders P. editor.

(1)

Reis, Ricardo. editor.

(1)

Roy, Olivier. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Shi, Zhong-Zhi. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Skums, Pavel. editor.

(1)

Storey, Veda C. editor.

(1)

Sturm, Thomas. editor.

(1)

Tian, Cong. editor.

(1)

Trevisan, Luca. editor.

(1)

Trujillo, Juan C. editor.

(1)

Tsui, Chi-Ying. editor.

(1)

Ueda, Kazunori. editor.

(1)

Wang, Jianmin. editor.

(1)

Wang, Yi. editor.

(1)

Weber, Barbara. editor.

(1)

Wu, Junjie. editor. (orcid)0000-0001-5951-8988

(1)

Wu, Yanwen. editor.

(1)

Yang, Wen. editor.

(1)

Yang, Zijiang. editor.

(1)

Ying, Shi. editor.

(1)

Yu, Liyan. editor.

(1)

Zeng, Sanyou. editor.

(1)

Zengler, Christoph. editor.

(1)

Zhang, Fa. editor.

(1)

Zhang, Guochuan. editor.

(1)

Zhang, Kang. editor.

(1)

Zhang, Shihua. editor.

(1)

Zhang, Wenhui. editor.

(1)

Zhang, Zili. editor.

(1)

Zhu, Huibiao. editor.

(1)

Zhu, Zhenzhen. editor.

(1)

Language

(54)

Publication Date

-

(15)

(10)

(9)

(5)

(4)

(3)

(3)

(2)

(2)

(1)

Subject

Computer science.

(46)

Software engineering.

(32)

Artificial intelligence.

(19)

Computer Communication Networks.

(18)

Computer software.

(13)

Information theory.

(11)

Computer network architectures.

(9)

Information storage and retrieval systems.

(9)

Multimedia systems.

(8)

Computational complexity.

(7)

Logics and Meanings of Programs.

(7)

Operating systems (Computers).

(7)

Computer security.

(4)

Computer simulation.

(4)

Algebra -- Data processing.

(3)

Data structures (Computer science).

(3)

Information systems.

(3)

Logic, Symbolic and mathematical.

(3)

Social sciences -- Data processing.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Arithmetic and Logic Structures.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Bioinformatics.

(2)

Computer communication systems.

(2)

Computer system performance.

(2)

Computer vision.

(2)

Discrete Mathematics in Computer Science.

(2)

Management of Computing and Information Systems.

(2)

Mathematical Logic and Formal Languages.

(2)

Memory Structures.

(2)

Memory management (Computer science).

(2)

Performance and Reliability.

(2)

Processor Architectures.

(2)

Theory of Computation.

(2)

Business Information Systems.

(1)

(1)

Computation by Abstract Devices.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer aided design.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures, Cryptology and Information Theory.

(1)

(1)

Data protection.

(1)

Data transmission systems.

(1)

Database management.

(1)

Discrete groups.

(1)

(1)

Economics/Management Science.

(1)

Information Storage and Retrieval.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems.

(1)

Management information systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Simulation and Modeling.

(1)

Symbolic and Algebraic Manipulation.

(1)

Material Type

Shelf Location

Electronic Library

Library

{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

54 Results Found

Subscribe to search results

1 2 3 4 5

000000000000DEFAULT

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.

13.

Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Author

Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90104-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93713-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93701-4

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93698-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Author

Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1026-3

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333558.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32341-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.

Preferred Shelf Number

ONLINE(334080.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35898-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Author

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334564.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38236-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334840.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39718-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40948-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Author

Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334904.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11