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:

+

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

2.

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:

3.

Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Author

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04771-9

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

7.

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:

8.

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:

9.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

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:

12.

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:

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