Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(169)
Li, Kenli. editor.
(4)
Martinez, Gregorio. editor.
(4)
Wang, Guojun. editor.
(4)
Zomaya, Albert. editor.
(4)
Dil
Konu
Computational intelligence.
(16)
Artificial intelligence.
(15)
Python (Computer program language)
(9)
Computer programming.
(7)
Control engineering.
(6)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
227 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Yazar 
Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19458-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings için kapak resmi
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Yazar 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings için kapak resmi
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Yazar 
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers için kapak resmi
Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Yazar 
Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22885-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings için kapak resmi
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Yazar 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Yazar 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings için kapak resmi
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Yazar 
Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings için kapak resmi
Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Yazar 
Beltrán, Marta. editor. Knottenbelt, William. editor. Bradley, Jeremy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23267-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings için kapak resmi
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Yazar 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings için kapak resmi
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Yazar 
Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings için kapak resmi
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
Yazar 
Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18425-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings için kapak resmi
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Yazar 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets