Search Results for Design

1.

Doing Design Ethnography

Yazar

Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2726-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Quality-Driven SystemC Design

Yazar

Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-3631-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

UML for SOC Design

Yazar

Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Sustainable Web Ecosystem Design

Yazar

O'Toole, Greg. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332331.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Introduction to Software Design with Java

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Low Earth Orbit Satellite Design

Yazar

Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Handbook on Agent-Oriented Design Processes

Yazar

Cossentino, Massimo. editor. Hilaire, Vincent. editor. Molesini, Ambra. editor. Seidita, Valeria. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-39975-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

An Introduction to Design Science

Yazar

Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Autonomic Computing Principles, Design and Implementation

Yazar

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331115.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The Design of Cloud Workflow Systems

Yazar

Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-1933-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Analysis and Design of Advice

Yazar

Jureta, Ivan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Object-Oriented Analysis and Design

Yazar

Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84996-522-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Design and Use of Serious Games

Yazar

Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9496-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Anti-Spam Measures Analysis and Design

Yazar

Schryen, Guido. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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:

16.

Design Patterns for e-Science

Yazar

Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-68090-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Model-Driven Design Using Business Patterns

Yazar

Hruby, Pavel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Software design for engineers and scientists

Yazar

Robinson, John A. (John Allen), 1958-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Design and Development of Web Information Systems

Yazar

Schewe, Klaus-Dieter. author. Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Low-Power Design and Power-Aware Verification

Yazar

Khondkar, Progyna. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Socio-technical Design of Ubiquitous Computing Systems

Yazar

David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

User-Level Workflow Design A Bioinformatics Perspective

Yazar

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335213.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Mechanism Design for Sustainability Techniques and Cases

Yazar

Luo, Zongwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(336131.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-5995-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Harnessing VLSI System Design with EDA Tools

Yazar

Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1864-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Moderne C++ Programmierung Klassen, Templates, Design Patterns

Yazar

Schneeweiß, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Pro Objective-C Design Patterns for iOS

Yazar

Chung, Carlo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-3331-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Scientific Software Design The Object-Oriented Way

Yazar

Rouson, Damian. Xia, Jim. Xu, Xiaofeng.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Architecture-Based Design of Multi-Agent Systems

Yazar

Weyns, Danny. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Embedded System Design Modeling, Synthesis and Verification

Yazar

Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0504-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Ingredients for Successful System Level Design Methodology

Yazar

Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8472-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computer-Aided Design of User Interfaces V

Yazar

Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5820-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Moderne C++ Programmierung Klassen, Templates, Design Patterns

Yazar

Schneeweiß, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Biometric Systems Technology, Design and Performance Evaluation

Yazar

Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

Yazar

Gol Mohammadi, Nazila. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-27488-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Yazar

Kurosu, Masaaki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

Yazar

Russinoff, David M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

Yazar

Lee, Ji-Hyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-8410-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Yazar

Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Yazar

Kurosu, Masaaki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Yazar

Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

Yazar

Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

Yazar

Vaziri, Daryoush Daniel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-22875-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

Yazar

Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Process Design for Natural Scientists An Agile Model-Driven Approach

Yazar

Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45006-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Design Science Methodology for Information Systems and Software Engineering

Yazar

Wieringa, Roel J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43839-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54118-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

Yazar

Biedermann, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-08047-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334438.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

Yazar

Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334675.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Yazar

Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.

Yer Numarası

ONLINE(334682.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

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:

63.

Creativity and Rationale Enhancing Human Experience by Design

Yazar

Carroll, John M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(330908.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Scala Design Patterns Patterns for Practical Reuse and Design

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332904.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02192-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Arduino and Kinect Projects Design, Build, Blow Their Minds

Yazar

Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Yazar

Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings

Yazar

Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

Yazar

Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

Yazar

Moser, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Design Thinking Research Studying Co-Creation in Practice

Yazar

Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

Yazar

Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

Yazar

Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

Yazar

Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

Yazar

Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1926-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Real-Time Systems Design Principles for Distributed Embedded Applications

Yazar

Kopetz, Hermann. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

Yazar

Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Yazar

Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Yazar

Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers

Yazar

Wrycza, Stanisław. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

Yazar

Marwedel, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0257-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

The design and implementation of multimedia software with examples in Java

Yazar

Bernstein, David, 1960 June 9-

Yer Numarası

QA76.76.I59 B47 2011

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

83.

Modeling, Design, and Simulation of Systems with Uncertainties

Yazar

Rauh, Andreas. editor. Auer, Ekaterina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Agents for Games and Simulations II Trends in Techniques, Concepts and Design

Yazar

Dignum, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings

Yazar

Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Yazar

Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Embedded Systems Design Based on Formal Models of Computation

Yazar

Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1594-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

A Process Algebraic Approach to Software Architecture Design

Yazar

Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Yazar

England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings

Yazar

Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

Yazar

Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

Yazar

Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

Yazar

Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Yazar

Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Electronics System Design Techniques for Safety Critical Applications

Yazar

Sterpone, Luca. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8979-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Hardware Software Co-Design of a Multimedia SOC Platform

Yazar

Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9623-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Yazar

Radetzki, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9714-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

Yazar

Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

Yazar

Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

Yazar

Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems

Yazar

Ashford, Colin. author. Gauthier, Pierre. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Yazar

Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

Yazar

Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

Yazar

Villar, Eugenio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8297-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Yazar

Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

Yazar

Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

Yazar

Bräunl, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

Yazar

Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Analysis and Design of Information Systems Third Edition

Yazar

Langer, Arthur M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

Yazar

Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

Yazar

Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-7908-1944-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Design for Manufacturability and Yield for Nano-Scale CMOS

Yazar

Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5188-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

Yazar

Huss, Sorin A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6149-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Real-Time Object Uniform Design Methodology with UML

Yazar

Duc, Bui Minh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5977-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Processor Design System-on-Chip Computing for ASICs and FPGAs

Yazar

Nurmi, Jari. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5530-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Yazar

Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6254-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Yazar

Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

Yazar

Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Yazar

Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Yazar

Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

Yazar

Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

Yazar

Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

Yazar

Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Yazar

Jacko, Julie A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

Yazar

Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

Yazar

Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-5138-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility

Yazar

Pernici, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Yazar

Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

Yazar

Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Yazar

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

Yazar

Bräunl, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

High Availability and Disaster Recovery Concepts, Design, Implementation

Yazar

Schmidt, Klaus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Software Engineering 3 Domains, Requirements, and Software Design

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Yazar

Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

System Level Design of Reconfigurable Systems-on-Chip

Yazar

Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Yazar

Boulet, Pierre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

Yazar

Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

Yazar

Zeeck, Achim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

Yazar

Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

Yazar

Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Embedded Systems Design The ARTIST Roadmap for Research and Development

Yazar

Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Yazar

Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Learning Design A Handbook on Modelling and Delivering Networked Education and Training

Yazar

Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Yazar

Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Interconnect-Centric Design for Advanced SoC and NoC

Yazar

Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies

Yazar

Zhuk, Jeff.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products

Yazar

Atem de Carvalho, Rogerio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

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

Yazar

Latifi, Shahram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Beginning software engineering

Yazar

Stephens, Rod, author.

Yer Numarası

QA76.758 .S74 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Software engineering for automotive systems : principles and applications

Yazar

Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.

Yer Numarası

TL272.53

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Component-based software engineering : methods and metrics

Yazar

Tiwari, Umesh Kumar, author. Kumar, Santosh, author.

Yer Numarası

QA76.758 .T58 2021 EB

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Software Engineering Perspectives in Computer Game Development.

Yazar

Cooper, Kendra M. L., editor.

Yer Numarası

QA76.76 .C672

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Official Google Cloud Certified Professional Data Engineer study guide

Yazar

Sullivan, Dan, 1962-

Yer Numarası

QA76.3

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Yazar

Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Yazar

Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Yazar

Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Yazar

Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-32-9987-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Yazar

Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Yazar

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

Yazar

Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Systems engineering of software-enabled systems

Yazar

Fairley, R. E. (Richard E.), 1937- author.

Yer Numarası

QA76.758

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Yazar

Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Yazar

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Yazar

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Yazar

Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Yazar

Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Lectures on Runtime Verification Introductory and Advanced Topics

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Yazar

Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Yazar

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

Yazar

Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Yazar

de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

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:

185.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

Yazar

Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

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:

188.

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:

189.

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:

190.

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Yazar

Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Refinement Semantics, Languages and Applications

Yazar

Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Yazar

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Yazar

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Yazar

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Yazar

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Yazar

Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Yazar

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

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:

200.

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Yazar

Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Yazar

Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Yazar

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Yazar

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Yazar

Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Yazar

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Yazar

Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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:

209.

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Yazar

Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2423-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Yazar

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

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:

213.

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Yazar

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Yazar

Podelski, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Yazar

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Yazar

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

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:

219.

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 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

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Advanced Gear Engineering

Yazar

Goldfarb, Veniamin. editor. Trubachev, Evgenii. editor. Barmina, Natalya. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

Yazar

Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

Yazar

Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Yazar

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I

Yazar

Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Yazar

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

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:

229.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Yazar

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Yazar

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Yazar

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Building Information Modeling Technology Foundations and Industry Practice

Yazar

Borrmann, André. editor. König, Markus. editor. Koch, Christian. editor. Beetz, Jakob. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Yazar

Rusu, Vlad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

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:

236.

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Yazar

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

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:

238.

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:

239.

Agile Project Management: Managing for Success

Yazar

Crowder, James A. author. Friess, Shelli. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Requirements Engineering for Digital Health

Yazar

Fricker, Samuel A. editor. Thümmler, Christoph. editor. Gavras, Anastasius. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Mobile and Wireless Technology 2015

Yazar

Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(334041.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

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:

247.

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Yazar

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334073.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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:

250.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Yazar

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334156.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Yazar

Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334174.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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:

253.

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Yazar

Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334494.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334610.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Yazar

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334626.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334630.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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:

258.

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Yazar

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334634.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Yazar

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334651.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Yazar

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334683.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Yazar

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334691.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Yazar

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334697.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Yazar

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Yazar

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334708.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

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:

267.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

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:

269.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Yazar

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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:

271.

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Yazar

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Yer Numarası

ONLINE(335120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Yazar

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335125.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Yazar

Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335150.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Yazar

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

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:

276.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Yazar

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Yazar

Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334978.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Yazar

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Yer Numarası

ONLINE(334979.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Yazar

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334985.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB

Yazar

Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330930.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Distributed Programming Theory and Practice

Yazar

Shankar, A. Udaya. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331611.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4881-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Yazar

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332921.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Transactions on Petri Nets and Other Models of Concurrency VIII

Yazar

Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334949.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Yazar

Hinze, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335126.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

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:

287.

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Yazar

Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335040.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

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:

290.

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:

291.

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Yazar

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Yer Numarası

ONLINE(332964.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Yazar

Shan, Chung-chieh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332981.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03542-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(333011.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03998-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

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:

295.

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:

296.

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:

297.

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:

298.

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Yazar

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Transactions on Petri Nets and Other Models of Concurrency VII

Yazar

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.

Yer Numarası

ONLINE(334545.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Yazar

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}