Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(329)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Dil
Konu
Software engineering.
(327)
Computer science.
(305)
Information Systems Applications (incl. Internet).
(92)
Computer Communication Networks.
(86)
Logic design.
(77)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
335 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings için kapak resmi
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Yazar 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334691.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings için kapak resmi
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Yazar 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334697.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings için kapak resmi
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Yazar 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334698.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings için kapak resmi
Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings
Yazar 
Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334700.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38928-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Yazar 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334610.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings için kapak resmi
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
Yazar 
Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334616.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38530-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Software Product Quality Control için kapak resmi
Software Product Quality Control
Yazar 
Wagner, Stefan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334625.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38571-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings için kapak resmi
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Yazar 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334626.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Yazar 
Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334630.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Yazar 
Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334631.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38601-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings için kapak resmi
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Yazar 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334634.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers için kapak resmi
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Yazar 
Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334727.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39088-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç