Search Results for Computer 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: Algorithms.

Author

SpringerLink (Online service)

(96)

Gerdt, Vladimir P. editor.

(3)

Koepf, Wolfram. editor.

(3)

Legay, Axel. editor.

(3)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(2)

Câmpeanu, Cezar. editor.

(2)

Manea, Florin. editor.

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Mousavi, Mohammad Reza. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Potapov, Igor. editor.

(2)

Proença, José. editor.

(2)

Seiler, Werner M. editor.

(2)

Vorozhtsov, Evgenii V. editor.

(2)

de Queiroz, Ruy. editor.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Abraham, Erika. editor.

(1)

Amos, Martyn. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Artho, Cyrille. editor.

(1)

Artner, Nicole M. editor.

(1)

Barrett, Clark. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Berger, Christian. editor.

(1)

Berry, Stuart. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bourgeois, Anu. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Brlek, Srečko. editor.

(1)

Brunato, Mauro. editor. (orcid)0000-0002-7885-4255

(1)

Cai, Zhipeng. editor.

(1)

Carmona, Josep. editor.

(1)

Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620

(1)

Charlier, Émilie. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Colinet, Margot. editor.

(1)

Condon, Anne. editor.

(1)

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

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Devitt, Simon. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Droste, Manfred. editor. (orcid)0000-0001-9128-8844

(1)

Du, Dingzhu. editor.

(1)

Echahed, Rachid. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Engels, Gregor. editor.

(1)

Esparza, Javier. editor.

(1)

Falcone, Yliès. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Fellows, Michael. editor.

(1)

Ferragina, Paolo. author.

(1)

Festa, Paola. editor.

(1)

Finger, Marcelo. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Gamboa, Ruben. editor.

(1)

Garbinato, Benoît. editor.

(1)

Gavanelli, Marco. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Ghosh, Sujata. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Gopal, T.V. editor.

(1)

Greenberg, Noam. editor.

(1)

Göbel, Susanne. author.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Hague, Matthew. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

He, Kun. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Herrera-Alcántara, Oscar. editor.

(1)

Hirsch, Edward. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Holmes, Ian. editor. (orcid)0000-0001-7639-5369

(1)

Iemhoff, Rosalie. editor.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Janusch, Ines. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jäger, Gerhard. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katrenko, Sophia. editor.

(1)

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X

(1)

Khoussainov, Bakhadyr. editor.

(1)

Klasing, Ralf. editor.

(1)

Kleijn, Jetty. editor.

(1)

Klein, Gerwin. editor.

(1)

Kneusel, Ronald T. author.

(1)

Knight, William. author.

(1)

Kordy, Barbara. editor.

(1)

Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kropatsch, Walter G. editor.

(1)

Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424

(1)

Kulikov, Alexander S. editor.

(1)

Kumar, Akhil. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Kvasov, Dmitri E. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371

(1)

Leroy, Julien. editor.

(1)

Li, Lian. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lowndes, Val. editor.

(1)

Luccio, Fabrizio. author.

(1)

Lumpe, Markus. editor.

(1)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martin, Barnaby. editor.

(1)

Mauw, Sjouke. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Melnikov, Alexander. editor.

(1)

Merz, Stephan. editor.

(1)

Minas, Mark. editor.

(1)

Miranda-Jiménez, Sabino. editor.

(1)

Moortgat, Michael. editor.

(1)

Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581

(1)

Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Omodeo, Eugenio G. author.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Papadopoulos, Yiannis. editor.

(1)

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Paule, Peter. editor.

(1)

Paulusma, Daniël. editor.

(1)

Penczek, Wojciech. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pichardo-Lagunas, Obdulia. editor.

(1)

Pighizzini, Giovanni. editor.

(1)

Policriti, Alberto. author.

(1)

Poole, Stephen. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Probst, Christian W. editor.

(1)

Rauzy, Antoine. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Rensink, Arend. editor.

(1)

Reppy, John. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Rigo, Michel. editor.

(1)

Rival, Xavier. editor.

(1)

Rosamond, Frances. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Salomaa, Arto. editor.

(1)

Salomaa, Kai. editor.

(1)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(1)

Sellmann, Meinolf. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Sergeyev, Yaroslav D. editor.

(1)

Sgall, Jiří. editor.

(1)

Shallit, Jeffrey. editor.

(1)

Shamis, Pavel. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Sidorov, Grigori. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skrzypczak, Michał. author.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sokolova, Ana. editor. (orcid)0000-0002-8384-3438

(1)

Srba, Jiří. editor.

(1)

Steila, Silvia. editor.

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Sánchez, César. editor.

(1)

Tomescu, Alexandru I. author.

(1)

Trovati, Marcello. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X

(1)

Vereshchagin, Nikolay. editor.

(1)

Verykios, Vassilios S. editor.

(1)

Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399

(1)

Vrajitoru, Dana. author.

(1)

Väänänen, Jouko. editor.

(1)

Language

(96)

Publication Date

-

(35)

(22)

(20)

(11)

(4)

(3)

(1)

Subject

Computer science.

(58)

Computer Science Logic and Foundations of Programming.

(57)

Software engineering.

(52)

Formal Languages and Automata Theory.

(39)

Machine theory.

(39)

Artificial intelligence.

(28)

Computer logic.

(25)

Computer science -- Mathematics.

(21)

Theory of Computation.

(21)

Compilers (Computer programs).

(19)

Compilers and Interpreters.

(19)

Discrete mathematics.

(15)

Discrete Mathematics in Computer Science.

(14)

Mathematical logic.

(14)

Computer programming.

(11)

Computer science—Mathematics.

(11)

Computer simulation.

(11)

Computer networks .

(10)

Programming Techniques.

(10)

Programming languages (Electronic computers).

(10)

Computer Modelling.

(9)

Application software.

(8)

Computer and Information Systems Applications.

(7)

Arithmetic and logic units, Computer.

(6)

Computer Communication Networks.

(6)

Numerical analysis.

(6)

Artificial intelligence -- Data processing.

(5)

(5)

Data structures (Computer science).

(5)

Design and Analysis of Algorithms.

(5)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Mathematics of Computing.

(4)

Arithmetic and Logic Structures.

(3)

Computer arithmetic and logic units.

(3)

Computer vision.

(3)

(3)

Information theory.

(3)

Automated Pattern Recognition.

(2)

Computer communication systems.

(2)

Computer graphics.

(2)

Computer system failures.

(2)

Computers, Special purpose.

(2)

Electronic digital computers -- Evaluation.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematics -- Data processing.

(2)

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Pattern recognition systems.

(2)

Special Purpose and Application-Based Systems.

(2)

Special purpose computers.

(2)

Symbolic and Algebraic Manipulation.

(2)

System Performance and Evaluation.

(2)

Applications of Mathematics.

(1)

Bioinformatics.

(1)

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer security.

(1)

Computer software.

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Database management.

(1)

Electronic data processing -- Management.

(1)

(1)

(1)

Information technology -- Management.

(1)

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Probability and Statistics in Computer Science.

(1)

(1)

Python (Computer program language).

(1)

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Software Engineering/Programming and Operating Systems.

(1)

The Computing Profession.

(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

96 Results Found

Subscribe to search results

1 .. 4 5 6 7 8

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.

85.

Cover image for Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Author

Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41114-9

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Author

Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05215-1

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Author

Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Author

Cai, Zhipeng. editor. Zelikovsky, Alexander. editor. Bourgeois, Anu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Author

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12466-7

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08970-6

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Author

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Author

Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44116-9

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54862-8

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Practical Analysis of Algorithms

Practical Analysis of Algorithms

Practical Analysis of Algorithms

Author

Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Author

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 4 5 6 7 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11