Search Results for Programming (Electronic computers)

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

193 Results Found

1 2 3 4 5 .. 17

000000000000DEFAULT

13.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Author

Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Author

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Author

Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18744-6

Format:

Availability

Online Library~1

Available:
Copies:

20.

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Author

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21500-2

Format:

Availability

Online Library~1

Available:
Copies:

21.

Introduction to Software Design with Java

Author

Robillard, Martin P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming

Author

Upadhyaya, Bhim P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Author

Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Her yönüyle C# 8.0

Author

Aktaş, Volkan.

Preferred Shelf Number

QA76.73.C154 A39 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 17

	{displayName}	{count}
{error}