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:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(1027)

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)

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)

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)

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)

Kučera, Antonín. editor.

(3)

Leuschel, Michael. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

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

Sichman, Jaime Simão. editor.

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Wirsing, Martin. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Alfaro, Luca. editor.

(2)

Allemang, Dean. editor.

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

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)

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)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Degano, Pierpaolo. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dignum, Virginia. editor.

(2)

Dingel, Juergen. editor.

(2)

Dinneen, Michael J. editor.

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Dowek, Gilles. author.

(2)

Drossopoulou, Sophia. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Dubois, Catherine. editor.

(2)

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

(2)

D’Argenio, Pedro R. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Language

(1020)

(7)

Publication Date

-

(120)

(114)

(110)

(109)

(109)

(104)

(96)

(94)

(93)

(77)

(1)

Subject

(1027)

Software engineering.

(713)

Artificial intelligence.

(317)

Computer Communication Networks.

(284)

Computer software.

(198)

Logics and Meanings of Programs.

(103)

Information Systems.

(98)

Computational complexity.

(92)

Operating systems (Computers).

(79)

Algebra -- Data processing.

(65)

Information systems.

(64)

Mathematical Logic and Formal Languages.

(55)

Computer simulation.

(54)

Information theory.

(53)

Programming Languages, Compilers, Interpreters.

(49)

Computer system performance.

(48)

Data structures (Computer science).

(44)

Information storage and retrieval systems.

(43)

Computer network architectures.

(37)

Artificial Intelligence (incl. Robotics).

(31)

Logic, Symbolic and mathematical.

(28)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

Programming Techniques.

(23)

(22)

Electronic data processing.

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(20)

Database management.

(17)

Bioinformatics.

(16)

Information Systems Applications (incl. Internet).

(15)

Data transmission systems.

(14)

(13)

Discrete Mathematics in Computer Science.

(12)

Systems engineering.

(12)

Management information systems.

(11)

Management of Computing and Information Systems.

(11)

(10)

Computer vision.

(10)

Computer hardware.

(9)

Data encryption (Computer science).

(9)

Computer aided design.

(8)

Computer industry.

(8)

Memory management (Computer science).

(7)

Translators (Computer programs).

(7)

Simulation and Modeling.

(6)

Information Storage and Retrieval.

(5)

Mathematical Logic and Foundations.

(5)

Operating Systems.

(5)

Optical pattern recognition.

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

Computer security.

(4)

Data Mining and Knowledge Discovery.

(4)

Data structures (Computer scienc.

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

Microprogramming.

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Computational Biology/Bioinformatics.

(3)

(3)

(3)

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

(3)

Telecommunication.

(3)

Text processing (Computer science.

(3)

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

(2)

(2)

Engineering mathematics.

(2)

Memory Structures.

(2)

Processor Architectures.

(2)

Social sciences -- Data processing.

(2)

Systems and Data Security.

(2)

User Interfaces and Human Computer Interaction.

(2)

Business Information Systems.

(1)

Chemistry -- Mathematics.

(1)

(1)

Circuits and Systems.

(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 engineering.

(1)

Computer graphics.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

(1)

Computing Methodologies.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Linguistics -- Philosophy.

(1)

Mathematical Applications in Computer Science.

(1)

Models and Principles.

(1)

Numeric Computing.

(1)

Operations research.

(1)

Pattern Recognition.

(1)

Philosophy (General).

(1)

Register-Transfer-Level Implementation.

(1)

Science -- Philosophy.

(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

1027 Results Found

Subscribe to search results

1 2 3 4 5 .. 86

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 Design, Analysis and Test of Logic Circuits Under Uncertainty

Design, Analysis and Test of Logic Circuits Under Uncertainty

Design, Analysis and Test of Logic Circuits Under Uncertainty

Author

Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335669.1)

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9644-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Author

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05764-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58415-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Author

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99498-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99906-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Author

Rusu, Vlad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99840-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Author

Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2712-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89960-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73305-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96142-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

Author

Mehta, Ashok B. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59418-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Author

Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94968-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 86

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11