Search Results for Software

1.

Software-Qualität

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337190.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35700-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Software-Qualität

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Software Architecture

Yazar

Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Software Evolution

Yazar

Mens, Tom. author. Demeyer, Serge. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Software Process Modeling

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Managed Software Evolution

Yazar

Reussner, Ralf. editor. Goedicke, Michael. editor. Hasselbring, Wilhelm. editor. Vogel-Heuser, Birgit. editor. Keim, Jan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Evolving Software Systems

Yazar

Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45398-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Continuous Software Engineering

Yazar

Bosch, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Essential Software Architecture

Yazar

Gorton, Ian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Collaborative Software Engineering

Yazar

Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Agile Software Engineering

Yazar

Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-198-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Agile Software Construction

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-262-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Software Product Lines

Yazar

Käköla, Timo. editor. Duenas, Juan Carlos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Essential Software Architecture

Yazar

Gorton, Ian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28714-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Constructing Correct Software

Yazar

Cooke, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Handbook of Software Engineering

Yazar

Cha, Sungdeok. editor. Taylor, Richard N. editor. Kang, Kyochul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Fundamentals of Software Culture

Yazar

Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-0701-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Software Product Quality Control

Yazar

Wagner, Stefan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334625.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38571-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Experimentation in Software Engineering

Yazar

Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29044-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Software Similarity and Classification

Yazar

Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2909-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Software for Algebraic Geometry

Yazar

Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-78133-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Value-Based Software Engineering

Yazar

Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29263-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Model-Driven Software Development

Yazar

Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28554-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Intelligent Software Defect Prediction

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Introduction to Software Quality

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Ontology-Driven Software Development

Yazar

Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.

Yer Numarası

ONLINE(333408.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31226-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Software and Systems Traceability

Yazar

Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2239-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Specification of Software Systems

Yazar

Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-277-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Software-Entwicklung für Echtzeitsysteme

Yazar

Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-01596-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Rationale-Based Software Engineering

Yazar

Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77583-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Categories for Software Engineering

Yazar

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Software Process Definition and Management

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-56641-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Software Engineering: Specification, Implementation, Verification

Yazar

Alagić, Suad. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Recommendation Systems in Software Engineering

Yazar

Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45135-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Lean Software Development in Action

Yazar

Janes, Andrea. author. Succi, Giancarlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Software Engineering: A Hands-On Approach

Yazar

Lee, Roger Y. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336486.1)

Elektronik Erişim

http://dx.doi.org/10.2991/978-94-6239-006-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Projektorganisation und Management im Software Engineering

Yazar

Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336947.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Introduction to Software Process Improvement

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-172-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

The Future of Software Engineering

Yazar

Nanz, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Relating Software Requirements and Architectures

Yazar

Avgeriou, Paris. editor. Grundy, John. editor. Hall, Jon G. editor. Lago, Patricia. editor. Mistrík, Ivan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Model-Based Software Performance Analysis

Yazar

Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13621-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Software Development and Professional Practice

Yazar

Dooley, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Software-Architektur kompakt – angemessen und zielorientiert

Yazar

Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2835-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Silverlight 4 Business Intelligence Software

Yazar

Czernicki, Bart. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Open Source Software for Digital Forensics

Yazar

Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-5803-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Artificial Life Models in Software

Yazar

Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-285-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Guide to Graphics Software Tools

Yazar

Chen, Jim X. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-901-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Software Engineering for Self-Adaptive Systems

Yazar

Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02161-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Embedded Software Development with C

Yazar

Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0606-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Abnahme komplexer Software-Systeme Das Praxishandbuch

Yazar

Osterhage, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68230-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Software-Architektur kompakt – angemessen und zielorientiert

Yazar

Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2205-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Software-Architektur Grundlagen — Konzepte — Praxis

Yazar

Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2267-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

A Concise Introduction to Software Engineering

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-302-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Guide to Advanced Empirical Software Engineering

Yazar

Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-044-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Networked RFID Systems, Software and Services

Yazar

Roussos, George. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-153-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Elementary Logic For Software Development

Yazar

Lover, Robert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-082-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Software Engineering Techniques: Design for Quality

Yazar

Sacha, Krzysztof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-39388-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Software Measurement Establish — Extract — Evaluate — Execute

Yazar

Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71649-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

SOA? Serviceorientierung in Business und Software

Yazar

Masak, Dieter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71872-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Software Engineering 1 Abstraction and Modelling

Yazar

Bjørner, Dines. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Grid Computing: Software Environments and Tools

Yazar

Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-339-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Practical Software Factories in .NET

Yazar

Lenz, Gunther. author. Wienands, Christoph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Mathematical Approaches to Software Quality

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-435-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Rationale Management in Software Engineering

Yazar

Dutoit, Allen H. editor. McCall, Raymond. editor. Mistrík, Ivan. editor. Paech, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-30998-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Software Configuration Management Using Vesta

Yazar

Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-30852-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Artificial Life Models in Software

Yazar

Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-214-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Component-Based Software Testing with UML

Yazar

Gross, Hans-Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

The Best Software Writing I

Yazar

Spolsky, Joel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Developing Statistical Software in Fortran 95

Yazar

Lemmon, David R. author. Schafer, Joseph L. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28123-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

An Integrated Approach to Software Engineering

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28132-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Engineering and Managing Software Requirements

Yazar

Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28244-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Yazar

Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Yazar

Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Yazar

Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Yazar

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Yazar

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Yazar

Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Yazar

Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Yazar

Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Yazar

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Yazar

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Yazar

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

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:

92.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Yazar

Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Yazar

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Yazar

Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

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:

100.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

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:

102.

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Yazar

Daneva, Maya. editor. Pastor, Oscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Yazar

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Yazar

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Yazar

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Yazar

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Yazar

Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Yazar

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Yazar

Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Yazar

Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

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:

114.

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Yazar

Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Yazar

Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Yazar

Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Yazar

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Yazar

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44857-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Yazar

Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Software Project Management in a Changing World

Yazar

Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55035-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Anpassung von Open-Source-Software in Anwenderunternehmen

Yazar

Keßler, Steffen. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337922.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-01955-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Transactions on Aspect-Oriented Software Development X

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337114.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34718-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Model-Driven Dependability Assessment of Software Systems

Yazar

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334812.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

A Practical Introduction to Hardware/Software Codesign

Yazar

Schaumont, Patrick R. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331370.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-3737-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Games, Actions and Social Software Multidisciplinary Aspects

Yazar

Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29326-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Transactions on Aspect-Oriented Software Development IX

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35551-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Transactions on Aspect-Oriented Software Development VIII

Yazar

Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22031-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Aufwandsschätzungen in der Software- und Systementwicklung kompakt

Yazar

Hummel, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2752-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Clustering-Based Support for Software Architecture Restructuring

Yazar

Streekmann, Niels. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-8675-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

Yazar

Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05356-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Composing Software Components A Software-testing Perspective

Yazar

Hamlet, Dick. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7148-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

Yazar

Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2329-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2526-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Innovations in Computing Sciences and Software Engineering

Yazar

Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9112-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

An Approach to Modelling Software Evolution Processes

Yazar

Li, Tong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79464-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Software Architecture Knowledge Management Theory and Practice

Yazar

Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Transactions on Aspect-Oriented Software Development V

Yazar

Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02059-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Experience and Knowledge Management in Software Engineering

Yazar

Schneider, Kurt. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-95880-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Knowledge Cartography Software Tools and Mapping Techniques

Yazar

Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-149-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Transactions on Aspect-Oriented Software Development III

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75162-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Transactions on Aspect-Oriented Software Development IV

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Digitale Hardware/Software-Systeme Synthese und Optimierung

Yazar

Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-46824-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Eric Sink on the Business of Software

Yazar

Sink, Eric. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Transactions on Aspect-Oriented Software Development I

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Ontologies for Software Engineering and Software Technology

Yazar

Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-34518-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Transactions on Aspect-Oriented Software Development II

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Software Project Secrets Why Software Projects Fail

Yazar

Stepanek, George. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Software Agent-Based Applications, Platforms and Development Kits

Yazar

Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

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

Yazar

Trendowicz, Adam. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Yazar

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0602-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Yazar

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Yazar

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

A Concise Introduction to Software Engineering With Open Source and GenAI

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Yazar

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Yazar

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Yazar

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Yazar

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Yazar

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Yazar

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0617-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Yazar

Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Yazar

Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

Yazar

Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Yazar

Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

Yazar

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Yazar

Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

Yazar

Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Yazar

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-0310-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

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:

186.

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Yazar

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

Yazar

Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Yazar

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Designing Usable and Secure Software with IRIS and CAIRIS

Yazar

Faily, Shamal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Yazar

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

Yazar

Priestley, Mark. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Yazar

Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

Yazar

Gonzalez-Perez, Cesar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Yazar

Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Yazar

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Yazar

Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

Yazar

Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54434-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Yazar

Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Yazar

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54458-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54494-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54577-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Maffei, Matteo. editor. Ryan, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54455-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54580-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Thiemann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49498-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Yazar

Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Yazar

Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49665-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49630-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Yazar

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Yazar

Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.

Yazar

Aarno, Daniel. Engblom, Jakob.

Yer Numarası

ONLINE(355554.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Software defined mobile networks (SDMN) : Beyond LTE network architecture

Yazar

Liyanage, Madhusanka. Gurtov, Andrei. Ylianttila, Mika.

Yer Numarası

ONLINE

Elektronik Erişim

Wiley Online Library

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014, Proceedings

Yazar

Lassenius, Casper. editor. Smolander, Kari. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

Yazar

Mendes, Emilia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54157-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings

Yazar

Cantone, Giovanni. editor. Marchesi, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings

Yazar

Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

Yazar

Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55128-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

Yazar

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

Yazar

Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43896-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

Yazar

Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

Yazar

Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Using Event-B for Critical Device Software Systems

Yazar

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331181.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Performance Evaluation Software Moving Object Detection and Tracking in Videos

Yazar

Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332057.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6534-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Systems and Software Variability Management Concepts, Tools and Experiences

Yazar

Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334240.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36583-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Yazar

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

Yazar

Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335064.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41151-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Yazar

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335072.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41202-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Yazar

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335024.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40894-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335217.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45422-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Yazar

Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335227.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-54092-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

Yazar

Ben Abdallah, Abderazek. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336495.1)

Elektronik Erişim

http://dx.doi.org/10.2991/978-94-91216-92-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Java kompakt Eine Einführung in die Software-Entwicklung mit Java

Yazar

Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336934.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28504-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337559.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00642-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

The R Software Fundamentals of Programming and Statistical Analysis

Yazar

Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332463.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-9020-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Fast Compact Algorithms and Software for Spline Smoothing

Yazar

Weinert, Howard L. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331788.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-5496-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers

Yazar

Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333015.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-04166-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333558.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32341-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

Yazar

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333859.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34522-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

Yazar

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333860.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34528-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

Yazar

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333861.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34531-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

Yazar

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334109.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36054-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Feature-Oriented Software Product Lines Concepts and Implementation

Yazar

Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334447.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37521-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Yazar

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334236.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36563-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Yazar

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334556.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Yazar

Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334426.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37422-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

Yazar

Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334579.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38314-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Yazar

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334631.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

Yazar

Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334677.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38833-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

Yazar

Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334768.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39259-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334841.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39721-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Yazar

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334844.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39742-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Yazar

Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334859.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39866-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Yazar

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334870.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39955-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334911.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Yazar

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335141.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41707-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings

Yazar

Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335153.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41947-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Yazar

Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335198.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45260-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

Yazar

Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335215.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45404-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334278.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36742-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334305.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36830-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Yazar

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333246.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29578-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Yazar

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334055.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Yazar

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334069.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35861-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Yazar

Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334142.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36177-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Yazar

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334096.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35992-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Yazar

Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334033.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35702-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37036-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37057-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

Yazar

Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334419.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37395-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Yazar

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334743.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39176-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

Yazar

McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334744.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39179-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Yazar

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334688.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

Yazar

Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334700.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Yazar

Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334706.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38977-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Drira, Khalil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334714.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39031-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Yazar

Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334783.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Yazar

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Yazar

Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334821.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39614-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Yazar

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334968.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40561-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Yazar

Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.

Yer Numarası

ONLINE(335170.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-44930-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Software Engineering Frameworks for the Cloud Computing Paradigm

Yazar

Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331122.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5031-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Requirements Engineering and Management for Software Development Projects

Yazar

Chemuturi, Murali. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331756.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-5377-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Yazar

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332934.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}