Search Results for

514 Results Found

1 2 3 4 5 .. 43

000000000000DEFAULT

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

Yapay zeka çağı : dördüncü çağ: akıllı robotlar, bilinçaltı bilgisayarlar ve insanlığın geleceği

Author

Reese, Byron. Doğan, Mihriban.

Preferred Shelf Number

Q335 R4519 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25543-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Broadband Communications, Networks, and Systems 10th EAI International Conference, Broadnets 2019, Xi’an, China, October 27-28, 2019, Proceedings

Broadband Communications, Networks, and Systems 10th EAI International Conference, Broadnets 2019, Xi’an, China, October 27-28, 2019, Proceedings

Author

Li, Qingshan. editor. Song, Shengli. editor. Li, Rui. editor. Xu, Yueshen. editor. Xi, Wei. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36442-7

Format:

Availability

Online Library~1

Available:
Copies:

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Author

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34968-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings

Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings

Author

Lindgren, Ida. editor. (orcid)0000-0002-4735-8697 Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Polini, Andrea. editor. (orcid)0000-0002-2840-7561 Rodríguez Bolívar, Manuel Pedro. editor. (orcid)0000-0001-8959-7664

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27325-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I

Author

Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0108-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30446-1

Format:

Availability

Online Library~1

Available:
Copies:

Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents

Author

Gai, Wenmei. author. Du, Yan. author. Deng, Yunfeng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2871-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings

Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings

Author

Ohara, Kouzou. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30639-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Author

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30690-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Author

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30806-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 43

	{displayName}	{count}
{error}