Search Results for Complexity.

|

|

|

|

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: Logic design.

Author

SpringerLink (Online service)

(116)

Rozenberg, Grzegorz. editor.

(5)

Ehrig, Hartmut. editor.

(4)

Fomin, Fedor V. editor.

(3)

Queiroz, Ruy. editor.

(3)

Schürr, Andy. editor.

(3)

Chen, Jianer. editor.

(2)

Corradini, Andrea. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Khurshid, Sarfraz. editor.

(2)

Kreowski, Hans-Jörg. editor.

(2)

Kutrib, Martin. editor.

(2)

Kučera, Antonín. editor.

(2)

Lepistö, Arto. editor.

(2)

Lodaya, Kamal. editor.

(2)

Löwe, Benedikt. editor.

(2)

Montanari, Ugo. editor.

(2)

Ong, Luke. editor.

(2)

Pighizzini, Giovanni. editor.

(2)

Reeves, Steve. editor.

(2)

Reis, Rogério. editor.

(2)

Taentzer, Gabriele. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Ablayev, Farid. editor.

(1)

Albers, Susanne. editor.

(1)

Albert, Elvira. editor.

(1)

Alt, Helmut. editor.

(1)

Arun-Kumar, S. editor.

(1)

Arvind, V. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Beklemishev, Lev D. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bodlaender, Hans L. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonanno, Giacomo. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bornstein, Claudson. editor.

(1)

Bouchou-Markhoff, Béatrice. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Brattka, Vasco. editor.

(1)

Broersen, Jan. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Cabalar, Pedro. editor.

(1)

Calude, Cristian S. editor.

(1)

Calude, Elena. editor.

(1)

Caron, Pascal. editor.

(1)

Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371

(1)

Champarnaud, Jean-Marc. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Charatonik, Witold. editor.

(1)

Chen, Danny Z. editor.

(1)

Coecke, Bob. editor.

(1)

Cooper, S. Barry. editor.

(1)

Coppo, Mario. editor.

(1)

Correa, José R. editor.

(1)

Cîrstea, Corina. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Dang, Zhe. editor.

(1)

Dawar, Anuj. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Delgrande, James P. editor.

(1)

Derrick, John. editor.

(1)

Dinneen, Michael J. editor.

(1)

Ditmarsch, Hans. editor.

(1)

Dix, Jürgen. editor.

(1)

Domaratzki, Michael. editor.

(1)

Dong, Yingfei. editor.

(1)

Downey, Rod. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Durand, Bruno. editor.

(1)

Düntsch, Ivo. editor.

(1)

Ebert, Christian. editor.

(1)

Elgesem, Dag. editor.

(1)

Engels, Gregor. editor.

(1)

Erdem, Esra. editor.

(1)

Faber, Wolfgang. editor.

(1)

Faria, Luerbio. editor.

(1)

Felice, Clelia. editor.

(1)

Fiala, Jiří. editor.

(1)

Fitzgerald, John. editor.

(1)

Fontaine, Pascal. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Frappier, Marc. editor.

(1)

Galmiche, Didier. editor.

(1)

Gao, Yuan. editor.

(1)

Garg, Naveen. editor.

(1)

Gibbons, Jeremy. editor.

(1)

Giesl, Jürgen. editor.

(1)

Glässer, Uwe. editor.

(1)

Glück, Robert. editor.

(1)

Gnesi, Stefania. editor.

(1)

Goranko, Valentin. editor.

(1)

Governatori, Guido. editor.

(1)

Griffin, Timothy G. editor.

(1)

Grossi, Davide. editor.

(1)

Gębala, Maciej. editor.

(1)

Harju, Tero. editor.

(1)

Hartmann, Sven. editor.

(1)

He, Xiangdong. editor.

(1)

Heckel, Reiko. editor.

(1)

Hegner, Stephen J. editor.

(1)

Hevia, Alejandro. editor.

(1)

Higashino, Teruo. editor.

(1)

Hirsch, Edward A. editor.

(1)

Hliněný, Petr. editor.

(1)

Hoek, Wiebe. editor.

(1)

Holzer, Markus. editor.

(1)

Horty, John. editor.

(1)

Huang, Huaxin. editor.

(1)

Hähnle, Reiner. editor.

(1)

Ibarra, Oscar. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Jain, Sanjay. editor.

(1)

Jaoua, Ali Mohamed. editor.

(1)

Ju, Shier. editor.

(1)

Jurgensen, Helmut. editor.

(1)

Jäger, Gerhard. editor.

(1)

Järvisalo, Matti. editor.

(1)

Jȩdrzejowicz, Joanna. editor.

(1)

Kahl, Wolfram. editor.

(1)

Katayama, Yoshiaki. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Khomenko, Victor. editor.

(1)

Kiwi, Marcos. editor.

(1)

Klin, Bartek. editor.

(1)

Kolman, Petr. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kratochvíl, Jan. editor.

(1)

Královič, Rastislav. editor.

(1)

Kulikov, Alexander. editor.

(1)

Kurz, Alexander. editor.

(1)

Kutyłowski, Mirosław. editor.

(1)

Kučera, Luděk. editor.

(1)

Laber, Eduardo Sany. editor.

(1)

Laleau, Régine. editor.

(1)

Lang, Jérôme. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lau, Lap Chi. editor.

(1)

Lee, Der-Tsai. editor.

(1)

Legay, Axel. editor.

(1)

Lenisa, Marina. editor.

(1)

Leporati, Alberto. editor.

(1)

Leuschel, Michael. editor.

(1)

Li, Angsheng. editor.

(1)

Lin, Fangzhen. editor.

(1)

Link, Sebastian. editor.

(1)

Lodi, Elena. editor.

(1)

Lu, Hanlin. editor.

(1)

Lukasiewicz, Thomas. editor.

(1)

MacCaull, Wendy. editor.

(1)

Mahajan, Meena. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Marx, Dániel. editor.

(1)

Masuzawa, Toshimitsu. editor.

(1)

Maurel, Denis. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Mayr, Ernst W. editor.

(1)

Michaelis, Jens. editor.

(1)

Milano, Michela. editor.

(1)

Miller, D. Michael. editor.

(1)

Mogavero, Fabio. author.

(1)

Moller, Faron. author.

(1)

Moreira, Nelma. editor.

(1)

Munos, Rémi. editor.

(1)

Muntean, Traian. editor.

(1)

Murlak, Filip. editor.

(1)

Möller, Bernhard. editor.

(1)

Nagl, Manfred. editor.

(1)

Narukawa, Yasuo. editor.

(1)

Nipkow, Tobias. editor.

(1)

Nogueira, Loana Tito. editor.

(1)

Nogueira, Pablo. editor.

(1)

Näher, Stefan. editor.

(1)

Ochmański, Edward. editor.

(1)

Ogihara, Mitsunori. editor.

(1)

Orejas, Fernando. editor.

(1)

Owe, Olaf. editor.

(1)

Pacuit, Eric. editor.

(1)

Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849

(1)

Palmirani, Monica. editor. (orcid)0000-0002-8557-8084

(1)

Panangaden, Prakash. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pichardie, David. editor.

(1)

Pinna, G. Michele. editor.

(1)

Piterman, Nir. editor.

(1)

Podolskii, Vladimir V. editor.

(1)

Posthoff, Christian. author.

(1)

Potapov, Igor. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Poulakis, Dimitrios. editor.

(1)

Prade, Henri. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Prilutskii, Michail. editor.

(1)

Language

(116)

Publication Date

-

(28)

(16)

(15)

(14)

(13)

(8)

(8)

(5)

(5)

(4)

Subject

Computer science.

(112)

Computational complexity.

(96)

Computer software.

(73)

Software engineering.

(36)

Artificial intelligence.

(31)

Logics and Meanings of Programs.

(28)

Mathematical Logic and Formal Languages.

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data structures (Computer science).

(21)

Algebra -- Data processing.

(19)

Computation by Abstract Devices.

(12)

Discrete Mathematics in Computer Science.

(12)

Information theory.

(12)

Artificial Intelligence (incl. Robotics).

(11)

(8)

Electronic data processing.

(7)

Logic, Symbolic and mathematical.

(6)

Programming Languages, Compilers, Interpreters.

(6)

Programming Techniques.

(6)

Data structures (Computer scienc.

(3)

(2)

Computer Communication Networks.

(2)

Data protection.

(2)

Database management.

(2)

Information storage and retrieval systems.

(2)

Math Applications in Computer Science.

(2)

Mathematical Logic and Foundations.

(2)

Mathematics of Computing.

(2)

Symbolic and Algebraic Manipulation.

(2)

Systems and Data Security.

(2)

Theory of Computation.

(2)

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer simulation.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Data Structures, Cryptology and Information Theory.

(1)

(1)

Discrete groups.

(1)

Information Systems Applications (incl. Internet).

(1)

Information and Communication, Circuits.

(1)

Information systems.

(1)

(1)

Natural language processing (Computer science).

(1)

Numeric Computing.

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Social sciences -- Data processing.

(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

116 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 AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

Author

Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Author

Konstantinidis, Stavros. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Author

Kutrib, Martin. editor. Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Author

Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Complexity Theory Exploring the Limits of Efficient Algorithms

Complexity Theory Exploring the Limits of Efficient Algorithms

Complexity Theory Exploring the Limits of Efficient Algorithms

Author

Wegener, Ingo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Author

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Author

Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Author

Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

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:

12.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

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