Search Results for Models of Computation.

1.

Models of Computation

Yazar

Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Models of Computation for Big Data

Yazar

Akerkar, Rajendra. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91851-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Yazar

Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2340-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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

Yazar

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

Yer Numarası

ONLINE(334564.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

Yazar

Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

Yazar

Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Yazar

Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

Yazar

Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Models of Computation An Introduction to Computability Theory

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-434-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Yazar

Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

Yazar

Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

Yazar

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

Yazar

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11750321

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Theory of Computation Automata, Formal Languages, Computation and Complexity

Yazar

Chowdhary, K.R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6234-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Yazar

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90062-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Yazar

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90065-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72044-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Biological Computing

Yazar

Xu, Jin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-3870-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97573-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97567-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97570-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97554-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97557-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97564-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Principle of Petri Nets

Yazar

Yuan, Chongyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7336-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

Yazar

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-82670-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

Yazar

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-82697-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

An Introduction to Theory of Computation An Algorithmic Approach

Yazar

Ogihara, Mitsunori. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Yazar

Platz, Roland. editor. (orcid)0000-0001-5800-5742 Flynn, Garrison. editor. Neal, Kyle. editor. (orcid)0000-0001-7880-1498 Ouellette, Scott. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37003-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Yazar

Downey, Rod. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-53744-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Advanced Spiking Neural P Systems Models and Applications

Yazar

Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-5280-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Yazar

Stützle, Thomas. editor. Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57712-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Yazar

Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57430-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63751-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63772-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63775-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63759-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63783-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Spiking Neural P Systems Theory, Applications and Implementations

Yazar

Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9282-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings

Yazar

Maedche, Alexander. editor. vom Brocke, Jan. editor. Hevner, Alan. editor. (orcid)0000-0003-4953-3900 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59144-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Artificial Intelligence and Economic Theory: Skynet in the Market

Yazar

Marwala, Tshilidzi. author. Hurwitz, Evan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66104-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Yazar

Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66700-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Conceptual Modeling Perspectives

Yazar

Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions

Yazar

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Yazar

Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58472-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Yazar

Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58475-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

Yazar

Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-43669-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Software Engineering: Specification, Implementation, Verification

Yazar

Alagić, Suad. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61518-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Pervasive Computing Engineering Smart Systems

Yazar

Silvis-Cividjian, Natalia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

Yazar

Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54157-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Yazar

Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54325-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Modern Language Models and Computation Theory with Applications

Yazar

Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Theory of Reversible Computing

Yazar

Morita, Kenichi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-4-431-56606-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Yazar

Tryfonas, Theo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Social Media Processing 6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017, Proceedings

Yazar

Cheng, Xueqi. editor. Ma, Weiying. editor. Liu, Huan. editor. Shen, Huawei. editor. Feng, Shizheng. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6805-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Yazar

Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61061-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Provably Correct Systems

Yazar

Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Adventures in Computer Science From Classical Bits to Quantum Bits

Yazar

Moret-Bonillo, Vicente. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64807-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63121-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Self-Aware Computing Systems

Yazar

Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47474-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Forecast Error Correction using Dynamic Data Assimilation

Yazar

Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-39997-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

Yazar

Cardoso, M. Jorge. editor. Arbel, Tal. editor. Melbourne, Andrew. editor. Bogunovic, Hrvoje. editor. Moeskops, Pim. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67561-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Enterprise Architecture at Work Modelling, Communication and Analysis

Yazar

Lankhorst, Marc. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53933-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Yazar

Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68759-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

Yazar

Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

Yazar

Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59740-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings

Yazar

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Hussain, Amir. editor. Luo, Bin. editor. Tan, Kay Chen. editor. Zeng, Yi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

Yazar

Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29954-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Modeling of Tropospheric Delays Using ANFIS

Yazar

Suparta, Wayan. author. Alhasa, Kemal Maulana. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-28437-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Yazar

Torra, Vicenç. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Distributed Simulation A Model Driven Engineering Approach

Yazar

Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-03050-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Yazar

Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32034-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

Yazar

Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-33786-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

Yazar

Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42321-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings

Yazar

Martín-Vide, Carlos. editor. Mizuki, Takaaki. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Yazar

Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40578-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings

Yazar

Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53354-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

Yazar

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41009-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Lucanu, Dorel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44802-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Human Aspects of Information Security, Privacy, and Trust 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Yazar

Tryfonas, Theo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-39381-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Yazar

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44615-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

Yazar

Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-39441-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

Yazar

Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Yazar

Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

Yazar

Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)