Search Results for Scientists.

1.

Logic for Computer Scientists

Yazar

Schöning, Uwe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-4763-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Fractional Calculus for Scientists and Engineers

Yazar

Ortigueira, Manuel Duarte. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0747-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Yazar

Polkowski, Lech T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Biologically Inspired Cognitive Architectures (BICA) for Young Scientists Proceedings of the First International Early Research Career Enhancement School on BICA and Cybersecurity (FIERCES 2017)

Yazar

Samsonovich, Alexei V. editor. Klimov, Valentin V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Yazar

Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Yazar

Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-446-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Guide to HTML, JavaScript and PHP For Scientists and Engineers

Yazar

Brooks, David R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-449-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Patent Law for Computer Scientists Steps to Protect Computer-Implemented Inventions

Yazar

Closa, Daniel. author. Gardiner, Alex. author. Giemsa, Falk. author. Machek, Jörg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Introduction to PHP for Scientists and Engineers Beyond JavaScript

Yazar

Brooks, David R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-237-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

An Introduction to HTML and JavaScript for Scientists and Engineers

Yazar

Brooks, David R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84628-657-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Linear Partial Differential Equations for Scientists and Engineers

Yazar

Myint-U, Tyn. author. Debnath, Lokenath. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-4560-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists

Yazar

Saunders, Sam C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-48538-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land

Yazar

Cohen, William W. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-48278-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Yazar

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Probability Distributions Involving Gaussian Random Variables A Handbook for Engineers and Scientists

Yazar

Simon, Marvin K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-47694-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus

Yazar

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Multi-valued Logic for Decision-Making Under Uncertainty

Yazar

Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R

Yazar

Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-08677-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Yazar

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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:

25.

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Yazar

Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8178-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VII

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8126-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VIII

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8132-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part IX

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8138-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part X

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8141-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XII

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8148-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XV

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8184-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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:

35.

Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms

Yazar

Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-69007-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Creative approaches towards development of computing and multidisciplinary IT solutions for society

Yazar

Bijalwan, Anchit, editor.

Yer Numarası

QA76 .C74 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XI

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8145-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV

Yazar

Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8181-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Anomaly Detection in Video Surveillance

Yazar

Wang, Xiaochun. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-3023-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Applied Assistive Technologies and Informatics for Students with Disabilities

Yazar

Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-0914-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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)