Search Results for Logic.

|

|

|

|

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:

+

Konu: Computer software.

Author

SpringerLink (Online service)

(241)

Rozenberg, Grzegorz. editor.

(7)

Löwe, Benedikt. editor.

(6)

Queiroz, Ruy. editor.

(6)

Fages, François. editor.

(5)

Potapov, Igor. editor.

(5)

Rossi, Francesca. editor.

(5)

Cooper, S. Barry. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Schwiegelshohn, Uwe. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Bensalem, Saddek. editor.

(3)

Calude, Cristian S. editor.

(3)

Dawar, Anuj. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Frachtenberg, Eitan. editor.

(3)

Karhumäki, Juhani. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Kučera, Antonín. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Schürr, Andy. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Brattka, Vasco. editor.

(2)

Chatterjee, Krishnendu. editor.

(2)

Chen, Jianer. editor.

(2)

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

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

Gerdt, Vladimir P. editor.

(2)

Gnesi, Stefania. editor.

(2)

Goranko, Valentin. editor.

(2)

Hoos, Holger H. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Koepf, Wolfram. editor.

(2)

Královič, Rastislav. editor.

(2)

Lepistö, Arto. editor.

(2)

Li, Angsheng. editor.

(2)

Li, Jin. editor.

(2)

Liu, Zhiming. editor.

(2)

Margenstern, Maurice. editor.

(2)

Mauri, Giancarlo. editor.

(2)

Mayr, Ernst W. editor.

(2)

Muggleton, Stephen. editor.

(2)

Ong, Luke. editor.

(2)

Priese, Lutz. author.

(2)

Raedt, Luc. editor.

(2)

Reeves, Steve. editor.

(2)

Rudolph, Larry. editor.

(2)

Rudolph, Sebastian. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Sakallah, Karem A. editor.

(2)

Sarukkai, Sundar. 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)

Vorozhtsov, Evgenii V. 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)

Archibald, Margaret. 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)

Bacchus, Fahiem. editor.

(1)

Baker, Paul. editor.

(1)

Balasubramaniam, P. editor.

(1)

Banerjee, Mohua. editor.

(1)

Barahona, Pedro. editor.

(1)

Barringer, Howard. editor.

(1)

Barthe, Gilles. editor.

(1)

Beckmann, Arnold. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Biere, Armin. 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)

Blockeel, Hendrik. editor.

(1)

Blum, Christian. editor.

(1)

Bodlaender, Hans L. editor.

(1)

Bollig, Benedikt. author.

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

Bravetti, Mario. editor.

(1)

Bshouty, Nader H. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Bunke, Horst. author.

(1)

Butler, Michael. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Carlsson, Mats. editor.

(1)

Caron, Pascal. editor.

(1)

Carton, Olivier. 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)

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)

Cox, David. author.

(1)

Croitoru, Madalina. editor.

(1)

Dams, Dennis. editor.

(1)

Datta, Anupam. editor.

(1)

Daydé, Michel. editor.

(1)

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

(1)

Degano, Pierpaolo. editor.

(1)

Delzanno, Giorgio. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dickinson, Peter J. author.

(1)

Dimitracopoulos, Costas. 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)

Erk, Katrin. author.

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

Flum, Jörg. author.

(1)

Fontaine, Pascal. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franconi, Enrico. editor.

(1)

Frappier, Marc. editor.

(1)

Frasconi, Paolo. 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)

Gheorghe, Marian. editor.

(1)

Ghilardi, Silvio. editor.

(1)

Ghose, Aditya. editor.

(1)

Glässer, Uwe. editor.

(1)

Glück, Robert. editor.

(1)

Gomes, Carla P. editor.

(1)

Gorton, Ian. editor.

(1)

Governatori, Guido. editor.

(1)

Language

(238)

(3)

Publication Date

-

(33)

(33)

(33)

(30)

(24)

(21)

(20)

(19)

(14)

(14)

Subject

Computer science.

(234)

(201)

Software engineering.

(101)

Artificial intelligence.

(74)

Computational complexity.

(64)

Data structures (Computer science).

(34)

Algorithm Analysis and Problem Complexity.

(32)

Information theory.

(27)

Computer Communication Networks.

(26)

Electronic data processing.

(26)

Mathematical Logic and Formal Languages.

(23)

Logics and Meanings of Programs.

(21)

Logic, Symbolic and mathematical.

(18)

Computation by Abstract Devices.

(15)

(14)

Operating systems (Computers).

(14)

Algebra -- Data processing.

(11)

Artificial Intelligence (incl. Robotics).

(10)

Computer system performance.

(10)

Discrete Mathematics in Computer Science.

(9)

Bioinformatics.

(8)

Computer simulation.

(8)

Computer network architectures.

(7)

(7)

Programming Languages, Compilers, Interpreters.

(7)

Data protection.

(6)

(5)

Optical pattern recognition.

(5)

(4)

Computer vision.

(4)

Information Systems.

(4)

Information storage and retrieval systems.

(4)

Information systems.

(4)

Numeric Computing.

(4)

Programming Techniques.

(4)

Data Structures.

(3)

Mathematical Logic and Foundations.

(3)

Theory of Computation.

(3)

Translators (Computer programs).

(3)

Arithmetic and Logic Structures.

(2)

(2)

Computational Biology/Bioinformatics.

(2)

Data structures (Computer scienc.

(2)

Database management.

(2)

Information Systems Applications (incl. Internet).

(2)

Math Applications in Computer Science.

(2)

Pattern Recognition.

(2)

Social sciences -- Data processing.

(2)

Symbolic and Algebraic Manipulation.

(2)

Systems and Data Security.

(2)

Text processing (Computer science.

(2)

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data encryption (Computer science).

(1)

Discrete groups.

(1)

(1)

Engineering mathematics.

(1)

(1)

Geometry, algebraic.

(1)

Information Storage and Retrieval.

(1)

Information and Communication, Circuits.

(1)

Mathematical Software.

(1)

Mathematics of Algorithmic Complexity.

(1)

Mathematics of Computing.

(1)

Simulation and Modeling.

(1)

Software Engineering/Programming and Operating Systems.

(1)

System Performance and Evaluation.

(1)

Systems engineering.

(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

241 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 21

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 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:

2.

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:

3.

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:

4.

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:

5.

Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Author

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332910.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02297-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Author

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Preferred Shelf Number

ONLINE(332964.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Author

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334658.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Author

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334666.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 21

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11