Search Results for State.

1.

Windows PowerShell Desired State Configuration Revealed

Yazar

Chaganti, Ravikanth. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4842-0016-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Temporal Logic and State Systems

Yazar

Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68635-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Automotive Systems and Software Engineering State of the Art and Future Trends

Yazar

Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Programming with Actors State-of-the-Art and Research Perspectives

Yazar

Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments

Yazar

Motta, Gianmario. editor. Wu, Bing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Formal Methods: State of the Art and New Directions

Yazar

Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-736-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Yazar

Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

Yazar

Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75755-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

Yazar

Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings

Yazar

Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Software Engineering and Management: Theory and Applications Volume 17

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Security and Privacy in Smart Environments

Yazar

Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Managing Software Supply Chains Theory and Practice

Yazar

Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1797-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Yazar

Feng, Jun. editor. (orcid)0000-0001-9917-1819 He, Songlin. editor. (orcid)0000-0002-7269-5644 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

Yazar

Morazán, Marco T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Yazar

Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Software Engineering and Management: Theory and Application Volume 16

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Networking and Parallel/Distributed Computing Systems Volume 18

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins

Yazar

Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Volume 17

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Feature Models AI-Driven Design, Analysis and Applications

Yazar

Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

ITNG 2024: 21st International Conference on Information Technology-New Generations

Yazar

Latifi, Shahram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Quantum Software Aspects of Theory and System Design

Yazar

Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

Yazar

Latifi, Shahram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Official Google Cloud Certified Professional Data Engineer study guide

Yazar

Sullivan, Dan, 1962-

Yer Numarası

QA76.3

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Present and Ulterior Software Engineering

Yazar

Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Green IT Engineering: Concepts, Models, Complex Systems Architectures

Yazar

Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Organic Computing - Technical Systems for Survival in the Real World

Yazar

Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Handbook of Hardware/Software Codesign

Yazar

Ha, Soonhoi. editor. Teich, Jürgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-94-017-7267-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Smart Cities The Internet of Things, People and Systems

Yazar

Dustdar, Schahram. author. Nastić, Stefan. author. Šćekić, Ognjen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015

Yazar

Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2717-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Yazar

Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Representing Scientific Knowledge The Role of Uncertainty

Yazar

Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Requirements Engineering for Service and Cloud Computing

Yazar

Ramachandran, Muthu. editor. Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method

Yazar

Alebrahim, Azadeh. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-17694-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Self-Aware Computing Systems

Yazar

Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

S-BPM in the Production Industry A Stakeholder Approach

Yazar

Neubauer, Matthias. editor. Stary, Christian. editor. (orcid)0000-0001-9764-5021 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions

Yazar

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Cloud Broker and Cloudlet for Workflow Scheduling

Yazar

Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-5071-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Yazar

Kolesnikov, Andrey. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-19102-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

The Handbook of Formal Methods in Human-Computer Interaction

Yazar

Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Yazar

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Agile Modeling with UML Code Generation, Testing, Refactoring

Yazar

Rumpe, Bernhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Yazar

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

Yazar

Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-0551-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

Yazar

Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future

Yazar

Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Hagenberg Business Process Modelling Method

Yazar

Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Natschläger, Christine. author. Ziebermayr, Thomas. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters

Yazar

Al-Akkad, Amro. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-12616-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology

Yazar

Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Security, Privacy, and Applied Cryptography Engineering 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings

Yazar

Carlet, Claude. editor. (orcid)0000-0002-6118-7927 Hasan, M. Anwar. editor. Saraswat, Vishal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Integrating User-Centred Design in Agile Development

Yazar

Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Computational Sustainability

Yazar

Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Frontier Computing Theory, Technologies and Applications

Yazar

Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-0539-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Autonomic Road Transport Support Systems

Yazar

McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Deductive Software Verification - The KeY Book From Theory to Practice

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Transactions on Engineering Technologies

Yazar

Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)