Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(100)
Baldoni, Matteo. editor.
(2)
Bjørner, Dines. author.
(2)
Dix, Jürgen. editor.
(2)
Endriss, Ulle. editor.
(2)
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
102 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Digital logic and microprocessor design with VHDL için kapak resmi
Digital logic and microprocessor design with VHDL
Yazar 
Hwang, Enoch O.
Yer Numarası 
TK7888.4 .H885 2006
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2. 
Low-power CMOS circuits technology, logic design and CAD tools için kapak resmi
Low-power CMOS circuits technology, logic design and CAD tools
Yazar 
Piguet, Christian.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines için kapak resmi
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
Yazar 
Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-33459-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Fundamentals of Switching Theory and Logic Design A Hands on Approach için kapak resmi
Fundamentals of Switching Theory and Logic Design A Hands on Approach
Yazar 
Astola, Jaakko T. author. Stanković, Radomir S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-30311-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
A Roadmap for Formal Property Verification için kapak resmi
A Roadmap for Formal Property Verification
Yazar 
DasGupta, Pallab. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Modern Formal Methods and Applications için kapak resmi
Modern Formal Methods and Applications
Yazar 
Gabbar, Hossam A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4223-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theoretical Introduction to Programming için kapak resmi
Theoretical Introduction to Programming
Yazar 
Mills, Bruce. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-263-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems için kapak resmi
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Yazar 
Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-336-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings
Yazar 
Hentenryck, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11603023
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings için kapak resmi
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
Yazar 
Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11682462
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers için kapak resmi
Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
Yazar 
Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11683704
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Yazar 
Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11690634
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets