Search Results for Science.

|

|

|

|

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:

+

Shelf Location: Electronic Library

+

Subject: Logic design.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(731)

Voronkov, Andrei. editor.

(13)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Barthe, Gilles. editor.

(7)

Liu, Zhiming. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Dix, Jürgen. editor.

(6)

Rozenberg, Grzegorz. editor.

(6)

Stafford, Judith A. editor.

(6)

Woodcock, Jim. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Governatori, Guido. editor.

(5)

Graf, Susanne. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Palsberg, Jens. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Crnkovic, Ivica. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Huisman, Marieke. editor.

(4)

Jacko, Julie A. editor.

(4)

Leite, João. editor.

(4)

Leucker, Martin. editor.

(4)

Montanari, Ugo. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peled, Doron A. editor.

(4)

Potapov, Igor. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Veith, Helmut. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zavattaro, Gianluigi. editor.

(4)

Alpuente, María. editor.

(3)

Aßmann, Uwe. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bravetti, Mario. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butler, Michael. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Eekelen, Marko. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Hähnle, Reiner. editor.

(3)

Jones, Cliff B. editor.

(3)

Koutny, Maciej. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Meseguer, José. editor.

(3)

Mezini, Mira. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Rahonis, George. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roşu, Grigore. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schätz, Bernhard. editor.

(3)

Sokolsky, Oleg. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Becker, Steffen. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bin, Eyal. editor.

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cerone, Antonio. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Degano, Pierpaolo. editor.

(2)

Derrick, John. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dignum, Virginia. editor.

(2)

Dingel, Juergen. editor.

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Drossopoulou, Sophia. editor.

(2)

Dubois, Catherine. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Faber, Wolfgang. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Filipe, Joaquim. editor.

(2)

Fisher, Michael. editor.

(2)

France, Robert B. editor.

(2)

Fraser, Gordon. editor.

(2)

Galmiche, Didier. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Giese, Holger. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gogolla, Martin. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Gotzhein, Reinhard. editor.

(2)

Gray, Jeff. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Gruhn, Volker. editor.

(2)

Grumberg, Orna. editor.

(2)

Gschwind, Thomas. editor.

(2)

Hage, Jurriaan. editor.

(2)

Hanus, Michael. editor.

(2)

Harrison, Michael D. editor.

(2)

Hermanns, Holger. editor.

(2)

Hierons, Robert M. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hinchey, Mike. editor.

(2)

Hinze, Ralf. editor.

(2)

Holcombe, Mike. editor.

(2)

Horváth, Zoltán. editor.

(2)

Hu, Zhenjiang. editor.

(2)

Jhala, Ranjit. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Johnson, Michael. editor.

(2)

Joshi, Rajeev. editor.

(2)

Julliand, Jacques. editor.

(2)

Karczewski, Konrad. editor.

(2)

Katoen, Joost-Pieter. editor.

(2)

Katz, Shmuel. editor.

(2)

Kienzle, Jörg. editor.

(2)

Kim, Haeng-kon. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kindler, Ekkart. editor.

(2)

Kiumi, Akingbehin. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Kordon, Fabrice. editor.

(2)

Kowalewski, Stefan. editor.

(2)

Kreowski, Hans-Jörg. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Kudenko, Daniel. editor.

(2)

König, Barbara. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Lange, Tanja. editor.

(2)

Lara, Juan. editor.

(2)

Leavens, Gary T. editor.

(2)

Lee, Insup. editor.

(2)

Legay, Axel. editor.

(2)

Lemos, Rogério. editor.

(2)

Leue, Stefan. editor.

(2)

Leuschel, Michael. editor.

(2)

Liu, Shaoying. editor.

(2)

Logozzo, Francesco. editor.

(2)

Luck, Michael. editor.

(2)

Language

(727)

(4)

Publication Date

-

(89)

(85)

(80)

(80)

(77)

(68)

(68)

(65)

(56)

(54)

(8)

(1)

Subject

Computer science.

(713)

Computer Communication Networks.

(241)

Artificial intelligence.

(192)

Computer software.

(96)

Information Systems.

(92)

Logics and Meanings of Programs.

(77)

Operating systems (Computers).

(60)

Programming Languages, Compilers, Interpreters.

(44)

Computer simulation.

(42)

Computer system performance.

(42)

Information systems.

(42)

Mathematical Logic and Formal Languages.

(34)

Computer network architectures.

(29)

Algebra -- Data processing.

(26)

Computational complexity.

(24)

Information storage and retrieval systems.

(21)

Programming Techniques.

(21)

Data structures (Computer science).

(20)

Artificial Intelligence (incl. Robotics).

(18)

Multimedia systems.

(17)

Information theory.

(16)

Data protection.

(14)

Computation by Abstract Devices.

(13)

Information Systems Applications (incl. Internet).

(13)

Management of Computing and Information Systems.

(12)

Algorithm Analysis and Problem Complexity.

(11)

(11)

Computer industry.

(9)

Management information systems.

(9)

Bioinformatics.

(8)

(8)

Data encryption (Computer science).

(8)

Computer hardware.

(7)

Database management.

(7)

Computer security.

(5)

Operating Systems.

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

Discrete Mathematics in Computer Science.

(4)

Electronic data processing.

(4)

Logic, Symbolic and mathematical.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Computer Appl. in Administrative Data Processing.

(3)

(3)

Information Storage and Retrieval.

(3)

Monoclonal antibodies.

(3)

Probability and Statistics in Computer Science.

(3)

Telecommunication.

(3)

(2)

Business Information Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computer Science, general.

(2)

Computer organization.

(2)

Computer vision.

(2)

Data Mining and Knowledge Discovery.

(2)

Data structures (Computer scienc.

(2)

(2)

Microprogramming.

(2)

Systems and Data Security.

(2)

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer aided design.

(1)

Computer communication systems.

(1)

Computer logic.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Data Structures.

(1)

(1)

Economics/Management Science.

(1)

(1)

Engineering mathematics.

(1)

Information Systems and Communication Service.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Memory management (Computer scie.

(1)

Microprocessors.

(1)

Models and Principles.

(1)

Numerical analysis.

(1)

Optical data processing.

(1)

Programming languages (Electronic computers).

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

User Interfaces and Human Computer Interaction.

(1)

Material Type

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

731 Results Found

Subscribe to search results

1 2 3 4 5 .. 61

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 Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Author

Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20787-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Birkedal, Lars. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28729-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Author

Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33314-9

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Author

Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25929-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Hofmann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19805-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Author

Swart, Harrie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21070-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Author

Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24897-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Author

Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12032-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 61

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11