Search Results for SpringerLink (Online service)

1.

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:

2.

Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Yazar

Meiselwitz, Gabriele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Computer and Network Security Essentials

Yazar

Daimi, Kevin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

Yazar

Popescu, Adrian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-56718-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar

Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

Yazar

ElAarag, Hala. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331089.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Requirements Engineering and Management for Software Development Projects

Yazar

Chemuturi, Murali. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331756.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

LTE-Advanced Relay Technology and Standardization

Yazar

Yuan, Yifei. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333255.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333884.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338309.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2068-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Embedded Technologies Vom Treiber bis zur Grafik-Anbindung

Yazar

Wietzke, Joachim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Improving Software Testing Technical and Organizational Developments

Yazar

Majchrzak, Tim A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders

Yazar

Grant, Casey C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers

Yazar

Mikulski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Guide to Software Development Designing and Managing the Life Cycle

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Performance Metrics for Haptic Interfaces

Yazar

Samur, Evren. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Sensing and Systems in Pervasive Computing Engineering Context Aware Systems

Yazar

Chalmers, Dan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-841-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Soft Errors in Modern Electronic Systems

Yazar

Nicolaidis, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-6993-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Analyzing Computer System Performance with Perl::PDQ

Yazar

Gunther, Neil J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Encyclopedia of Parallel Computing

Yazar

Padua, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Handbook of Mobile Ad Hoc Networks for Mobility Models

Yazar

Roy, Radhika Ranjan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-6050-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

Yazar

Buttazzo, Giorgio C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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:

25.

Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology

Yazar

Pise, S. J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-81-8489-989-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

Yazar

Scheideler, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System

Yazar

Alfa, Attahiru Sule. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7314-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing

Yazar

Wolter, Katinka. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems

Yazar

Seong, Poong Hyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Scheduling for Parallel Processing

Yazar

Drozdowski, Maciej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-310-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Abnahme komplexer Software-Systeme Das Praxishandbuch

Yazar

Osterhage, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

Yazar

Maneth, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

Yazar

Bradley, Jeremy T. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

Yazar

Dubois, Catherine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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:

36.

AccessNets Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers

Yazar

Wang, Chonggang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers

Yazar

Dolev, Shlomi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Level Crossing Methods in Stochastic Models

Yazar

Brill, Percy H. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09421-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Lean Business Systems and Beyond

Yazar

Koch, Tomasz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-77249-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Network Performance Analysis Using the J Programming Language

Yazar

Holt, Alan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

The Testing Network An Integral Approach to Test Activities in Large Software Projects

Yazar

Henry, Pierre. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

Yazar

Leucker, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

Yazar

Zimmermann, Armin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools

Yazar

Ding, Steven X. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb

Yazar

Schmalenbach, Christof. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Networks and Grids Technology and Theory

Yazar

Robertazzi, Thomas G. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-68235-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services

Yazar

Gunther, Neil J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Forecasting Oracle Performance

Yazar

Shallahamer, Craig. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

Yazar

Wolter, Katinka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Performance Analysis of Network Architectures

Yazar

Tutsch, Dietmar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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:

52.

Rechneraufbau und Rechnerarchitektur

Yazar

Böttcher, Axel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Integrated Circuit Test Engineering Modern Techniques

Yazar

Grout, Ian A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Hardening Windows

Yazar

Hassell, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Cost-Based Oracle Fundamentals

Yazar

Lewis, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Running IPv6

Yazar

Beijnum, Iljitsch. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Pro Nagios 2.0

Yazar

Turnbull, James. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Passive and Active Network Measurement 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings

Yazar

Dovrolis, Constantinos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Control Reconfiguration of Dynamical Systems

Yazar

Steffen, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Mikrorechner-Technik Übungen und Lösungen

Yazar

Bähring, Helmut. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Intelligent Document Retrieval Exploiting Markup Structure

Yazar

Kruschwitz, Udo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3768-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Hardening Linux

Yazar

Turnbull, James. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0005-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Expert Oracle

Yazar

Kyte, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

The Robosapien Companion Tips, Tricks, and Hacks

Yazar

Samans, Jamie. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions

Yazar

Kyte, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

Yazar

Mann, Zoltán Ádám. editor. Stolz, Volker. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

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:

68.

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

Yazar

Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Yazar

Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Advanced Maintenance Policies for Shock and Damage Models

Yazar

Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

Yazar

Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

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:

80.

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Yazar

Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334797.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Privacy and Security for Cloud Computing

Yazar

Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(330926.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings

Yazar

Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334223.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE(334274.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Yazar

Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334290.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Yazar

Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334296.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Parallel Programming for Multicore and Cluster Systems

Yazar

Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334484.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334618.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

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

Yazar

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

Yer Numarası

ONLINE(334870.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Cooperative Networking in a Heterogeneous Wireless Medium

Yazar

Ismail, Muhammad. author. Zhuang, Weihua. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332201.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

Yazar

Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333002.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03874-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

Yazar

Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334111.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

Yazar

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334425.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Testmanagement bei SAP-Projekten Erfolgreich Planen • Steuern • Reporten bei der Einführung von SAP-Banking

Yazar

Vivenzio, Alberto. author. Vivenzio, Domenico. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338324.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

Yazar

Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

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:

96.

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Yazar

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2494-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Service Placement in Ad Hoc Networks

Yazar

Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Emerging Technological Risk Underpinning the Risk of Technology Innovation

Yazar

Anderson, Stuart. author. Felici, Massimo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Yazar

Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

Yazar

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

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:

103.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Yazar

Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

Yazar

Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

Yazar

Fan, Yongquan. author. Zilic, Zeljko. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9398-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Grids, Clouds and Virtualization

Yazar

Cafaro, Massimo. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-049-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Yazar

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-133-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Quantitative Security Risk Assessment of Enterprise Networks

Yazar

Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers

Yazar

Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Parallel Programming For Multicore and Cluster Systems

Yazar

Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Multimodal Usability

Yazar

Bernsen, Niels Ole. author. Dybkjær, Laila. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Yazar

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Cloud Computing Principles, Systems and Applications

Yazar

Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

HPC@Green IT Green High Performance Computing Methods

Yazar

Gruber, Ralf. author. Keller, Vincent. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Yazar

Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

Yazar

Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Wired-Wireless Multimedia Networks and Services Management 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009. Proceedings

Yazar

Pfeifer, Tom. editor. Bellavista, Paolo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

Yazar

Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Automating Linux and Unix System Administration

Yazar

Campi, Nate. author. Bauer, Kirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Stochastic Network Calculus

Yazar

Liu, Yong. author. Jiang, Yuming. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Yazar

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-349-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Transactions on Aspect-Oriented Software Development V

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings

Yazar

Senivongse, Twittie. editor. Oliveira, Rui. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Scalability of Networks and Services Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30–July 2, 2009. Proceedings

Yazar

Sadre, Ramin. editor. Pras, Aiko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Introduction to Network Simulator NS2

Yazar

Issariyakul, Teerawat. author. Hossain, Ekram. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

Yazar

Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

Yazar

Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Yazar

Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Yazar

Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

The Internet of the Future 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings

Yazar

Oliver, Miquel. editor. Sallent, Sebastià. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Traffic Management and Traffic Engineering for the Future Internet First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers

Yazar

Valadas, Rui. editor. Salvador, Paulo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Security and Privacy in Mobile Information and Communication Systems First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers

Yazar

Schmidt, Andreas U. editor. Lian, Shiguo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Yazar

Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

Yazar

Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Passive and Active Network Measurement 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings

Yazar

Claypool, Mark. editor. Uhlig, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Yazar

Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Improvements in System Safety

Yazar

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

Yazar

Thomas, Nigel. editor. Juiz, Carlos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Resilient Networks and Services Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings

Yazar

Hausheer, David. editor. Schönwälder, Jürgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Yazar

Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007. Proceedings

Yazar

Bandara, Arosha K. editor. Burgess, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

Yazar

Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Yazar

Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

Yazar

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

Yazar

Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

Yazar

Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Autonome Mobile Systeme 2007 20. Fachgespräch Kaiserslautern, 18./19. Oktober 2007

Yazar

Berns, Karsten. editor. Luksch, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

Yazar

Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Yazar

Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Telecommunications Planning: Innovations in Pricing, Network Design and Management

Yazar

Raghavan, S. editor. Anandalingam, G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006

Yazar

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Web Engineering

Yazar

Mendes, Emilia. editor. Mosley, Nile. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Embedded Systems – Modeling, Technology, and Applications

Yazar

Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4933-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance

Yazar

Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Software Process Modeling

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

An Introduction to Queueing Theory and Matrix-Analytic Methods

Yazar

Breuer, L. author. Baum, D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

Yazar

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Microsoft Content Management Server Field Guide

Yazar

Briand, François-Paul. author. Wirsching, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

Yazar

Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Yazar

Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Guide to Modeling and Simulation of Systems of Systems

Yazar

Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330586.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-865-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

From scientific instrument to industrial machine Coping with architectural stress in embedded systems

Yazar

Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

Yazar

Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings

Yazar

Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

Yazar

Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Wireless Technology Applications, Management, and Security

Yazar

Powell, Steven. editor. Shim, J.P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-71787-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Yazar

Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Novel Algorithms for Fast Statistical Analysis of Scaled Circuits

Yazar

Singhee, Amith. author. Rutenbar, Rob A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-3100-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

Yazar

Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Test and Analysis of Web Services

Yazar

Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

Yazar

Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Yazar

Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Yazar

Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Wired/Wireless Internet Communications 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings

Yazar

Chowdhury, Kaushik Roy. editor. Di Felice, Marco. editor. Matta, Ibrahim. editor. Sheng, Bo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Yazar

Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Yazar

Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

Yazar

Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

Yazar

Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

Yazar

Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

Yazar

Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Yazar

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

Yazar

Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

Yazar

Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

Yazar

Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

Yazar

Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

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:

194.

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

Yazar

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Yazar

Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Yazar

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Yazar

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

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:

199.

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

Yazar

Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Big Data Analytics and Knowledge Discovery 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings

Yazar

Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

Yazar

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

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:

203.

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

Yazar

Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Yazar

Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

Yazar

Negi, Atul. editor. (orcid)0000-0001-5707-130X Bhatnagar, Raj. editor. Parida, Laxmi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

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:

207.

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

Yazar

Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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:

209.

Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers

Yazar

You, Ilsun. editor. Leu, Fang-Yie. editor. Chen, Hsing-Chung. editor. Kotenko, Igor. editor. (orcid)0000-0001-6859-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7850-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

Yazar

R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Yazar

Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools

Yazar

Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

Yazar

Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings

Yazar

Xu, Zongben. editor. Gao, Xinbo. editor. Miao, Qiguang. editor. Zhang, Yunquan. editor. Bu, Jiajun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2922-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Advances in Databases and Information Systems 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings

Yazar

Benczúr, András. editor. (orcid)0000-0002-8678-3346 Thalheim, Bernhard. editor. (orcid)0000-0002-7909-7786 Horváth, Tomáš. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

Yazar

Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2035-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Graph Data Management Fundamental Issues and Recent Developments

Yazar

Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings

Yazar

Pillai, Prashant. editor. Sithamparanathan, Kandeepan. editor. Giambene, Giovanni. editor. Vázquez, Miguel Ángel. editor. Mitchell, Paul Daniel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Yazar

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

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:

221.

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

Yazar

Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

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:

223.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

Yazar

Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

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:

226.

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Yazar

Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

Yazar

Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings

Yazar

Galinina, Olga. editor. (orcid)0000-0002-5386-1061 Andreev, Sergey. editor. (orcid)0000-0001-8223-3665 Balandin, Sergey. editor. (orcid)0000-0003-3238-4830 Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Yazar

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

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:

232.

The Effects of Traffic Structure on Application and Network Performance

Yazar

Aikat, Jay. author. Jeffay, Kevin. author. Smith, F. Donelson. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331287.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Model-Driven Dependability Assessment of Software Systems

Yazar

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

Yer Numarası

ONLINE(334812.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

Yazar

Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.

Yer Numarası

ONLINE(334838.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Yazar

Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.

Yer Numarası

ONLINE(335047.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

Yazar

Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334662.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

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:

238.

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

Yazar

Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334686.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

Yazar

Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334960.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Yazar

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334990.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

Yazar

Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334995.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Introduction to Queueing Systems with Telecommunication Applications

Yazar

Lakatos, Laszlo. author. Szeidl, Laszlo. author. Telek, Miklos. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331741.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Yazar

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334079.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

Yazar

Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334093.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

Yazar

Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334263.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience

Yazar

Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334291.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Yazar

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Yer Numarası

ONLINE(334328.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Yazar

Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.

Yer Numarası

ONLINE(334508.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Green Communication and Networking Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers

Yazar

Mauri, Jaime Lloret. editor. Rodrigues, Joel J. P. C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334509.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

Yazar

Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334646.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Yazar

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334882.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Yazar

Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334907.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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:

254.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Yazar

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335148.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

Yazar

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335179.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

Yazar

Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335181.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Model-based Health Monitoring of Hybrid Systems

Yazar

Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332270.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

4G Femtocells Resource Allocation and Interference Management

Yazar

Zhang, Haijun. author. Chu, Xiaoli. author. Wen, Xiangming. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332469.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-9080-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Yazar

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334136.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Yazar

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334658.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings

Yazar

Balandin, Sergey. editor. Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334926.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Resilience Assessment and Evaluation of Computing Systems

Yazar

Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Semantic Web Services Advancement through Evaluation

Yazar

Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Data Management in Cloud, Grid and P2P Systems 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings

Yazar

Hameurlain, Abdelkader. editor. Hussain, Farookh Khadeer. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Yazar

Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Yazar

Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-54216-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Yazar

Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

Yazar

Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II

Yazar

Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

Yazar

Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Yazar

Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers

Yazar

Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers

Yazar

Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

Yazar

Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Transactions on Petri Nets and Other Models of Concurrency VI

Yazar

Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings

Yazar

Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings

Yazar

Lei, Jingsheng. editor. Wang, Fu Lee. editor. Li, Mo. editor. Luo, Yuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

Yazar

Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

Yazar

Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings

Yazar

Pescapè, Antonio. editor. Salgarelli, Luca. editor. Dimitropoulos, Xenofontas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Yazar

Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

Yazar

Chapman, Barbara M. editor. Massaioli, Federico. editor. Müller, Matthias S. editor. Rorro, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

Yazar

Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Yazar

Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

Yazar

Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Yazar

France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Yazar

Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

Yazar

Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Traffic Monitoring and Analysis Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings

Yazar

Domingo-Pascual, Jordi. editor. Shavitt, Yuval. editor. Uhlig, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Euro-Par 2010 Parallel Processing Workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers

Yazar

Guarracino, Mario R. editor. Vivien, Frédéric. editor. Träff, Jesper Larsson. editor. Cannatoro, Mario. editor. Danelutto, Marco. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings

Yazar

Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Scalable Network Monitoring in High Speed Networks

Yazar

Choi, Baek-Young. author. Zhang, Zhi-Li. author. Du, David Hung-Chang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Dependability of Networked Computer-based Systems

Yazar

Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

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:

295.

Multimodal Interactive Pattern Recognition and Applications

Yazar

Toselli, Alejandro Héctor. author. Vidal, Enrique. author. Casacuberta, Francisco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

On the Performance of Web Services

Yazar

Tari, Zahir. author. Phan, Ann Khoi Anh. author. Jayasinghe, Malith. author. Abhaya, Vidura Gamini. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Requirements Engineering

Yazar

Hull, Elizabeth. author. Jackson, Ken. author. Dick, Jeremy. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84996-405-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Performance Models and Risk Management in Communications Systems

Yazar

Gülpınar, Nalân. editor. Harrison, Peter. editor. Rüstem, Berç. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0534-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Model-Based Software Performance Analysis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud

Yazar

Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}