Search Results for Who

1.

More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity

Yazar

Spolsky, Joel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0988-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

Mathematical Tools for Telemedicine

Yazar

Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73709-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Maths For Computing A Beginner's Guide

Yazar

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

A Concise Introduction to Software Engineering With Open Source and GenAI

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web

Yazar

Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-70132-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Yazar

Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2718-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

Yazar

Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Mathematics in Programming

Yazar

Liu, Xinyu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2432-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

Electromagnetic Sources and Electromagnetic Fields

Yazar

Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Structures of Computing A Guide to Practice-Oriented Theory

Yazar

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Yazar

Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Computational Thinking First Algorithms, Then Code

Yazar

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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:

29.

Inside the world of computing : technologies, uses, challenges

Yazar

Delhaye, J.-L. (Jean-Loïc)

Yer Numarası

QA76

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Yazar

Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Augmented Reality Where We Will All Live

Yazar

Peddie, Jon. author. (orcid)0000-0002-3941-1822 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

LaTeX in 24 Hours A Practical Guide for Scientific Writing

Yazar

Datta, Dilip. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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:

34.

Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings

Yazar

R. Devanur, Nikhil. editor. Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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:

37.

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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:

39.

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:

40.

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Yazar

Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Yazar

Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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:

44.

Topics in Grammatical Inference

Yazar

Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-48395-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Computational Autism

Yazar

Galitsky, Boris. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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:

47.

Deductive Software Verification - The KeY Book From Theory to Practice

Yazar

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Yazar

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)