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:

+

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

49.

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:

50.

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:

51.

Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

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:

53.

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:

54.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Author

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Author

Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98654-8

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Author

Pudlák, Pavel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332681.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00119-7

Format:

Availability

Online Library~1

Available:
Copies:

57.

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:

58.

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:

59.

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:

60.

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 .. 3 4 5 6 7 .. 21

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11