Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(23)
Laaksonen, Antti. author.
(2)
Ahrendt, Wolfgang. editor.
(1)
Alanis, Alma y. author. (orcid)0000-0001-9600-779X
(1)
Bai, Yuchao. author.
(1)
Dil
Yayın Yılı
-
Konu
Software engineering.
(7)
Computer programming.
(6)
Programming Techniques.
(6)
Computer science.
(5)
Compilers (Computer programs).
(4)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
23 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
1. 
Decentralized Neural Control: Application to Robotics için kapak resmi
Decentralized Neural Control: Application to Robotics
Yazar 
Garcia-Hernandez, Ramon. author. Lopez-Franco, Michel. author. Sanchez, Edgar N. author. Alanis, Alma y. author. (orcid)0000-0001-9600-779X Ruz-Hernandez, Jose A. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53312-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31220-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection için kapak resmi
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
Yazar 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22035-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Yazar 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Beginning Oracle SQL For Oracle Database 12c için kapak resmi
Beginning Oracle SQL For Oracle Database 12c
Yazar 
Gorman, Tim. author. Jorgensen, Inger. author. Caffrey, Melanie. author. deHaan, Lex. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-6557-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Android Application Development for the Intel Platform için kapak resmi
Android Application Development for the Intel Platform
Yazar 
Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4842-0100-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
jQuery 2 Recipes A Problem-Solution Approach için kapak resmi
jQuery 2 Recipes A Problem-Solution Approach
Yazar 
Pande, Arun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-6434-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Beginning Xcode için kapak resmi
Beginning Xcode
Yazar 
Knott, Matthew. author. Bramhall, Daniel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-5744-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions için kapak resmi
Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions
Yazar 
Desjardins, Patrick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-6823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Scripting in Java Integrating with Groovy and JavaScript için kapak resmi
Scripting in Java Integrating with Groovy and JavaScript
Yazar 
Sharan, Kishori. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4842-0713-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: