Limit Search Results
Author
SpringerLink (Online service)
(166)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(171)
Software engineering.
(96)
Computer logic.
(58)
Programming languages (Electronic computers)
(51)
Computer programming.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
237 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
Author 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66673-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
Author 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66676-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
Author 
Scheer, August-Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-43089-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers
Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers
Author 
Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for JavaScript : syntax and practices
JavaScript : syntax and practices
Author 
Tomar, Ravi, author. Dangi, Sarishma, author.
Preferred Shelf Number 
QA76.73 .J39
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003122364
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Her yönüyle C# 10
Her yönüyle C# 10
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A41 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
43. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
44. 
Cover image for The statistical analysis of doubly truncated data : with applications in R
The statistical analysis of doubly truncated data : with applications in R
Author 
Uña-Álvarez, Jacobo de, 1972- author. Moreira, Carla, 1972- author. Crujeiras, Rosa M. (Rosa María), 1978- author.
Preferred Shelf Number 
QH323.5 .U53 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119500469
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Her yönüyle C# 9.0
Her yönüyle C# 9.0
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A40 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
46. 
Cover image for Yeni başlayanlar için kodlama
Yeni başlayanlar için kodlama
Author 
Demirkol, Zafer.
Preferred Shelf Number 
QA268 D365 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
47. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
48. 
Cover image for Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Author 
Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.
Preferred Shelf Number 
QA76.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets