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)

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)

Pichler, Franz. editor.

(1)

Tümünü genişlet

Dil

(118)

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)

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)

Memory management (Computer science).

(1)

Optical pattern recognition.

(1)

Philosophy (General).

(1)

Science -- Philosophy.

(1)

Semiconductors -- Junctions.

(1)

Systems engineering.

(1)

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

(1)

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

(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

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ç

119 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.

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino için kapak resmi

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

Yazar

Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows için kapak resmi

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

Yazar

Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

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:

5.

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings için kapak resmi

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

Yazar

Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers için kapak resmi

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Yazar

Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers için kapak resmi

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Yazar

Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70952-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers için kapak resmi

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Yazar

Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71156-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings için kapak resmi

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Yazar

Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Nicola, Rocco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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