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)
(1123)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Barthe, Gilles. editor.
(8)
Dix, Jürgen. editor.
(7)
Liu, Zhiming. editor.
(7)
Woodcock, Jim. editor.
(7)
Baldoni, Matteo. editor.
(6)
Bernardo, Marco. editor.
(6)
Governatori, Guido. editor.
(6)
Potapov, Igor. editor.
(6)
Stafford, Judith A. editor.
(6)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Arbab, Farhad. editor.
(5)
Beckert, Bernhard. editor.
(5)
Calude, Cristian S. editor.
(5)
Dastani, Mehdi. editor.
(5)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Fages, François. editor.
(5)
Gorrieri, Roberto. editor.
(5)
Graf, Susanne. editor.
(5)
Leite, João. editor.
(5)
Maciaszek, Leszek A. editor.
(5)
Margaria, Tiziana. editor.
(5)
Martín-Vide, Carlos. editor.
(5)
Meyer, Bertrand. editor.
(5)
Montanari, Ugo. editor.
(5)
Ong, Luke. editor.
(5)
Palsberg, Jens. editor.
(5)
Peled, Doron A. editor.
(5)
Reed, Rick. editor.
(5)
Reussner, Ralf. editor.
(5)
Rossi, Francesca. editor.
(5)
Schwiegelshohn, Uwe. editor.
(5)
Steffen, Bernhard. editor.
(5)
Wolff, Burkhart. editor.
(5)
Zavattaro, Gianluigi. editor.
(5)
Aßmann, Uwe. editor.
(4)
Bravetti, Mario. editor.
(4)
Butler, Michael. editor.
(4)
Crnkovic, Ivica. editor.
(4)
Ehrig, Hartmut. editor.
(4)
Fiadeiro, José Luiz. editor.
(4)
Frachtenberg, Eitan. editor.
(4)
Gibbons, Jeremy. editor.
(4)
Gorton, Ian. editor.
(4)
Havelund, Klaus. editor.
(4)
Heineman, George T. editor.
(4)
Higashino, Teruo. editor.
(4)
Horváth, Zoltán. editor.
(4)
Huisman, Marieke. editor.
(4)
Hähnle, Reiner. editor.
(4)
Ibarra, Oscar H. editor.
(4)
Jacko, Julie A. editor.
(4)
LaMeres, Brock J. author.
(4)
Leucker, Martin. editor.
(4)
Meseguer, José. editor.
(4)
Nicola, Rocco. editor.
(4)
Palanque, Philippe. editor.
(4)
Paschke, Adrian. editor.
(4)
Peña, Ricardo. editor.
(4)
Rensink, Arend. editor.
(4)
Roever, Willem-Paul. editor.
(4)
Schürr, Andy. editor.
(4)
Sirjani, Marjan. editor.
(4)
Son, Tran Cao. editor.
(4)
Torroni, Paolo. editor.
(4)
Ungerer, Theo. editor.
(4)
Veith, Helmut. editor.
(4)
Winikoff, Michael. editor.
(4)
Wolf, Karsten. editor.
(4)
Zeugmann, Thomas. editor.
(4)
Zsók, Viktória. editor.
(4)
Alpuente, María. editor.
(3)
Bensalem, Saddek. editor.
(3)
Bordini, Rafael H. editor.
(3)
Broy, Manfred. editor.
(3)
Bruni, Roberto. editor.
(3)
Butterfield, Andrew. editor.
(3)
Cavalcanti, Ana. editor.
(3)
Cook, Byron. editor.
(3)
Corradini, Andrea. editor.
(3)
Damiani, Ferruccio. editor.
(3)
Dediu, Adrian-Horia. editor.
(3)
Derrick, John. editor.
(3)
Eekelen, Marko. editor.
(3)
Fallah Seghrouchni, Amal. editor.
(3)
Fisher, Michael. editor.
(3)
Fomin, Fedor V. editor.
(3)
Fu, Haohuan. editor.
(3)
Gavrilova, Marina L. editor.
(3)
Grumberg, Orna. editor.
(3)
Guelfi, Nicolas. editor.
(3)
Hartman, Alan. editor.
(3)
Heckel, Reiko. editor.
(3)
Hermanns, Holger. editor.
(3)
Hofmeister, Christine. editor.
(3)
Horimoto, Katsuhisa. editor.
(3)
Jones, Cliff B. editor.
(3)
Karhumäki, Juhani. editor.
(3)
Katz, Shmuel. editor.
(3)
Khurshid, Sarfraz. editor.
(3)
Koutny, Maciej. editor.
(3)
Kreowski, Hans-Jörg. editor.
(3)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(3)
Kučera, Antonín. editor.
(3)
Lees, Michael Harold. editor.
(3)
Leuschel, Michael. editor.
(3)
Li, Jinwen. editor.
(3)
Lopes, Antónia. editor.
(3)
Majumdar, Rupak. editor.
(3)
Markov, Igor L. author.
(3)
Mayr, Heinrich C. editor.
(3)
Małuszyński, Jan. editor.
(3)
Merayo, Mercedes G. editor.
(3)
Mezini, Mira. editor.
(3)
Métais, Elisabeth. editor.
(3)
Nerode, Anil. editor.
(3)
Núñez, Manuel. editor.
(3)
Omicini, Andrea. editor.
(3)
Orejas, Fernando. editor.
(3)
Ossowski, Sascha. editor.
(3)
Paige, Richard F. editor.
(3)
Paulin-Mohring, Christine. editor.
(3)
Pfenning, Frank. editor.
(3)
Plasil, Frantisek. editor.
(3)
Podelski, Andreas. editor.
(3)
Pol, Jaco. editor.
(3)
Queiroz, Ruy. editor.
(3)
Rahonis, George. editor.
(3)
Riemsdijk, M. Birna. editor.
(3)
Roşu, Grigore. editor.
(3)
Salaün, Gwen. editor.
(3)
Sardina, Sebastian. editor.
(3)
Schmidt, Heinz W. editor.
(3)
Schätz, Bernhard. editor.
(3)
Sebastiani, Roberto. editor.
(3)
Shi, Yong. editor.
(3)
Sichman, Jaime Simão. editor.
(3)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(3)
Sokolsky, Oleg. editor.
(3)
Steffen, Martin. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Szyperski, Clemens. editor.
(3)
Taentzer, Gabriele. editor.
(3)
Tian, Yingjie. editor.
(3)
Torre, Leon. editor.
(3)
Vallecillo, Antonio. editor.
(3)
Vasconcelos, Wamberto. editor.
(3)
Vidal, Germán. editor.
(3)
Virbitskaite, Irina. editor.
(3)
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
(3)
Wirsing, Martin. editor.
(3)
Xiao, Liquan. editor.
(3)
Xu, Weixia. editor.
(3)
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
(3)
Aalst, Wil M. P. editor.
(2)
Abdulla, Parosh Aziz. editor.
(2)
Aceto, Luca. editor.
(2)
Alfaro, Luca. editor.
(2)
Allemang, Dean. editor.
(2)
Anguita, Davide. author.
(2)
Artemov, Sergei. editor.
(2)
Ayala, José L. editor.
(2)
Baader, Franz. editor.
(2)
Baroglio, Cristina. editor.
(2)
Becker, Steffen. editor.
(2)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Bin, Eyal. editor.
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bjørner, Dines. author.
(2)
Bjørner, Nikolaj. editor.
(2)
Boella, Guido. editor.
(2)
Boissier, Olivier. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Book, Matthias. editor.
(2)
Bouajjani, Ahmed. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Bozapalidis, Symeon. editor.
(2)
Brand, Mark. editor.
(2)
Caro, Jaime. editor.
(2)
Castagna, Giuseppe. editor.
(2)
Cerone, Antonio. editor.
(2)
Cervesato, Iliano. editor.
(2)
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
(2)
Chechik, Marsha. editor.
(2)
Chen, Jianer. editor.
(2)
Chitil, Olaf. editor.
(2)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
Cimatti, Alessandro. editor.
(2)
Cooper, S. Barry. editor.
(2)
Cortellessa, Vittorio. editor.
(2)
Cousot, Radhia. editor.
(2)
Das, Vinu V. editor.
(2)
Davies, Jim. editor.
(2)
Dawar, Anuj. editor.
(2)
Decker, Stefan. editor.
(2)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(1140)
German
(9)
Turkish
(2)
Italian
(1)
Yayın Yılı
Dahil
Hariç
-
2012
(128)
2007
(117)
2011
(114)
2013
(113)
2010
(112)
2005
(110)
2018
(105)
2009
(99)
2006
(98)
2008
(97)
2019
(38)
2014
(4)
2023
(3)
1991
(2)
2000
(2)
2003
(2)
2015
(2)
1974
(1)
1979
(1)
1985
(1)
1990
(1)
1992
(1)
2002
(1)
2004
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(343)
Computer Communication Networks.
(288)
Computer software.
(201)
Logics and Meanings of Programs.
(104)
Information Systems.
(100)
Computational complexity.
(96)
Operating systems (Computers).
(95)
Information systems.
(66)
Algebra -- Data processing.
(65)
Information theory.
(58)
Mathematical Logic and Formal Languages.
(55)
Computer simulation.
(54)
Computer system performance.
(51)
Programming Languages, Compilers, Interpreters.
(49)
Computer network architectures.
(47)
Data structures (Computer science).
(45)
Information storage and retrieval systems.
(43)
Systems engineering.
(33)
Artificial Intelligence (incl. Robotics).
(31)
Logic, Symbolic and mathematical.
(31)
Engineering.
(24)
Multimedia systems.
(24)
Computation by Abstract Devices.
(23)
Electronic data processing.
(23)
Programming Techniques.
(23)
Data mining.
(22)
Algorithm Analysis and Problem Complexity.
(21)
Data protection.
(21)
Database management.
(18)
Microprocessors.
(17)
Bioinformatics.
(16)
Coding theory.
(15)
Computer aided design.
(15)
Electronic circuits.
(15)
Information Systems Applications (incl. Internet).
(15)
Data transmission systems.
(14)
Electronics.
(14)
Algorithms.
(13)
Data encryption (Computer science).
(13)
Computer security.
(12)
Computer vision.
(12)
Discrete Mathematics in Computer Science.
(12)
Management information systems.
(12)
Management of Computing and Information Systems.
(12)
Computer hardware.
(11)
Computer industry.
(10)
Digital electronics.
(9)
Computer organization.
(8)
Data structures (Computer scienc.
(8)
Microprogramming.
(8)
Computers.
(7)
Logic circuits.
(7)
Mathematics.
(7)
Memory management (Computer science).
(7)
Programming languages (Electronic computers).
(7)
Translators (Computer programs).
(7)
Simulation and Modeling.
(6)
Computer architecture.
(5)
Computer communication systems.
(5)
Information Storage and Retrieval.
(5)
Mathematical Logic and Foundations.
(5)
Microprogramming .
(5)
Operating Systems.
(5)
Optical pattern recognition.
(5)
Social sciences -- Data processing.
(5)
Special Purpose and Application-Based Systems.
(5)
Symbolic and Algebraic Manipulation.
(5)
Theory of Computation.
(5)
Arithmetic and Logic Structures.
(4)
Computer Science, general.
(4)
Data Mining and Knowledge Discovery.
(4)
Electronic books.
(4)
Electronic digital computers -- Circuits.
(4)
Logic.
(4)
Math Applications in Computer Science.
(4)
Mathematics of Computing.
(4)
Probability and Statistics in Computer Science.
(4)
Processor Architectures.
(4)
Software Engineering/Programming and Operating Systems.
(4)
Telecommunication.
(4)
Architecture, Computer.
(3)
Circuits and Systems.
(3)
Computational Biology/Bioinformatics.
(3)
Computer Appl. in Administrative Data Processing.
(3)
Education.
(3)
Electronic Circuits and Systems.
(3)
Engineering design.
(3)
MANTIKSAL DEVRELER.
(3)
MANTIKSAL TASARIM.
(3)
Mathematical logic.
(3)
Monoclonal antibodies.
(3)
Performance and Reliability.
(3)
System Performance and Evaluation.
(3)
Text processing (Computer science.
(3)
Algebra.
(2)
Application-specific integrated circuits.
(2)
Arithmetic and logic units, Computer.
(2)
Business Information Systems.
(2)
Computational intelligence.
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(2)
Computer engineering.
(2)
Computer system failures.
(2)
Control Structures and Microprogramming.
(2)
Digital integrated circuits.
(2)
Electrical engineering.
(2)
Electronic circuits--Testing.
(2)
Engineering mathematics.
(2)
Information and Communication, Circuits.
(2)
Input-output equipment (Computers).
(2)
Integrated circuits.
(2)
Linear integrated circuits.
(2)
Logic circuits--Computer-aided design.
(2)
Mantıksal Devreler.
(2)
Mantıksal tasarım.
(2)
Memory Structures.
(2)
Nanotechnology.
(2)
Philosophy (General).
(2)
Physics.
(2)
Signal processing.
(2)
Systems and Data Security.
(2)
User Interfaces and Human Computer Interaction.
(2)
Amplifiers (Electronics).
(1)
Analog-to-digital converters.
(1)
Application software.
(1)
Asynchronous circuits -- Design and construction.
(1)
Bilgisayar.
(1)
Bipolar transistors.
(1)
Calibration.
(1)
Chemistry -- Mathematics.
(1)
Chemistry.
(1)
Coding and Information Theory.
(1)
Computational linguistics.
(1)
Computer Appl. in Social and Behavioral Sciences.
(1)
Computer Systems Organization and Communication Networks.
(1)
Computer graphics.
(1)
Computer integrated manufacturing systems.
(1)
Computer interfaces.
(1)
Computer logic.
(1)
Computer programming.
(1)
Computer science—Mathematics.
(1)
Computerarchitektur.
(1)
Computers -- Law and legislation.
(1)
Computers and Education.
(1)
Computers and civilization.
(1)
Computing Methodologies.
(1)
Control engineering systems.
(1)
Control theory.
(1)
Conversion.
(1)
Data Structures, Cryptology and Information Theory.
(1)
Data Structures.
(1)
Design.
(1)
Detectors.
(1)
Digital integrated circuits -- Design and construction.
(1)
Digital multimeters.
(1)
Digital video.
(1)
Discrete cosine transforms.
(1)
Discrete groups.
(1)
Document Preparation and Text Processing.
(1)
ELEKTRONİK SAYISAL BİLGİSAYARLAR -- DEVRELER.
(1)
Economics.
(1)
Economics/Management Science.
(1)
Electric networks, Passive.
(1)
Electronic apparatus and appliances.
(1)
Electronic instruments, Digital.
(1)
Electronics and Microelectronics, Instrumentation.
(1)
Elektronik Sayısal Bilgisayarlar -- Devreler.
(1)
Elektronik sayısal bilgisayarlar -- Devreler.
(1)
Expert systems (Computer science).
(1)
Feedback (Electronics).
(1)
Feedforward control systems.
(1)
Genetic epistemology.
(1)
History of Computing.
(1)
History of Mathematical Sciences.
(1)
Information Systems and Communication Service.
(1)
Instruments--Display systems.
(1)
Integrated circuits--Design and construction.
(1)
Integrated circuits--Testing.
(1)
Integrated circuits--Very large scale integration.
(1)
Linear systems.
(1)
Linguistics -- Philosophy.
(1)
Logic circuits -- Design and construction.
(1)
Mantıksal Tasarım.
(1)
Mantıksal devreler.
(1)
Matematiksel mantık.
(1)
Mathematical Applications in Computer Science.
(1)
Mathematical analysis.
(1)
Medical records -- Data processing.
(1)
Memory management (Computer scie.
(1)
Microcomputers--Buses.
(1)
Microwave amplifiers.
(1)
Mikrocontroller.
(1)
Models and Principles.
(1)
Molecular electronics.
(1)
Natural language processing (Computer science).
(1)
Nonlinear control theory.
(1)
Numeric Computing.
(1)
Numerical analysis.
(1)
Operational amplifiers.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Kitap
Shelf Location
Dahil
Hariç
Beytepe Genel Koleksiyon
CRC Ekitapları
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Beytepe Kütüphanesi
Ç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
1153 sonuç bulundu
1
..
93
94
95
96
97
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.
1.
The Development of a Strategy for Integrated Manufacturing Systems
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:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
93
94
95
96
97
