Search Results for 0

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic design.

Author

SpringerLink (Online service)

(97)

Margaria, Tiziana. editor.

(3)

Steffen, Bernhard. editor.

(3)

Beckert, Bernhard. editor.

(2)

Calude, Cristian S. editor.

(2)

Gibbons, Jeremy. editor.

(2)

Li, Angsheng. editor.

(2)

Meyer, Bertrand. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Virbitskaite, Irina. editor.

(2)

Voronkov, Andrei. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Aberer, Karl. editor.

(1)

Ablayev, Farid. editor.

(1)

Agrawal, Manindra. editor.

(1)

Alagar, V.S. author.

(1)

Aldini, Alessandro. editor.

(1)

Allemang, Dean. editor.

(1)

Almeida, José Bacelar. author.

(1)

Anutariya, Chutiporn. editor.

(1)

Arbab, Farhad. editor.

(1)

Artemov, Sergei. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Matteo. editor.

(1)

Barkalov, Alexander. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bentahar, Jamal. editor.

(1)

Bernardo, Marco. editor.

(1)

Bonatti, Piero A. editor.

(1)

Book, Matthias. editor.

(1)

Bornstein, Claudson. editor.

(1)

Brayton, Robert K. author.

(1)

Bruni, Roberto. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Butler, Michael. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Carro, Luigi. author.

(1)

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

(1)

Cebulla, Michael. editor.

(1)

Chattopadhyay, Sanatan. editor.

(1)

Chattopadhyay, Santanu. editor.

(1)

Chechik, Marsha. editor.

(1)

Chen, Jianer. editor.

(1)

Chitil, Olaf. editor.

(1)

Choi, Key-Sun. editor.

(1)

Clarke, Edmund. editor.

(1)

Cofer, Darren. editor.

(1)

Cooper, S. Barry. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crossley, John Newsome. author.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Cuellar, Jorge. editor.

(1)

Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678

(1)

Dai, Dong. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Dix, Jürgen. editor.

(1)

Domingue, John. editor.

(1)

Donaldson, Alastair. editor.

(1)

Dovier, Agostino. editor.

(1)

Dowek, Gilles. author.

(1)

Drossopoulou, Sophia. editor.

(1)

Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635

(1)

Eekelen, Marko. editor.

(1)

Erdem, Esra. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Faria, Luerbio. editor.

(1)

Fiala, Jiří. editor.

(1)

Fomin, Fedor V. editor.

(1)

Frade, Maria João. author.

(1)

Furia, Carlo A. editor.

(1)

Gabbay, Dov M. editor.

(1)

Gallardo, María del Mar. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Giese, Holger. editor.

(1)

Golbeck, Jennifer. editor.

(1)

Goncharov, Sergei S. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Gruhn, Volker. editor.

(1)

Grumberg, Orna. editor.

(1)

Guessoum, Zahia. editor.

(1)

Gurov, Dilian. editor.

(1)

Hamlen, Kevin. editor.

(1)

Hariyama, Masanori. author.

(1)

Hartmann, Sven. editor.

(1)

Higashino, Teruo. editor.

(1)

Hillston, Jane. editor.

(1)

Hu, Changjun. editor.

(1)

Huzar, Zbigniew. editor.

(1)

Hähnle, Reiner. editor.

(1)

Izadian, Afshin. author.

(1)

Jensen, Kurt. editor.

(1)

Jiang, Congfeng. editor.

(1)

Kari, Jarkko. editor.

(1)

Karsai, Gabor. editor.

(1)

Kastensmidt, Fernanda Lima. author.

(1)

Katayama, Yoshiaki. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Koci, Radek. editor.

(1)

Kolman, Petr. editor.

(1)

Koutny, Maciej. editor.

(1)

Kratochvíl, Jan. editor.

(1)

Kreowski, Hans-Jörg. editor.

(1)

Kudenko, Daniel. editor.

(1)

Laber, Eduardo Sany. editor.

(1)

Lachiche, Nicolas. editor.

(1)

Lafourcade, Pascal. editor.

(1)

Lange, Tanja. editor.

(1)

Lee, Edward. editor.

(1)

Lee, Joohyung. editor.

(1)

Lee, Kent. author.

(1)

Lee, Kyung-Il. editor.

(1)

Leone, Nicola. editor.

(1)

Lierler, Yuliya. editor.

(1)

Lloyd, John. editor.

(1)

Lévy, Jean-Jacques. author.

(1)

Maibaum, Tom. editor.

(1)

Maneth, Sebastian. editor.

(1)

Marchiori, Massimo. editor.

(1)

Masuzawa, Toshimitsu. editor.

(1)

Maynard, Diana. editor.

(1)

Mayr, Ernst W. editor.

(1)

Małuszyński, Jan. editor.

(1)

Melo de Sousa, Simão. author.

(1)

Merino, Pedro. editor.

(1)

Meyden, Ron. editor.

(1)

Mika, Peter. editor.

(1)

Mishchenko, Alan. author.

(1)

Mizoguchi, Riichiro. editor.

(1)

Montanari, Ugo. editor.

(1)

Mossakowski, Till. editor.

(1)

Murlak, Filip. editor.

(1)

Nanz, Sebastian. editor.

(1)

Nerode, Anil. editor.

(1)

Nielsen, Brian. editor.

(1)

Nixon, Lyndon. editor.

(1)

Nogueira, Loana Tito. editor.

(1)

Nogueira, Pablo. editor.

(1)

Nordio, Martin. editor.

(1)

Nowe, Ann. editor.

(1)

Noy, Natasha. editor.

(1)

Omicini, Andrea. editor.

(1)

Ouaknine, Joël. editor.

(1)

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

(1)

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

(1)

Palsberg, Jens. editor.

(1)

Parker, David. editor.

(1)

Pearce, David. editor.

(1)

Peled, Doron A. editor.

(1)

Periyasamy, K. author.

(1)

Petre, Ion. editor.

(1)

Petrenko, Alexandre. author.

(1)

Pinto, Jorge Sousa. author.

(1)

Poernomo, Iman Hafiz. author.

(1)

Polleres, Axel. editor.

(1)

Pontelli, Enrico. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140

(1)

Rahaman, Hafizur. editor.

(1)

Reis, Ricardo. author.

(1)

Riemsdijk, M. Birna. editor.

(1)

Rocca, Simona Ronchi. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Roosmalen, Alfred. editor.

(1)

Roscoe, A.W. author.

(1)

Rumpe, Bernhard. editor.

(1)

Sagonas, Kostis. editor.

(1)

Sakallah, Karem A. editor.

(1)

Salomaa, Arto. editor.

(1)

Sangiovanni-Vincentelli, Alberto. author.

(1)

Sankowski, Piotr. editor.

(1)

Sannella, Donald. editor.

(1)

Sardina, Sebastian. editor.

(1)

Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398

(1)

Schaffert, Sebastian. editor.

(1)

Schellekens, Michel. author.

(1)

Schmitt, Jens B. editor.

(1)

Schmitt, Peter H. editor.

(1)

Scholz, Sven-Bodo. editor.

(1)

Schreiber, Guus. editor.

(1)

Schulte, Christian. editor.

(1)

Schulte, Wolfram. editor.

(1)

Schätz, Bernhard. editor.

(1)

Seidl, Helmut. editor.

(1)

Sere, Kaisa. editor.

(1)

Shan, Chung-chieh. editor.

(1)

Shkaravska, Olha. editor.

(1)

Shur, Arseny M. editor.

(1)

Simon, Laurent. editor.

(1)

Sinha, Priyabrata. author.

(1)

Sirjani, Marjan. editor.

(1)

Skums, Pavel. editor.

(1)

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304

(1)

Smaus, Jan-Georg. editor.

(1)

Su, Zhendong. editor.

(1)

Teichmann, Philip. author.

(1)

Titarenko, Larysa. editor.

(1)

Tuyls, Karl. editor.

(1)

Uchiyama, Kunio. author.

(1)

Language

(97)

Publication Date

-

(17)

(17)

(11)

(11)

(10)

(9)

(8)

(8)

(3)

(2)

(1)

Subject

Computer science.

(86)

Software engineering.

(60)

Computer Communication Networks.

(25)

Artificial intelligence.

(22)

Computer software.

(19)

Information Systems.

(12)

Information theory.

(10)

Computational complexity.

(9)

Logics and Meanings of Programs.

(8)

Information systems.

(7)

Data structures (Computer science).

(6)

Operating systems (Computers).

(6)

Systems engineering.

(6)

(5)

(5)

Mathematical Logic and Formal Languages.

(5)

Programming Languages, Compilers, Interpreters.

(5)

Algebra -- Data processing.

(4)

Computer network architectures.

(4)

Computer system performance.

(4)

Data encryption (Computer science).

(4)

Data protection.

(4)

(4)

Logic, Symbolic and mathematical.

(4)

Algorithm Analysis and Problem Complexity.

(3)

Computer simulation.

(3)

Bioinformatics.

(2)

Computation by Abstract Devices.

(2)

Computer vision.

(2)

Database management.

(2)

Discrete Mathematics in Computer Science.

(2)

Electronic data processing.

(2)

Information storage and retrieval systems.

(2)

(2)

Multimedia systems.

(2)

Programming Techniques.

(2)

(1)

Arithmetic and Logic Structures.

(1)

(1)

Computer Science, general.

(1)

Computer communication systems.

(1)

Computer engineering.

(1)

Computer security.

(1)

Computers and civilization.

(1)

Electronic circuits.

(1)

Engineering design.

(1)

Information Systems Applications (incl. Internet).

(1)

(1)

Mathematical Logic and Foundations.

(1)

Microprocessors.

(1)

Microprogramming.

(1)

Nanotechnology.

(1)

Numeric Computing.

(1)

Optical materials.

(1)

(1)

Simulation and Modeling.

(1)

Systems and Data Security.

(1)

Theory of Computation.

(1)

Translators (Computer programs).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

97 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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 High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Author

Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9987-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Author

Izadian, Afshin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Author

Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Design of FPGA-Based Computing Systems with OpenCL

Design of FPGA-Based Computing Systems with OpenCL

Design of FPGA-Based Computing Systems with OpenCL

Author

Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Author

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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:

9.

Cover image for Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Author

Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Author

Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Author

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11