Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
8
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Konu: Logic design.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(49)
Markov, Igor L. author.
(3)
Lienig, Jens. author.
(2)
Schätz, Bernhard. editor.
(2)
Svensson, Lars. editor.
(2)
Amano, Hideharu. editor.
(1)
Anderson, Thomas. editor.
(1)
Anguita, Davide. author.
(1)
Atkinson, Colin. editor.
(1)
Austin, Todd. editor.
(1)
Azemard, Nadine. editor.
(1)
Azémard, Nadine. editor.
(1)
Bailey, Brian. editor.
(1)
Barkalov, Alexander. author.
(1)
Barkalov, Alexander. editor.
(1)
Beckert, Bernhard. editor.
(1)
Ben Jamaa, M. Haykel. author.
(1)
Bertacco, Valeria. author.
(1)
Bjørner, Dines. author.
(1)
Boer, Frank S. editor.
(1)
Bombieri, Nicola. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Borowik, Bohdan. author.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Brat, Guillaume. editor.
(1)
Bravetti, Mario. editor.
(1)
Brayton, Robert K. author.
(1)
Breu, Ruth. editor.
(1)
Catthoor, Francky. author.
(1)
Chakravarty, Tapas. author.
(1)
Chang, Kai-hui. author.
(1)
Clarke, Peter. editor.
(1)
Coussy, Philippe. editor.
(1)
Czerwinski, Robert. author.
(1)
Damiani, Ferruccio. editor.
(1)
Das, Anup Kumar. author.
(1)
DasGupta, Pallab. author.
(1)
Dietrich, Manfred. editor.
(1)
Donzellini, Giuliano. author.
(1)
Dubey, Rahul. author.
(1)
Forbrig, Peter. editor.
(1)
France, Robert B. editor.
(1)
Fujita, Masahiro. editor.
(1)
Gavrilova, Marina L. editor.
(1)
Giese, Holger. editor.
(1)
Gorbenko, Anatoliy. editor.
(1)
Gray, Jeff. editor.
(1)
Gulliksen, Jan. editor.
(1)
Hariyama, Masanori. author.
(1)
Harning, Morton Borup. editor.
(1)
Hayes, John P. author.
(1)
Hu, Jin. author.
(1)
Hung, Dang. editor.
(1)
Kahng, Andrew B. author.
(1)
Kania, Dariusz. author.
(1)
Karpinskyy, Mykola. author.
(1)
Karsai, Gabor. editor.
(1)
Kazmeier, Jürgen. editor.
(1)
Kemnitz, Günter. author.
(1)
Kharchenko, Vyacheslav. editor.
(1)
Kloul, Leïla. editor.
(1)
Krishnaswamy, Smita. author.
(1)
Kumar, Akash. author.
(1)
Lahno, Valery. author.
(1)
Lee, Edward. editor.
(1)
Lienig, Jens. editor.
(1)
Lim, Sung Kyu. author.
(1)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(1)
Lämmel, Ralf. editor.
(1)
Martin, Grant. editor.
(1)
Maurine, Philippe. editor.
(1)
Mehta, Ashok B. author.
(1)
Melikyan, Vazgen. author.
(1)
Metzger, Andreas. editor.
(1)
Mishchenko, Alan. author.
(1)
Monteiro, José. editor.
(1)
Morawiec, Adam. editor.
(1)
Moreira, Ana. editor.
(1)
Ogawa, Mizuhito. editor.
(1)
Oneto, Luca. author.
(1)
Palanque, Philippe. editor.
(1)
Papazoglou, Mike P. editor.
(1)
Parkin, Michael. editor.
(1)
Paternò, Fabio. editor.
(1)
Petrenko, Alexandre. author.
(1)
Petrov, Oleksandr. author.
(1)
Phan, Cong-Vinh. editor.
(1)
Pohl, Klaus. editor.
(1)
Ponta, Domenico. author.
(1)
Posthoff, Christian. author.
(1)
Pravadelli, Graziano. editor.
(1)
Reis, Ricardo. editor.
(1)
Romanovsky, Alexander. editor.
(1)
Roosmalen, Alfred. editor.
(1)
Rumpe, Bernhard. editor.
(1)
Rungta, Neha. editor.
(1)
Sangiovanni-Vincentelli, Alberto. author.
(1)
Saraiva, João. editor.
(1)
Sharma, Rohit. author.
(1)
Sinha, Priyabrata. author.
(1)
Steinbach, Bernd. author.
(1)
Sterpone, Luca. author.
(1)
Tan, C. J. Kenneth. editor.
(1)
Teichmann, Philip. author.
(1)
Titarenko, Larysa. author.
(1)
Titarenko, Larysa. editor.
(1)
Uchiyama, Kunio. author.
(1)
Vallecillo, Antonio. editor.
(1)
Veer, Gerrit C. editor.
(1)
Veeravalli, Bharadwaj. author.
(1)
Venet, Arnaud. editor.
(1)
Villa, Tiziano. author.
(1)
Vingron, Shimon P. author.
(1)
Visser, Joost. editor.
(1)
Vounckx, Johan. editor.
(1)
Waidyasooriya, Hasitha Muthumala. author.
(1)
Wesson, Janet. editor.
(1)
Yevtushenko, Nina. author.
(1)
Zavattaro, Gianluigi. editor.
(1)
Zhang, Guo Qi. editor.
(1)
Zhang, Zili. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(45)
German
(3)
Italian
(1)
Yayın Yılı
Dahil
Hariç
-
2013
(9)
2009
(7)
2012
(7)
2018
(7)
2008
(5)
2006
(4)
2011
(4)
2005
(2)
2010
(2)
2007
(1)
2019
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Systems engineering.
(33)
Computer science.
(27)
Engineering.
(21)
Software engineering.
(16)
Electronics.
(10)
Computer system performance.
(8)
Computer Communication Networks.
(7)
Computer aided design.
(7)
Computer simulation.
(6)
Logics and Meanings of Programs.
(6)
Operating systems (Computers).
(5)
Programming Languages, Compilers, Interpreters.
(5)
Mathematics.
(4)
Software Engineering/Programming and Operating Systems.
(4)
Artificial intelligence.
(3)
Circuits and Systems.
(3)
Memory management (Computer science).
(3)
Microprogramming.
(3)
Operating Systems.
(3)
Programming Techniques.
(3)
Computer software.
(2)
Information Systems Applications (incl. Internet).
(2)
Information Systems.
(2)
Multimedia systems.
(2)
Algebra -- Data processing.
(1)
Algorithms.
(1)
Arithmetic and Logic Structures.
(1)
Computational complexity.
(1)
Computer engineering.
(1)
Computer hardware.
(1)
Computer industry.
(1)
Computer network architectures.
(1)
Computer organization.
(1)
Control engineering systems.
(1)
Engineering design.
(1)
Engineering mathematics.
(1)
Information and Communication, Circuits.
(1)
Information systems.
(1)
Management of Computing and Information Systems.
(1)
Mathematical Logic and Formal Languages.
(1)
Nanotechnology.
(1)
Performance and Reliability.
(1)
Physics.
(1)
Simulation and Modeling.
(1)
Symbolic and Algebraic Manipulation.
(1)
System Performance and Evaluation.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
49 sonuç bulundu
1
2
3
4
5
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
One or more items could not be added because you are not logged in.
49.
Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems
Yazar
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
http://dx.doi.org/10.1007/b104217
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
2
3
4
5
