Search Results for Logic design

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

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)

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)

Language

(119)

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)

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)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

120 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 Mechatronic system control, logic, and data acquisition

Mechatronic system control, logic, and data acquisition

Mechatronic system control, logic, and data acquisition

Author

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

Preferred Shelf Number

TJ223 .P76 M43 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

2.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

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

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

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

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

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11