Search Results for Software Engineering.

1.

Cover image for OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Author

Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

Author

Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

Author

Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Author

Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Author

Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

Author

Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Author

Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Author

Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Author

Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Author

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Author

Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Author

Pesant, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Author

Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Author

Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Author

de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Author

Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Author

Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Author

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Author

Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Author

Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Author

Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Author

Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers

Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers

Author

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Author

Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

Author

DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Author

Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54338-8

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Author

Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Author

Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Author

Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

Author

Jones, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Author

Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Author

O'Sullivan, Barry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

Author

Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

Author

Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Author

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Author

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

Author

Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55149-9

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Author

Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Author

Garrigue, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Author

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Oracle database performance and scalability : a quantitative approach

Author

Liu, Henry H.

Preferred Shelf Number

QA76.9.D3 L5945 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

42.

Enterprise software architecture and design entities, services, and resources

Author

Duggan, Dominic.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323

Format:

Availability

Online Library~1

Available:
Copies:

43.

Antipatterns : managing software organizations and people

Author

Neill, Colin J., author. Laplante, Phillip A. DeFranco, Joanna F.

Preferred Shelf Number

QA76.76 .D47 L385 2011

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

44.

Software performance and scalability a quantitative approach

Author

Liu, Henry H. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=33731
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916
John Wiley http://dx.doi.org/10.1002/9780470465394
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539
MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc

Format:

Availability

Online Library~1

Available:
Copies:

45.

Microstructural characterization of materials

Author

Brandon, D. G. Kaplan, Wayne D. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Online text
http://onlinelibrary.wiley.com/book/10.1002/9780470727133
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=470287
John Wiley http://dx.doi.org/10.1002/9780470727133
MyiLibrary, Table of contents http://www.myilibrary.com?id=234294&ref=toc

Format:

Availability

Online Library~1

Available:
Copies:

46.

Documenting software architectures : views and beyond

Author

Clements, Paul, 1955-

Preferred Shelf Number

QA76.9 A73 D63 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

47.

Trustworthy compilers

Author

Safonov, V. O. (Vladimir Olegovich)

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=35179
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=485634
John Wiley http://dx.doi.org/10.1002/9780470593387
http://site.ebrary.com/lib/alltitles/Doc?id=10366446

Format:

Availability

Online Library~1

Available:
Copies:

48.

Software Process Modeling

Author

Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

Author

Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Autonomy Requirements Engineering for Space Missions

Author

Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Semantic Web: Concepts, Technologies and Applications

Author

Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-710-7

Format:

Availability

Online Library~1

Available:
Copies:

52.

Recent Advances in Data and Algorithms for e-Government

Author

Gaie, Christophe. editor. Mehta, Mayuri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Requirements engineering for safety-critical systems

Author

Martins, Luiz Eduardo G., author. Gorschek, Tony, author.

Preferred Shelf Number

TA169.7

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003339274
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Author

Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Agent Technology from a Formal Perspective

Author

Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-271-3

Format:

Availability

Online Library~1

Available:
Copies:

56.

The secret world of flexagons : fascinating folded paper puzzles

Author

Sherman, Scott (Software engineering architect), author. Elran, Yossi, 1967- author. Schwartz, Ann, author.

Preferred Shelf Number

QA95

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003433538
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

57.

Aligning Organizations Through Measurement The GQM+Strategies Approach

Author

Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Software Process Definition and Management

Author

Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Foundations of probabilistic logic programming : languages, semantics, inference and learning

Author

Riguzzi, Fabrizio, author.

Preferred Shelf Number

QA76.63

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003427421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

60.

Software and systems architecture in action

Author

Sangwan, Raghvinder S., author.

Preferred Shelf Number

QA76.9 .A73 S29 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

61.

Software metrics : a rigorous and practical approach

Author

Fenton, Norman E., 1956, author. Bieman, James, author.

Preferred Shelf Number

QA76.758 .F46 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

62.

Leveraging the wisdom of the crowd in software testing

Author

Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.

Preferred Shelf Number

QA76.76 .T48 S53 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

63.

Software designers in action : a human-centric look at design work

Author

Petre, Marian, 1959- editor. of compilation. Hoek, Andre van der, 1971- editor. of compilation.

Preferred Shelf Number

QA76.76 .D47 S6185 2014

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

64.

Software essentials : design and construction

Author

Dingle, Adair, author.

Preferred Shelf Number

QA76.76 .D47 D545 2014

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

Author

Trendowicz, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Building enterprise systems with ODP : an introduction to open distributed processing

Author

Linington, Peter F., author.

Preferred Shelf Number

QA76.9 .D5 L56 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

67.

The ScrumMaster study guide

Author

Schiel, James., author.

Preferred Shelf Number

QA76.76 .D47 S2956 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

68.

Tcl/Tk a developer's guide

Author

Flynt, Clif.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780123847171

Format:

Availability

Online Library~1

Available:
Copies:

69.

Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB

Author

Thiagarajan, Jayaraman Jayaraman. Spanias, Andreas.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440470

Format:

Availability

Online Library~1

Available:
Copies:

70.

MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016

Author

Ramamurthy, Karthikeyan N. Spanias, Andreas.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440314

Format:

Availability

Online Library~1

Available:
Copies:

71.

Enterprise-scale agile software development

Author

Schiel, James., author.

Preferred Shelf Number

QA76.76 .D47 S2957 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

72.

Building software : a practitioner's guide

Author

Krishnamurthy, Nikhilesh., author. Saran, Amitabh.

Preferred Shelf Number

QA76.76 .D47 K734 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

73.

Global software development handbook

Author

Sangwan, Raghvinder.

Preferred Shelf Number

QA76.76 .D47 G587 2007

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

74.

Software measurement and estimation a practical approach

Author

Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896

Format:

Availability

Online Library~1

Available:
Copies:

75.

Unit testing in Java how tests drive the code

Author

Link, Johannes. Frlich, Peter.

Preferred Shelf Number

ONLINE

Electronic Access

Volltext http://www.sciencedirect.com/science/book/9781558608689

Format:

Availability

Online Library~1

Available:
Copies:

76.

Semantic technologies for intelligent industry 4.0 applications

Author

Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.

Preferred Shelf Number

T59.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003441137
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

77.

Semantic web technologies : research and applications

Author

Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor. Bhushan, Bharat, 1989- editor.

Preferred Shelf Number

TK5105.88815

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003309420
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

78.

Data science with semantic technologies. Deployment and exploration

Author

Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.

Preferred Shelf Number

QA76.9 .B45

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003310792
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

79.

Data science with semantic technologies. New trends and future developments

Author

Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.

Preferred Shelf Number

QA76.9 .B45

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003310785
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

80.

AI and emerging technologies : automated decision making, digital forensics and ethical considerations

Author

Pokhariyal, Purvi. Patel, Archana (Lecturer in software engineering) Pandey, Shubham.

Preferred Shelf Number

Q334

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003501152
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

81.

Optimizing smart and sustainable agriculture for sustainability

Author

Acharya, Biswa Ranjan, editor. Bansal, Ankita, editor. Jain, Abha (Professor of software engineering), editor. Jain, Rachna (Professor of information technology), editor. Rodrigues, Joel, 1972- editor.

Preferred Shelf Number

S494.5 .D3

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003628392
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

82.

Machine learning in healthcare and security : advances, obstacles, and solutions

Author

Pranav, Prashant, editor. Patel, Archana (Lecturer in software engineering), editor. Jain, Sarika, editor.

Preferred Shelf Number

R859.7 .A78

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003388845
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

83.

Information security management handbook

Author

Tipton, Harold F. Krause, Micki.

Preferred Shelf Number

QA76.9 .A25 I54165 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

84.

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

Author

Hobbs, Chris (Christopher W.)

Preferred Shelf Number

QA76.76 .D47

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003598145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

85.

Using Amazon bedrock : learn to architect, secure and optimize generative AI applications on AWS

Author

Gondosubroto, Renaldi, author.

Preferred Shelf Number

Q336 .G66 2026

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems

Author

Hasuo, Ichiro editor Ishikawa, Fuyuki editor

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

87.

Get Into game dev : tech interview tactics

Author

Ventures, Matthew, author.

Preferred Shelf Number

GV1469.3

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003565550
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

88.

Strategic software quality management : how to incorporate sustainable continuous improvement practices

Author

Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.

Preferred Shelf Number

QA76.76 .Q35

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003491606
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

89.

The data science handbook

Author

Cady, Field, 1984- author.

Preferred Shelf Number

QA76.9 .D32 C33 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Microbial colorants : chemistry, biosynthesis and applications

Preferred Shelf Number

TP919 .M53 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

R programming for mass spectrometry : effective and reproducible data analysis

Author

Julian, Randall K., author.

Preferred Shelf Number

QD96 .M3 J85 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Alice and Bob learn secure coding

Author

Janca, Tanya. author.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

RF and microwave engineering : fundamentals of wireless communications

Author

Gustrau, Frank, author.

Preferred Shelf Number

TK6560 .G87 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

AI-based advanced optimization techniques for edge computing

Author

Mohit, Kumar, editor.

Preferred Shelf Number

QA76.583 .A33 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Securing the AWS cloud : a guide for learning to secure AWS infrastructure

Author

Carroll, Brandon, author.

Preferred Shelf Number

TK5105.88813 .C37 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

Author

Arif, Tariq M., author. John Wiley & Sons, publisher.

Preferred Shelf Number

Q325.73 .A75 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Materials and processes used in aircraft construction

Author

Fink, Johannes Karl, author.

Preferred Shelf Number

TL698 .F56 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Sustainable resource management in next-generation computational constrained networks

Author

Dash, Subhasis, editor.

Preferred Shelf Number

TK5105.5 .S87 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Green computational intelligence : sustainable strategies and emerging technologies

Author

Pathak, Nitish, editor.

Preferred Shelf Number

QA76.9 .E58 G74 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Model based system engineering : theoretical foundations

Author

Koudri, Ali, author.

Preferred Shelf Number

TA168

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Fundamentals of VHDL for FPGA programming using Vivado

Author

Pakdel, Majid, author.

Preferred Shelf Number

TK7885.7

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

DATA SCIENCE AND MACHINE LEARNING APPLICATIONS IN SUBSURFACE ENGINEERING

Author

Otchere, Daniel Asante.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003366980
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

103.

Mastering project discovery : successful discipline in engineering and analytics projects

Author

Bendoly, Elliot, author.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003427650
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

104.

Introduction to chemical engineering

Author

Land, C. M. van 't, 1937- author.

Preferred Shelf Number

TP155 .L26 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Partition of unity methods

Author

Bordas, Stéphane P.A., author. Menk, Alexander, author. Natarajan, Sundararajan, author.

Preferred Shelf Number

TA347 .F5 B67 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Machine and deep learning using MATLAB : algorithms and tools for scientists and engineers

Author

Al-Malah, Kamal I. M., author.

Preferred Shelf Number

TA345.5 .M42 A46 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cybernetical intelligence : engineering cybernetics with machine intelligence

Author

Wong, Kelvin K. L., author.

Preferred Shelf Number

Q325.5 .W637 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Human cancer diagnosis and detection using exascale computing

Author

Joshi, Kapil, editor Gupta, Somil Kumar, editor

Preferred Shelf Number

RC270 .H85 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Light sheet fluorescence microscopy

Author

Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.

Preferred Shelf Number

QH212 .F55

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Simulation techniques of digital twin in real-time applications : design modeling and implementation

Author

Anand, Abhineet, editor.

Preferred Shelf Number

QA76.9 .C65 S56 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

How machine learning is innovating today's world : a concise technical guide

Author

Dey, Arindam, editor.

Preferred Shelf Number

Q325.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Optimized computational intelligence driven decision-making : theory, application and challenges

Preferred Shelf Number

Q342 .O68 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Programming with GitHub Copilot : Write Better Code--Faster!

Author

Dowswell, Kurt, author.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Discrete-event simulation : concepts and production in arena

Author

Jerbi, Abdessalem, author.

Preferred Shelf Number

T57.62 .J47 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

The accidental CIO : a lean and agile playbook for IT leaders

Author

Millett, Scott, author.

Preferred Shelf Number

HD30.2 .M55 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Deep learning tools for predicting stock market movements

Author

Sharma, Renuka, editor. Mehta, Kiran, editor.

Preferred Shelf Number

HG4661 .D44 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Mathematical modeling and simulation : introduction for scientists and engineers

Author

Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.

Preferred Shelf Number

QA401 .V38 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Reshaping intelligent business and industry : convergence of AI and IoT at the cutting edge

Author

Dahiya, Neeraj, editor. Jaglan, Vivek. Koundal, Deepika. Le, Dac-Nhuong.

Preferred Shelf Number

HD45 .R47 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Advances in additive manufacturing

Author

Kunar, Sandip, editor.

Preferred Shelf Number

TS183.25 .A48 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022

Author

Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-3035-5

Format:

Availability

Online Library~1

Available:
Copies:

121.

ITNG 2023 20th International Conference on Information Technology-New Generations

Author

Latifi, Shahram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Society 5.0 Cyber-Solutions for Human-Centric Technologies

Author

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

From Blockchain to Web3 & Metaverse

Author

Huang, Huawei. editor. Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Zheng, Zibin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Innovations in Information and Communication Technologies Proceedings of ICIICT 2022

Author

Garg, Deepak. editor. Kumar, Neeraj. editor. Iqbal, Rahat. editor. Gupta, Suneet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-3796-5

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for Applications in Electronics and Computing Systems Proceedings of the 4th International Conference on Applications in Electronics and Computing Systems AECS-2022

Applications in Electronics and Computing Systems Proceedings of the 4th International Conference on Applications in Electronics and Computing Systems AECS-2022

Author

Dantsevich, Igor. editor. Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022

Author

Unhelkar, Bhuvan. editor. Pandey, Hari Mohan. editor. Agrawal, Arun Prakash. editor. Choudhary, Ankur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Information and Communication Technologies and Sustainable Development Advanced Approaches and Innovations in Up-to-Date Networks and Systems

Information and Communication Technologies and Sustainable Development Advanced Approaches and Innovations in Up-to-Date Networks and Systems

Author

Dovgyi, Stanislav. editor. Trofymchuk, Oleksandr. editor. Ustimenko, Vasyl. editor. Globa, Larysa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2

Author

Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-3091-3

Format:

Availability

Online Library~1

Available:
Copies:

131.

Intelligent Software Defect Prediction

Author

Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2842-2

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023

Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023

Author

Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

A Software Development Approach for Driving Competitiveness in Small Firms

Author

Chevers, Delroy A., author.

Preferred Shelf Number

HD2341

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003388944
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

134.

A pragmatic programmer for machine learning : engineering analytics and data science solutions

Author

Scutari, Marco, author. Malvestio, Mauro, author.

Preferred Shelf Number

Q325.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429292835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

Author

Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2356-4

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2446-2

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

Author

Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

Author

Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

Author

Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

Author

Pesado, Patricia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings

Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings

Author

van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

Author

Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Author

Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Author

Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

Author

Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Author

Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022

Author

Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-5443-6

Format:

Availability

Online Library~1

Available:
Copies:

148.

Intelligent Sustainable Systems Selected Papers of WorldS4 2022, Volume 2

Author

Nagar, Atulya K. editor. Singh Jat, Dharm. editor. Mishra, Durgesh Kumar. editor. Joshi, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7663-6

Format:

Availability

Online Library~1

Available:
Copies:

149.

Experience of PYNQ Tutorials for PYNQ-Z2

Author

Sun, Songlin. editor. Zou, Jiaqi. editor. Zou, Zixuan. editor. Wang, Shaokang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9072-4

Format:

Availability

Online Library~1

Available:
Copies:

150.

Developments and Advances in Defense and Security Proceedings of MICRADS 2022

Author

Rocha, Álvaro. editor. Fajardo-Toro, Carlos Hernan. editor. Riola, José María. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7689-6

Format:

Availability

Online Library~1

Available:
Copies:

151.

Trends in Educational Activity in the Field of Mechanism and Machine Theory (2018-2022) Selected Papers from ISEMMS 2022

Author

García Prada, Juan Carlos. editor. Castejon, Cristina. editor. Pedrero Moya, Jose Ignacio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Intelligent Sustainable Systems Proceedings of ICISS 2023

Author

Raj, Jennifer S. editor. Perikos, Isidoros. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Handbook of Neuroengineering

Author

Thakor, Nitish V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-16-5540-1

Format:

Availability

Online Library~1

Available:
Copies:

154.

Challenges of Software Verification

Author

Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9601-6

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings

Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings

Author

Hou, Rui. editor. Huang, Huan. editor. Zeng, Deze. editor. Xia, Guisong. editor. A. Ghany, Kareem Kamal. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Uncertainty, Constraints, and Decision Making

Author

Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

Author

van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

Proceedings of Seventh International Congress on Information and Communication Technology ICICT 2022, London, Volume 1

Author

Yang, Xin-She. editor. Sherratt, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-1607-6

Format:

Availability

Online Library~1

Available:
Copies:

161.

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

Author

Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7874-6

Format:

Availability

Online Library~1

Available:
Copies:

162.

Springer Handbook of Augmented Reality

Author

Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers

Author

Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings

Author

Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings

Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings

Author

Gao, Feifei. editor. Wu, Jun. editor. Li, Yun. editor. Gao, Honghao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Optimising the Software Development Process with Artificial Intelligence

Author

Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9948-2

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

Author

Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III

Author

Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

Author

Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Author

Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Author

Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

Author

Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

Author

Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Author

Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings

Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings

Author

Zhang, Yuchao. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

Author

Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Author

Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Electromechanical coupling theory, methodology and applications for high-performance microwave equipment

Author

Duan, Baoyan, author. Zhang, Shuxin (Professor of electromechanical engineering), author.

Preferred Shelf Number

TK7876 .D83 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

Handbook of flexible and smart sheet forming techniques : Industry 4.0 approaches

Author

Kumar, Ajay, 1986- editor.

Preferred Shelf Number

TS250 .H27 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Handbook of computational sciences : a multi and interdisciplinary approach

Author

Elngar, Ahmed A., editor.

Preferred Shelf Number

QA76 .H36 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Robotic process automation

Author

Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.

Preferred Shelf Number

T59.5 .R63 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Advanced techniques for maintenance modeling and reliability analysis of repairable systems

Author

Sharma, Garima, author. Rai, Rajiv Nandan, author.

Preferred Shelf Number

TA169 .S53 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Quantum computing in cybersecurity

Author

Rawat, Romil, editor.

Preferred Shelf Number

QA76.9 .A25 Q83 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Building information modeling : shared modeling, mutual data, the new art of building

Author

Teulier, Régine, editor Bagieu, Marie, editor

Preferred Shelf Number

TH438.13

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Imaging life : image acquisition and analysis in biology and medicine

Author

Griffing, Lawrence R., 1953- author.

Preferred Shelf Number

R857 .O6 G75 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Flight simulation software : design, development and testing

Author

Allerton, David, author.

Preferred Shelf Number

TL712.5 .A398 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Computer models of process dynamics : from Newton to energy fields

Author

Rubin, Olis, author.

Preferred Shelf Number

QC52 .R83 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cyber-physical-human systems : fundamentals and applications

Author

Annaswamy, Anuradha M., 1956- contributor. Khargonekar, P. (Pramod), contributor. Lamnabhi-Lagarrigue, F. (Françoise), 1953- contributor. Spurgeon, Sarah K., contributor.

Preferred Shelf Number

TA167 .C885 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Agile Software Development : trends, challenges and applications

Author

Hooda, Susheela, editor. Sood, Vandana Mohindru, editor. Singh, Yashwant, editor. Dalal, Sandeep, editor. Sood, Manu, editor.

Preferred Shelf Number

QA76.76 .D47 A55 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Convergence of cloud with AI for big data analytics : foundations and innovation

Author

Rawat, Danda B., 1977- editor. Awasthi, Lalit Kumar, editor. Balas, Valentina Emilia, editor. Kumar, Mohit, editor. Samriya, Jitendra Kumar, editor.

Preferred Shelf Number

QA76.585 .C66 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Software architect

Author

Bell, Michael, author.

Preferred Shelf Number

QA76.754 .B45 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Gamification for resilience : resilient informed decision-making

Author

Gheorghe, Adrian V., author. Katina, Polinpapilinho F., author.

Preferred Shelf Number

HT166 .G487 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWS

Author

Minichino, Joe, author.

Preferred Shelf Number

QA76.585 .M56 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Reverse osmosis

Author

Kucera, Jane, author.

Preferred Shelf Number

TD480.4 .K83 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Advanced concrete technology

Author

Li, Zongjin, 1952- author. Zhou, Xiangming, author. Ma, Hongyan, author. Hou, Dongshuai, author.

Preferred Shelf Number

TP877 .L5 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Handbook of software fault localization : foundations and advances

Author

Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.

Preferred Shelf Number

QA76.76 .F34 H36 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Engineering intelligent systems : systems engineering and design with artificial intelligence, visual modeling, and systems thinking

Engineering intelligent systems : systems engineering and design with artificial intelligence, visual modeling, and systems thinking

Author

Brown, Barclay R., author.

Preferred Shelf Number

TA168 .B76 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Numerical calculations in Clifford algebra : a practical guide for engineers and scientists

Author

Seagar, Andrew, author. John Wiley & Sons, publisher.

Preferred Shelf Number

QA199 .S43 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Wireless communication security : mobile and network security protocols

Author

Bharti, Manisha, editor. Niranjanamurthy, M., editor. Khari, Manju, editor.

Preferred Shelf Number

TK5103.2 .W57 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Systems engineering neural networks

Author

Migliaccio, Alessandro, author. Iannone, Giovanni, author.

Preferred Shelf Number

QA76.87 .M537 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

UML DIAGRAMMING a catalog of cases.

Author

Sundaramoorthy, Suriya, author.

Preferred Shelf Number

QA76.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003287124
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

207.

Python packages

Author

Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.

Preferred Shelf Number

QA76.73 .P98

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003189251
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

208.

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

209.

Yazılım test mühendisinin el kitabı

Author

Gürbüz, Ali.

Preferred Shelf Number

QA76.758 G87 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

210.

Semantic web for effective healthcare systems

Author

Jain, Vishal, editor.

Preferred Shelf Number

TK5105.88815

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Evolving software processes : trends and future directions

Author

Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Handbook of intelligent computing and optimization for sustainable development

Author

Manshahia, Mukhdeep Singh, editor.

Preferred Shelf Number

Q335

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Reliability analysis, safety assessment and optimization : methods and applications in energy systems and other applications

Author

Zio, Enrico, author. Li, Yan-Fu, author.

Preferred Shelf Number

TA169 .Z57 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Operating AI : bridging the gap between technology and business

Author

Jägare, Ulrika, author.

Preferred Shelf Number

HF5548.2 .J34 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Unlocking Agile's missed potential

Author

Webber, Robert (Executive), author.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Advanced analytics and deep learning models

Author

Mire, Archana, editor. Malik, Shaveta, editor. Tyagi, Amit Kumar, editor.

Preferred Shelf Number

Q325.73 .A38 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cyber-physical systems : theory, methodology, and applications

Author

Nardelli, Pedro H. J., author.

Preferred Shelf Number

TJ213 .N37 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Fundamentals and methods of machine and deep learning : algorithms, tools and applications

Author

Singh, Pradeep, editor.

Preferred Shelf Number

Q325.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Multiscale modelling and optimization of materials and structures

Author

Burczyński, Tadeusz, author.

Preferred Shelf Number

QA76.9 .C65 B86 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Software defined networks : architecture and applications

Author

Nayyar, Anand, editor. Nagrath, Preeti, editor. Singla, Bhawna, editor.

Preferred Shelf Number

TK5105.5833 .S64 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Engineering production-grade shiny apps

Author

Fay, Colin, author. Rochette, Sebastien, author. Guyader, Vincent, author. Girard, Cervan, author.

Preferred Shelf Number

QA76.76 .A65 F395 2022

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003029878
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

222.

Corporate cybersecurity : identifying risks and the bug bounty program

Author

Jackson, John (Cybersecurity professional), author.

Preferred Shelf Number

HD30.38 .J34 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Roadmapping extended reality : fundamentals and applications

Author

Alcañiz, Mariano, editor. Sacco, Marco, editor. Tromp, Jolanda G., editor.

Preferred Shelf Number

QA76.9 .H85

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Component-based systems : estimating efforts using soft computing techniques

Author

Seth, Kirti, 1966- author. Seth, Ashish, author. Tripathi, Aprna, author.

Preferred Shelf Number

QA76.758 .S4583 2021

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003013884
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

225.

Yazılım mühendisliği

Author

Sommerville, Ian. Topaloğlu, N. Yasemin.

Preferred Shelf Number

QA76.758 S6619 2021

Format:

Availability

Beytepe Library~2

Available:
Copies:

226.

Yazılımcılar için iş başvuru zamanı : 189 programlama soruları ve çözümleri

Author

McDowell, Gayle Laakmann Çamoğlu, Mina Zeynep.

Preferred Shelf Number

HF5383 M3319 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

227.

SOFTWARE DEVELOPMENT PATTERNS AND ANTIPATTERNS.

Author

Jones, Capers.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003193128
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

228.

Automated vehicles and MaaS : removing the barriers

Author

Williams, Bob (Assistant Commissioner), author.

Preferred Shelf Number

TE228.3 .W54 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cloud technologies : an overview of cloud computing technologies for managers

Author

McHaney, Roger, author.

Preferred Shelf Number

QA76.585

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Design of thermal energy systems

Author

Majumdar, Pradip, 1954- author.

Preferred Shelf Number

TJ808 .M345 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Embedded digital control with microcontrollers : implementation with C and Python

Author

Ünsalan, Cem. Barkana, Duygun E. Gurhan, H. Deniz.

Preferred Shelf Number

TJ223 .P76

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java

Author

Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.

Preferred Shelf Number

QA76.7

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Systems engineering in the fourth industrial revolution : big data, novel technologies, and modern systems engineering

Author

Kenett, Ron, editor. Swarz, Robert S., editor. Zonnenshain, Avigdor, editor.

Preferred Shelf Number

TA168 .S8727 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Computer aided design and manufacturing

Author

Bi, Zhuming, author. Wang, Xiaoqin (Writer on manufacturing), author.

Preferred Shelf Number

TS155.6

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Yazılım test mühendisinin el kitabı

Author

Gürbüz, Ali.

Preferred Shelf Number

QA76.758 G87 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

236.

Chemical reactor design : mathematical modeling and applications

Author

Conesa, Juan A., author.

Preferred Shelf Number

TP157 .C66 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Exploring Arduino® : tools and techniques for engineering wizardry

Author

Blum, Jeremy, author.

Preferred Shelf Number

TJ223 .P76

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Practical machine learning in R

Author

Nwanganga, Frederick Chukwuka. Chapple, Mike, 1975-

Preferred Shelf Number

Q325.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Solar engineering of thermal processes, photovoltaics and wind

Author

Duffie, John A., author. Beckman, William A. Blair, Nate.

Preferred Shelf Number

TJ810 .D84 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Supervisory control and scheduling of resource allocation systems : reachability graph perspective

Author

Huang, Bo, 1980- editor. Zhou, MengChu, editor.

Preferred Shelf Number

T57.77 .S87 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Official Google Cloud Certified Professional Data Engineer study guide

Author

Sullivan, Dan, 1962-

Preferred Shelf Number

QA76.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

Author

Moffat, R. J., author. Henk, Roy W., author.

Preferred Shelf Number

QA279 .M64 2020 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Women of color in tech : a blueprint for inspiring and mentoring the next generation of technology innovators

Author

Tedrick, Susanne.

Preferred Shelf Number

T36

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Applied numerical methods using MATLAB®

Author

Yang, Wŏn-yŏng, 1953- author. Cao, Wenwu, author. Kim, Jaekwon, 1972- author. Park, Kyung W., 1976- author. Park, Ho Hyun, 1964- author.

Preferred Shelf Number

QA297 .Y36 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Power system dynamics with computer-based modeling and analysis

Author

Hase, Yoshihide, 1937- author. Khandelwal, Tanuj, 1977- author. Kameda, Kazuyuki, 1947- author.

Preferred Shelf Number

TK3001 .H37 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Cybercrime investigators handbook

Author

Edwards, Graeme (Financial and cybercrime investigator), author.

Preferred Shelf Number

HV8079 .C65

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Systems engineering : principles and practice

Author

Kossiakoff, Alexander, 1914-2005, author. Seymour, Samuel J., author. Flanigan, David A., author. Biemer, Steven M., author.

Preferred Shelf Number

TA168 .K68 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

$Cover image for Reservoir simulation and well interference : parent-child, multilateral well and fracture interactions$

Reservoir simulation and well interference : parent-child, multilateral well and fracture interactions

Author

Chin, Wilson C. Zhuang, Xiaoying.

Preferred Shelf Number

TN871

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Security engineering : a guide to building dependable distributed systems

Author

Anderson, Ross. http://viaf.org/viaf/sourceID/LC%7cnb2004300232

Preferred Shelf Number

QA76.9 .A25

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

The Electrical Engineering Handbook - Six Volume Set

Author

Dorf, Richard C., editor. Taylor and Francis.

Preferred Shelf Number

R857 .B54

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

251.

Dynamics and control of robotic manipulators with contact and friction

Author

Liu, Shiping, 1971- author. Chen, Gang (Mechanical engineer), author.

Preferred Shelf Number

TJ211.4

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Optical WDM networks : from static to elastic networks

Author

Chadha, Devi, author.

Preferred Shelf Number

TK5103.592 .W38 C53 2019

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

Engineering of submicron particles : fundamental concepts and models

Author

Chakraborty, Jayanta, 1976- author.

Preferred Shelf Number

TA418.78 .C475 2019

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Design technology of synthetic aperture radar

Author

Lu, Jiaguo, 1964- author.

Preferred Shelf Number

TK6592 .S95 L83 2019

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

256.

Exploring security in software architecture and design

Author

Felderer, Michael, editor. Scandariato, Riccardo, editor. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6313-6

Format:

Availability

Online Library~1

Available:
Copies:

257.

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Author

Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers

Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers

Author

Zemmari, Akka. editor. Mosbah, Mohamed. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cryptography and Coding 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings

Author

Albrecht, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35199-1

Format:

Availability

Online Library~1

Available:
Copies:

260.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Author

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers

Author

Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

Author

Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-37959-9

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Author

Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Author

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29662-9

Format:

Availability

Online Library~1

Available:
Copies:

266.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Author

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24258-9

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

Author

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24305-0

Format:

Availability

Online Library~1

Available:
Copies:

268.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Author

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Author

Matsui, Mitsuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Author

Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29959-0

Format:

Availability

Online Library~1

Available:
Copies:

271.

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

Author

Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29962-0

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

Author

Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Author

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Author

Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings

Author

Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692 Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ko, In-Young. editor. (orcid)0000-0002-3843-263X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Author

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Architecture for Blockchain Applications

Author

Xu, Xiwei. author. Weber, Ingo. author. (orcid)0000-0002-4833-5921 Staples, Mark. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

Author

Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Integrating Business Process Models and Rules Empirical Evidence and Decision Framework

Author

Wang, Wei. author. (orcid)0000-0003-2932-4247 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-11809-9

Format:

Availability

Online Library~1

Available:
Copies:

280.

Cover image for Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings

Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings

Author

Coppola, Massimo. editor. (orcid)0000-0002-7937-4157 Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404 D’Agostino, Daniele. editor. (orcid)0000-0003-2649-0071 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13342-9

Format:

Availability

Online Library~1

Available:
Copies:

281.

Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb

Author

Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Author

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Author

Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Reproducible Research in Pattern Recognition Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers

Reproducible Research in Pattern Recognition Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers

Author

Kerautret, Bertrand. editor. Colom, Miguel. editor. Lopresti, Daniel. editor. (orcid)0000-0003-2129-4223 Monasse, Pascal. editor. Talbot, Hugues. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23987-9

Format:

Availability

Online Library~1

Available:
Copies:

285.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Author

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Concise Guide to Software Testing

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Fault Prediction Modeling for the Prediction of Number of Software Faults

Author

Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-7131-8

Format:

Availability

Online Library~1

Available:
Copies:

289.

A Practical Approach to High-Performance Computing

Author

Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Author

Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23696-0

Format:

Availability

Online Library~1

Available:
Copies:

291.

Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions

Author

Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28719-1

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

Author

Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35646-0

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers

Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers

Author

Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Paprzycki, Marcin. editor. (orcid)0000-0002-8069-2152 Bhargava, Bharat. editor. Chhabra, Jitender Kumar. editor. Kaushal, Narottam Chand. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3804-5

Format:

Availability

Online Library~1

Available:
Copies:

294.

Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings

Author

Shen, Bazhong. editor. Wang, Baocang. editor. (orcid)0000-0002-2554-4464 Han, Jinguang. editor. (orcid)0000-0002-4993-9452 Yu, Yong. editor. (orcid)0000-0003-0667-077X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0818-9

Format:

Availability

Online Library~1

Available:
Copies:

295.