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

Author

SpringerLink (Online service)

(201)

Rozenberg, Grzegorz. editor.

(7)

Fages, François. editor.

(5)

Potapov, Igor. editor.

(5)

Rossi, Francesca. editor.

(5)

Ehrig, Hartmut. editor.

(4)

Schwiegelshohn, Uwe. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Bensalem, Saddek. editor.

(3)

Calude, Cristian S. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Frachtenberg, Eitan. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Kučera, Antonín. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Queiroz, Ruy. editor.

(3)

Schürr, Andy. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Chen, Jianer. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cooper, S. Barry. editor.

(2)

Dawar, Anuj. editor.

(2)

Derrick, John. editor.

(2)

Du, Ding-Zhu. editor.

(2)

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

(2)

Eekelen, Marko. editor.

(2)

Fomin, Fedor V. editor.

(2)

Gnesi, Stefania. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Královič, Rastislav. editor.

(2)

Li, Angsheng. editor.

(2)

Li, Jin. editor.

(2)

Liu, Zhiming. editor.

(2)

Margenstern, Maurice. editor.

(2)

Ong, Luke. editor.

(2)

Reeves, Steve. editor.

(2)

Rudolph, Larry. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Schmidt, Renate A. editor.

(2)

Seki, Shinnosuke. editor.

(2)

Shkaravska, Olha. editor.

(2)

Sicard, Gilles. editor.

(2)

Steffen, Martin. editor.

(2)

Stephan, Frank. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Timmis, Jon. editor.

(2)

Vaidya, Jaideep. editor.

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Yli-Jyrä, Anssi. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Ablayev, Farid. editor.

(1)

Aceto, Luca. editor.

(1)

Agrawal, Manindra. editor.

(1)

Albers, Susanne. editor.

(1)

Alt, Helmut. editor.

(1)

Antoš, David. editor.

(1)

Arun-Kumar, S. editor.

(1)

Arvind, V. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Ayala, José L. editor.

(1)

Azevedo, Francisco. editor.

(1)

Baker, Paul. editor.

(1)

Banerjee, Mohua. editor.

(1)

Barahona, Pedro. editor.

(1)

Barringer, Howard. editor.

(1)

Barthe, Gilles. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Birattari, Mauro. editor.

(1)

Blass, Andreas. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blesa, María J. editor.

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Blum, Christian. editor.

(1)

Bodlaender, Hans L. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bornstein, Claudson. editor.

(1)

Bouchou-Markhoff, Béatrice. editor.

(1)

Bouda, Jan. editor.

(1)

Bournez, Olivier. editor.

(1)

Bradley, Aaron R. author.

(1)

Brattka, Vasco. editor.

(1)

Bravetti, Mario. editor.

(1)

Bshouty, Nader H. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Butler, Michael. editor.

(1)

Carlsson, Mats. editor.

(1)

Caron, Pascal. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cerone, Antonio. editor.

(1)

Cervesato, Iliano. editor.

(1)

Champarnaud, Jean-Marc. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Charatonik, Witold. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chattopadhyay, Sanatan. editor.

(1)

Chattopadhyay, Santanu. editor.

(1)

Chen, Danny Z. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Clarke, Edmund. editor.

(1)

Coecke, Bob. editor.

(1)

Coelho, Helder. editor.

(1)

Cohen, David. editor.

(1)

Constable, Robert L. editor.

(1)

Coppo, Mario. editor.

(1)

Corby, Olivier. editor.

(1)

Corradini, Andrea. editor.

(1)

Correa, José R. editor.

(1)

Croitoru, Madalina. editor.

(1)

Dams, Dennis. editor.

(1)

Datta, Anupam. editor.

(1)

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

(1)

Degano, Pierpaolo. editor.

(1)

Delzanno, Giorgio. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dinneen, Michael J. editor.

(1)

Domaratzki, Michael. editor.

(1)

Dong, Yingfei. editor.

(1)

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

(1)

Dowek, Gilles. author.

(1)

Downey, Rod. editor.

(1)

Duan, Zhenhua. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Durand, Bruno. editor.

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

Eiter, Thomas. editor.

(1)

Engels, Gregor. editor.

(1)

Fahrenberg, Uli. editor.

(1)

Falcone, Ylies. editor.

(1)

Faltings, Boi V. editor.

(1)

Faria, Luerbio. editor.

(1)

Farré, Jacques. editor.

(1)

Feitelson, Dror G. editor.

(1)

Feitelson, Dror. editor.

(1)

Feng, Xinyu. editor.

(1)

Fernau, Henning. editor.

(1)

Fiala, Jiří. editor.

(1)

Finkbeiner, Bernd. editor.

(1)

Finkel, Alain. editor.

(1)

Fitzgerald, John. editor.

(1)

Fontaine, Pascal. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franconi, Enrico. editor.

(1)

Frappier, Marc. editor.

(1)

Fraser, Gordon. editor.

(1)

Frid, Anna. editor.

(1)

Gallardo, María del Mar. editor.

(1)

Galmiche, Didier. editor.

(1)

Gao, Yuan. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

García-Cámara, Braulio. editor.

(1)

Garg, Naveen. editor.

(1)

Gargantini, Angelo. editor.

(1)

Gavrilova, Marina L. editor.

(1)

George, Chris W. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gheorghe, Marian. editor.

(1)

Ghilardi, Silvio. editor.

(1)

Ghose, Aditya. editor.

(1)

Glässer, Uwe. editor.

(1)

Glück, Robert. editor.

(1)

Goranko, Valentin. editor.

(1)

Gorton, Ian. editor.

(1)

Governatori, Guido. editor.

(1)

Grumberg, Orna. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Gębala, Maciej. editor.

(1)

Hagiya, Masami. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Handschuh, Siegfried. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Havelund, Klaus. editor.

(1)

He, Kun. editor.

(1)

Heckel, Reiko. editor.

(1)

Henzinger, Monika. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermanns, Holger. editor.

(1)

Hermenegildo, Manuel. editor.

(1)

Hevia, Alejandro. editor.

(1)

Higashino, Teruo. editor.

(1)

Hinchey, Mike. editor.

(1)

Hirsch, Edward A. editor.

(1)

Hliněný, Petr. editor.

(1)

Hnich, Brahim. editor.

(1)

Hoang, Thai Son. editor.

(1)

Hofmeister, Christine. editor.

(1)

Holub, Jan. editor.

(1)

Hoos, Holger H. editor.

(1)

Hoshi, Mizuho. editor.

(1)

Howse, John. editor.

(1)

Hull, Richard. editor.

(1)

Huth, Michael. editor.

(1)

Hutter, Marcus. editor.

(1)

Ibarra, Oscar. editor.

(1)

Jain, Sanjay. editor.

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Language

(200)

(1)

Publication Date

-

(32)

(31)

(27)

(22)

(21)

(21)

(13)

(12)

(11)

(11)

Subject

(201)

Computer science.

(198)

Software engineering.

(96)

Artificial intelligence.

(56)

Computational complexity.

(56)

Data structures (Computer science).

(31)

Computer Communication Networks.

(25)

Algorithm Analysis and Problem Complexity.

(21)

Logics and Meanings of Programs.

(21)

Information theory.

(15)

Mathematical Logic and Formal Languages.

(15)

Electronic data processing.

(12)

Computation by Abstract Devices.

(11)

Operating systems (Computers).

(9)

(8)

Computer system performance.

(8)

Algebra -- Data processing.

(7)

Artificial Intelligence (incl. Robotics).

(7)

Computer simulation.

(7)

Computer network architectures.

(6)

Data protection.

(6)

Programming Languages, Compilers, Interpreters.

(6)

Discrete Mathematics in Computer Science.

(5)

Information Systems.

(4)

Bioinformatics.

(3)

Information storage and retrieval systems.

(3)

Logic, Symbolic and mathematical.

(3)

Optical pattern recognition.

(3)

Programming Techniques.

(3)

Translators (Computer programs).

(3)

(2)

Computer vision.

(2)

(2)

Data structures (Computer scienc.

(2)

Database management.

(2)

Information systems.

(2)

(2)

Social sciences -- Data processing.

(2)

Systems and Data Security.

(2)

Text processing (Computer science.

(2)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer industry.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data encryption (Computer science).

(1)

(1)

Engineering mathematics.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Information and Communication, Circuits.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematics of Computing.

(1)

Numeric Computing.

(1)

Pattern Recognition.

(1)

Systems engineering.

(1)

Theory of Computation.

(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

201 Results Found

Subscribe to search results

1 2 3 4 5 .. 17

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 Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Author

Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90104-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78024-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Author

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73359-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Author

Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05057-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05051-1

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Author

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92402-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Author

Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94205-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Author

Mogavero, Fabio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336496.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-95-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334014.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35632-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Author

Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334174.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36315-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 17

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11