Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1160)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Dil
Yayın Yılı
-
Konu
Logic design.
(1147)
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(344)
Computer Communication Networks.
(288)
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ç
1235 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000000000000000000000DEFAULT_TR
Yazdır
1201. 
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings için kapak resmi
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings
Yazar 
Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137793
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1202. 
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings için kapak resmi
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Yazar 
Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136996
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1203. 
Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings için kapak resmi
Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Yazar 
Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137217
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1204. 
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings için kapak resmi
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
Yazar 
Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1205. 
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers için kapak resmi
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Yazar 
Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107183
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1206. 
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105887
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1207. 
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers için kapak resmi
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Yazar 
Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136154
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1208. 
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings için kapak resmi
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Yazar 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11590156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1209. 
Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings için kapak resmi
Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings
Yazar 
Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11580072
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1210. 
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings için kapak resmi
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings
Yazar 
Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11587514
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1211. 
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning için kapak resmi
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
Yazar 
Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106974
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1212. 
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Yazar 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1213. 
Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports için kapak resmi
Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
Yazar 
Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104146
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1214. 
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers için kapak resmi
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Yazar 
Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105030
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1215. 
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings için kapak resmi
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Yazar 
Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11589976
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1216. 
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings için kapak resmi
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Yazar 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11575467
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1217. 
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings için kapak resmi
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Yazar 
Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11576280
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1218. 
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Yazar 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1219. 
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers için kapak resmi
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
Yazar 
Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1220. 
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:
1221. 
Demystifying chipmaking için kapak resmi
Demystifying chipmaking
Yazar 
Yanda, Richard F. Heynes, Michael. Miller, Anne K.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750677608
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1222. 
A Baker's dozen real analog solutions for digital designers için kapak resmi
A Baker's dozen real analog solutions for digital designers
Yazar 
Baker, Bonnie (Bonnie C.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678193
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1223. 
Computer-aided intelligent recognition techniques and applications için kapak resmi
Computer-aided intelligent recognition techniques and applications
Yazar 
Sarfraz, Muhammad. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/0470094168
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1224. 
Sayısal devrelerde mantıksal tasarım için kapak resmi
Sayısal devrelerde mantıksal tasarım
Yazar 
Yarımağan, Ünal.
Yer Numarası 
TK7888.4 Y37 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1225. 
Digital and Analogue Instrumentation Testing and measurement için kapak resmi
Digital and Analogue Instrumentation Testing and measurement
Yazar 
Kularatna, Nihal
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBEL011E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1226. 
Verilog coding for logic synthesis için kapak resmi
Verilog coding for logic synthesis
Yazar 
Lee, Weng Fook. John Wiley & Sons, Inc.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html
John Wiley http://dx.doi.org/10.1002/0471457566
http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736
Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1227. 
The mechatronics handbook için kapak resmi
The mechatronics handbook
Yazar 
Bishop, Robert H., 1957- ISA--The Instrumentation, Systems, and Automation Society.
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:
1228. 
Instrument engineers' handbook. Process software and digital networks için kapak resmi
Instrument engineers' handbook. Process software and digital networks
Yazar 
Liptk̀, Bľa G. Liptk̀, Bľa G. Instrument engineers' handbook. Process measurement and analysis. Liptk̀, Bľa G. Instrument engineers' handbook. Process control.
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:
1229. 
Engineering digital design için kapak resmi
Engineering digital design
Yazar 
Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780126912951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1230. 
Small Signal Microwave Amplifier Design için kapak resmi
Small Signal Microwave Amplifier Design
Yazar 
Grosch, Theodore
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/SBEW032E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1231. 
Algorithmic and Knowledge-based CAD for VLSI için kapak resmi
Algorithmic and Knowledge-based CAD for VLSI
Yazar 
Taylor, Gaynor, ed. Russell, Gordon, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCS004E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1232. 
Analogue-digital ASICs Circuit techniques, design tools and applications için kapak resmi
Analogue-digital ASICs Circuit techniques, design tools and applications
Yazar 
Soin, R. S., ed. Maloberti, F., ed. Franca, J., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCS003E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1233. 
Practical programmable circuits a guide to PLDs, state machines, and microcontrollers için kapak resmi
Practical programmable circuits a guide to PLDs, state machines, and microcontrollers
Yazar 
Broesch, James D.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780121348854
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1234. 
The Development of a Strategy for Integrated Manufacturing Systems için kapak resmi
The Development of a Strategy for Integrated Manufacturing Systems
Yazar 
Schofield, N. A., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBME012E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1235. 
Spectral techniques and fault detection için kapak resmi
Spectral techniques and fault detection
Yazar 
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç