Search Results for Logic design

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Yayın Yılı: 2007

Yazar

SpringerLink (Online service)

(114)

Jacko, Julie A. editor.

(4)

Liu, Zhiming. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Woodcock, Jim. editor.

(3)

Bonsangue, Marcello M. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Gibbons, Jeremy. editor.

(2)

Jones, Cliff B. editor.

(2)

Kordon, Fabrice. editor.

(2)

Montanari, Ugo. editor.

(2)

Sokolsky, Oleg. editor.

(2)

Stafford, Judith A. editor.

(2)

Stenström, Per. editor.

(2)

Voronkov, Andrei. editor.

(2)

Aberer, Karl. editor.

(1)

Akehurst, David H. editor.

(1)

Aldini, Alessandro. editor.

(1)

Allemang, Dean. editor.

(1)

Altenkirch, Thorsten. editor.

(1)

Anai, Hirokazu. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Arbab, Farhad. editor.

(1)

Artemov, Sergei N. editor.

(1)

Arvind, V. editor.

(1)

Azevedo, Francisco. editor.

(1)

Azémard, Nadine. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Backhouse, Roland. editor.

(1)

Barahona, Pedro. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bauer, Jörg. editor.

(1)

Beckert, Bernhard. editor.

(1)

Bemporad, Alberto. editor.

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Bicchi, Antonio. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Bin, Eyal. editor.

(1)

Bishop, Robert H., 1957- editor.

(1)

Blandford, Ann. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. editor.

(1)

Boissier, Olivier. editor.

(1)

Bondavalli, Andrea. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bosschere, Koen. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Bošnački, Dragan. editor.

(1)

Bradley, Aaron R. author.

(1)

Brandt, Jens. editor.

(1)

Brasileiro, Francisco. editor.

(1)

Brim, Luboš. editor.

(1)

Bruni, Roberto. editor.

(1)

Buchs, Didier. editor.

(1)

Butler, Michael. editor.

(1)

Buttazzo, Giorgio. editor.

(1)

Butterfield, Andrew. editor.

(1)

Caires, Luís. editor.

(1)

Cervesato, Iliano. editor.

(1)

Chen, Wai-Kai, 1936-

(1)

Cho, Sangyeun. editor.

(1)

Choi, Key-Sun. editor.

(1)

Choi, Lynn. editor.

(1)

Comon-Lundh, Hubert. editor.

(1)

Concas, Giulio. editor.

(1)

Coninx, Karin. editor.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Dahl, Véronica. editor.

(1)

Damiani, Ernesto. editor.

(1)

Damm, Werner. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Jim. editor.

(1)

Decker, Stefan. editor.

(1)

Derrick, John. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dignum, Virginia. editor.

(1)

Dix, Jürgen. editor.

(1)

Doherty, Gavin. editor.

(1)

Duparc, Jacques. editor.

(1)

Durand-Lose, Jérôme. editor.

(1)

Dwyer, Matthew B. editor.

(1)

Ernst, Erik. editor.

(1)

Fages, François. editor.

(1)

Fahringer, Thomas. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Filé, Gilberto. editor.

(1)

Fokkink, Wan. author.

(1)

Fornara, Nicoletta. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

(1)

Gaudin, Emmanuel. editor.

(1)

George, Chris W. editor.

(1)

Goel, Ashok K., 1953-

(1)

Golbeck, Jennifer. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Graf, Susanne. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grumberg, Orna. editor.

(1)

Grädel, Erich. author.

(1)

Guelfi, Nicolas. editor.

(1)

(1)

Gurevich, Yuri. editor.

(1)

Hanus, Michael. editor.

(1)

Harju, Tero. editor.

(1)

Harris, David Money.

(1)

Harris, Sarah L.

(1)

Haveraaen, Magne. editor.

(1)

Haverkort, Boudewijn. editor.

(1)

Heineman, George T. editor.

(1)

Henze, Nicola. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermanns, Holger. editor.

(1)

Heymans, Patrick. editor.

(1)

Higashino, Teruo. editor.

(1)

Hillston, Jane. editor.

(1)

Hinchey, Michael G. editor.

(1)

Hinze, Ralf. editor.

(1)

(1)

Holub, Jan. editor.

(1)

Horimoto, Katsuhisa. editor.

(1)

Horváth, Zoltán. editor.

(1)

Huth, Michael. editor.

(1)

Hähnle, Reiner. editor.

(1)

Indulska, Jadwiga. editor.

(1)

Jeuring, Johan. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Hilary. editor.

(1)

Kaeli, David. editor.

(1)

Kang, Lishan. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kedad, Zoubida. editor.

(1)

Kirchner, Claude. editor.

(1)

Kirchner, Hélène. editor.

(1)

Kolaitis, Phokion G. author.

(1)

Krishnamurthi, Shriram. editor.

(1)

Kutsia, Temur. editor.

(1)

Kučera, Antonín. editor.

(1)

Kučera, Luděk. editor.

(1)

Lala, Parag K., 1948-

(1)

Lammari, Nadira. editor.

(1)

Larrondo-Petrie, María M. editor.

(1)

Lee, Kyung-Il. editor.

(1)

Lepistö, Arto. editor.

(1)

Leucker, Martin. editor.

(1)

Libkin, Leonid. author.

(1)

Liblit, Ben. author.

(1)

Liu, Yong. editor.

(1)

Lomuscio, Alessio. editor.

(1)

Lopes, Antónia. editor.

(1)

Lumpe, Markus. editor.

(1)

Luyten, Kris. editor.

(1)

Manna, Zohar. author.

(1)

Marchiori, Massimo. editor.

(1)

Margenstern, Maurice. editor.

(1)

Marie, Christian de Sainte. editor.

(1)

Marx, Maarten. author.

(1)

Matson, Eric. editor.

(1)

Maynard, Diana. editor.

(1)

McBride, Conor. editor.

(1)

Meuter, Wolfgang. editor.

(1)

Meyer, Bertrand. editor.

(1)

Meziane, Farid. editor.

(1)

Miguel, Ian. editor.

(1)

Mika, Peter. editor.

(1)

Mizoguchi, Riichiro. editor.

(1)

Moreno Díaz, Roberto. editor.

(1)

Mossakowski, Till. editor.

(1)

Métais, Elisabeth. editor.

(1)

Najm, Elie. editor.

(1)

Namjoshi, Kedar S. editor.

(1)

Nerode, Anil. editor.

(1)

Nicola, Rocco. editor.

(1)

Nielson, Flemming. author.

(1)

Nielson, Hanne Riis. author.

(1)

Nielson, Hanne Riis. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Nixon, Lyndon. editor.

(1)

Noriega, Pablo. editor.

(1)

Noy, Natasha. editor.

(1)

Odersky, Martin. editor.

(1)

Okada, Mitsu. editor.

(1)

Okamura, Yoshio. editor.

(1)

Oster, Norbert. editor.

(1)

Overhage, Sven. editor.

(1)

Padgham, Lin. editor.

(1)

Paech, Barbara. editor.

(1)

Paek, Yunheung. editor.

(1)

Paige, Richard F. editor.

(1)

Paillier, Pascal. editor.

(1)

Palanque, Philippe. editor.

(1)

Pan, Jeff Z. editor.

(1)

Paschke, Adrian. editor.

(1)

Patranjan, Paula-Lavinia. editor.

(1)

Petrenko, Alexandre. editor.

(1)

Pfenning, Frank. editor.

(1)

Tümünü genişlet

Dil

(119)

Konu

(117)

Computer science.

(114)

Software engineering.

(80)

Computer Communication Networks.

(44)

Artificial intelligence.

(25)

Information Systems.

(14)

Computer software.

(13)

Information storage and retrieval systems.

(12)

Multimedia systems.

(12)

Operating systems (Computers).

(10)

Algebra -- Data processing.

(8)

Computer system performance.

(7)

Information systems.

(7)

Data structures (Computer science).

(6)

Computer simulation.

(5)

Computational complexity.

(4)

Data protection.

(4)

Computer network architectures.

(3)

Data transmission systems.

(3)

Logic, Symbolic and mathematical.

(3)

Bioinformatics.

(2)

(2)

Computer aided design.

(2)

Data encryption (Computer science).

(2)

(2)

Database management.

(2)

Digital electronics.

(2)

Information theory.

(2)

Management information systems.

(2)

(1)

Amplifiers (Electronics).

(1)

COMPUTERS -- Logic Design.

(1)

COMPUTERS / Systems Architecture / General.

(1)

Computer architecture.

(1)

Electric networks, Passive.

(1)

Electronic books.

(1)

Electronic data processing.

(1)

Integrated circuits -- Very large scale integration -- Computer simulation.

(1)

Integrated circuits -- Very large scale integration.

(1)

Linguistics -- Philosophy.

(1)

Logic circuits -- Design and construction.

(1)

(1)

(1)

Memory management (Computer science).

(1)

Optical pattern recognition.

(1)

Philosophy (General).

(1)

Programmable controllers.

(1)

Science -- Philosophy.

(1)

Semiconductors -- Junctions.

(1)

Systems engineering.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.

(1)

TECHNOLOGY & ENGINEERING / Electronics / General.

(1)

Telecommunication.

(1)

Very high speed integrated circuits -- Defects -- Mathematical models.

(1)

Very high speed integrated circuits -- Mathematical models.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

120 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 10

000000000000DEFAULT_TR

Yazdır

Liste seç

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.

Mechatronic system control, logic, and data acquisition için kapak resmi

Mechatronic system control, logic, and data acquisition

Mechatronic system control, logic, and data acquisition

Yazar

Bishop, Robert H., 1957- editor. Taylor and Francis.

Yer Numarası

TJ223 .P76 M43 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers için kapak resmi

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Yazar

Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70881-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers için kapak resmi

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Yazar

Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70889-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings için kapak resmi

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Yazar

Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71493-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers için kapak resmi

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Yazar

Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71035-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Yazar

Puebla, Germán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71410-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers için kapak resmi

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Yazar

Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71956-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers için kapak resmi

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71998-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures için kapak resmi

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Yazar

Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72522-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I için kapak resmi

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Yazar

Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73279-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II için kapak resmi

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Yazar

Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73281-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III için kapak resmi

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Yazar

Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73283-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 10

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11