Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Noble, James. editor.
(5)
Dil
Yayın Yılı
-
Konu
Software engineering.
(186)
Computer science.
(155)
Programming languages (Electronic computers).
(130)
Programming Languages, Compilers, Interpreters.
(92)
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ç
550 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
409. 
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers için kapak resmi
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Yazar 
Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334104.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36036-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
410. 
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures için kapak resmi
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Yazar 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334109.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
411. 
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach için kapak resmi
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Yazar 
Jörges, Sven. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334129.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
412. 
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers için kapak resmi
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Yazar 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334077.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
413. 
Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Yazar 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334156.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
414. 
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Yazar 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334096.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
415. 
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334278.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
416. 
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers için kapak resmi
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Yazar 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334282.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
417. 
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
418. 
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday için kapak resmi
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Yazar 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334547.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
419. 
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers için kapak resmi
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Yazar 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334556.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
420. 
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Yazar 
Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334562.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38230-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets