Search Results for Logic design

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Publication Date: 2007

Author

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)

Language

(118)

Subject

(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)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

119 Results Found

Subscribe to search results

1 2 3 4 5 .. 10

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Wideband Amplifier Design

Wideband Amplifier Design

Wideband Amplifier Design

Author

Hollister, A L

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/SBCS010E

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Author

Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

Nicola, Rocco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Author

Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 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

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 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

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 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

Author

Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Author

Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 10

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11