Search Results for China.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Logic design.

Yazar

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)

Tümünü genişlet

Dil

(54)

Yayın Yılı

-

(15)

(10)

(9)

(5)

(4)

(3)

(3)

(2)

(2)

(1)

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

54 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

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

1.

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings için kapak resmi

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

Yazar

Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings için kapak resmi

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Yazar

He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures için kapak resmi

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Yazar

George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74964-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I için kapak resmi

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Yazar

Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73279-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II için kapak resmi

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Yazar

Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73281-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III için kapak resmi

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Yazar

Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73283-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings için kapak resmi

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Yazar

Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings için kapak resmi

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Yazar

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75292-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I için kapak resmi

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Yazar

Jacko, Julie A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73105-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II için kapak resmi

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Yazar

Jacko, Julie A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73107-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III için kapak resmi

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Yazar

Jacko, Julie A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73110-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV için kapak resmi

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

Yazar

Jacko, Julie A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73111-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11