Search Results for Software.

|

|

|

|

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

Author

SpringerLink (Online service)

(856)

Voronkov, Andrei. editor.

(13)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(8)

Barthe, Gilles. editor.

(7)

Liu, Zhiming. editor.

(7)

Woodcock, Jim. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Dix, Jürgen. editor.

(6)

Stafford, Judith A. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Fages, François. 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)

Potapov, Igor. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Frachtenberg, Eitan. 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)

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)

Zeugmann, Thomas. editor.

(4)

Alpuente, María. editor.

(3)

Aßmann, Uwe. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Calude, Cristian S. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Derrick, John. 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)

Khurshid, Sarfraz. editor.

(3)

Koutny, Maciej. editor.

(3)

Kučera, Antonín. editor.

(3)

Leuschel, Michael. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Meseguer, José. editor.

(3)

Mezini, Mira. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Ong, Luke. 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)

Queiroz, Ruy. 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)

Sebastiani, Roberto. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. 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)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(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)

Cervesato, Iliano. editor.

(2)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(2)

Chen, Jianer. editor.

(2)

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

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Dawar, Anuj. editor.

(2)

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

(2)

Degano, Pierpaolo. 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)

Du, Ding-Zhu. editor.

(2)

Dubois, Catherine. editor.

(2)

Durand-Lose, Jérôme. 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)

Fitzgerald, John. editor.

(2)

Fomin, Fedor V. editor.

(2)

France, Robert B. editor.

(2)

Fraser, Gordon. editor.

(2)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(2)

Galmiche, Didier. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Giese, Holger. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gnesi, Stefania. editor.

(2)

Gogolla, Martin. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

(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)

Ibarra, Oscar H. editor.

(2)

Imam, Neena. editor. (orcid)0000-0001-8860-4738

(2)

Language

(852)

(4)

Publication Date

-

(104)

(98)

(94)

(90)

(87)

(78)

(76)

(74)

(69)

(69)

(15)

(1)

(1)

Subject

Computer science.

(821)

Software engineering.

(742)

Computer Communication Networks.

(246)

Artificial intelligence.

(234)

Computer software.

(201)

Information Systems.

(95)

Logics and Meanings of Programs.

(87)

Computational complexity.

(70)

Operating systems (Computers).

(70)

Programming Languages, Compilers, Interpreters.

(45)

Information systems.

(44)

Computer system performance.

(43)

Computer simulation.

(42)

Mathematical Logic and Formal Languages.

(42)

Data structures (Computer science).

(41)

Computer network architectures.

(33)

Algebra -- Data processing.

(32)

Information theory.

(27)

Information storage and retrieval systems.

(23)

Artificial Intelligence (incl. Robotics).

(22)

Algorithm Analysis and Problem Complexity.

(21)

Programming Techniques.

(21)

Computation by Abstract Devices.

(20)

Data protection.

(17)

Multimedia systems.

(17)

Electronic data processing.

(15)

(13)

Information Systems Applications (incl. Internet).

(13)

Management of Computing and Information Systems.

(12)

Bioinformatics.

(11)

(10)

(10)

Computer industry.

(10)

Computer hardware.

(9)

Database management.

(9)

Discrete Mathematics in Computer Science.

(9)

Management information systems.

(9)

Data encryption (Computer science).

(8)

Logic, Symbolic and mathematical.

(7)

Computer security.

(6)

Computer organization.

(5)

Operating Systems.

(5)

Programming languages (Electronic computers).

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

(4)

Data structures (Computer scienc.

(4)

Microprocessors.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Computer Appl. in Administrative Data Processing.

(3)

Computer vision.

(3)

(3)

(3)

(3)

Information Storage and Retrieval.

(3)

Microprogramming.

(3)

Monoclonal antibodies.

(3)

Optical pattern recognition.

(3)

Probability and Statistics in Computer Science.

(3)

Telecommunication.

(3)

Translators (Computer programs).

(3)

Architecture, Computer.

(2)

Business Information Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computer Science, general.

(2)

Computer aided design.

(2)

Data Mining and Knowledge Discovery.

(2)

Mathematics of Computing.

(2)

(2)

Microprogramming .

(2)

Social sciences -- Data processing.

(2)

Systems and Data Security.

(2)

Systems engineering.

(2)

Text processing (Computer science.

(2)

(1)

Application software.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer communication systems.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Control Structures and Microprogramming.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

(1)

Economics/Management Science.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Input-output equipment (Computers).

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Memory management (Computer scie.

(1)

Models and Principles.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Optical data processing.

(1)

Pattern Recognition.

(1)

Pattern recognition.

(1)

Processor Architectures.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(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

856 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 72

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 Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31762-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Author

Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34691-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Author

Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25231-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Author

Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Author

Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Programming Languages and Systems 21st European Symposium on Programming, ESOP 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

Programming Languages and Systems 21st European Symposium on Programming, ESOP 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

Programming Languages and Systems 21st European Symposium on Programming, ESOP 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

Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Fundamental Approaches to Software Engineering 15th International Conference, FASE 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

Fundamental Approaches to Software Engineering 15th International Conference, FASE 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

Fundamental Approaches to Software Engineering 15th International Conference, FASE 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

Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Author

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Author

Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30564-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Author

Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 72

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11