Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(64)
Meseguer, José. editor.
(3)
Dershowitz, Nachum. editor.
(2)
Jones, Cliff B. editor.
(2)
Liu, Zhiming. editor.
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(29)
Logic design.
(27)
Artificial intelligence.
(22)
Computer software.
(13)
Computer Communication Networks.
(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ç
65 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
61. 
Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday için kapak resmi
Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday
Yazar 
Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137346
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday için kapak resmi
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Yazar 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106663
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday için kapak resmi
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Yazar 
Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11601548
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Charting a New Course: Natural Language Processing and Information Retrieval Essays in Honour of Karen Spärck Jones için kapak resmi
Charting a New Course: Natural Language Processing and Information Retrieval Essays in Honour of Karen Spärck Jones
Yazar 
Tait, John I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3467-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Proof, language, and interaction essays in honour of Robin Milner için kapak resmi
Proof, language, and interaction essays in honour of Robin Milner
Yazar 
Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç