Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(98)
Lankhorst, Marc. author.
(3)
Bjørner, Dines. author.
(2)
Calisti, Monique. editor.
(2)
Cockton, Gilbert. editor.
(2)
Dil
English
(109)
Yayın Yılı
-
Konu
Computer science.
(60)
Artificial intelligence.
(18)
Logic design.
(11)
User Interfaces and Human Computer Interaction.
(10)
Application software.
(9)
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ç
111 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
A pragmatic programmer for machine learning : engineering analytics and data science solutions için kapak resmi
A pragmatic programmer for machine learning : engineering analytics and data science solutions
Yazar 
Scutari, Marco, author. Malvestio, Mauro, author.
Yer Numarası 
Q325.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429292835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Process Algebras for Petri Nets The Alphabetization of Distributed Systems için kapak resmi
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Yazar 
Gorrieri, Roberto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Models of Computation için kapak resmi
Models of Computation
Yazar 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Decision Procedures An Algorithmic Point of View için kapak resmi
Decision Procedures An Algorithmic Point of View
Yazar 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Pragmatic Evaluation of Software Architectures için kapak resmi
Pragmatic Evaluation of Software Architectures
Yazar 
Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34177-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Aligning Organizations Through Measurement The GQM+Strategies Approach için kapak resmi
Aligning Organizations Through Measurement The GQM+Strategies Approach
Yazar 
Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05047-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development için kapak resmi
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
Yazar 
Trendowicz, Adam. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30764-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes için kapak resmi
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
Yazar 
Filippini, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333878.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34648-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Foundations of Algebraic Specification and Formal Software Development için kapak resmi
Foundations of Algebraic Specification and Formal Software Development
Yazar 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Software Process Definition and Management için kapak resmi
Software Process Definition and Management
Yazar 
Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24291-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Temporal Logic and State Systems için kapak resmi
Temporal Logic and State Systems
Yazar 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Unfoldings A Partial-Order Approach to Model Checking için kapak resmi
Unfoldings A Partial-Order Approach to Model Checking
Yazar 
Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç