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: Software engineering.

Author

SpringerLink (Online service)

(742)

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)

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)

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)

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)

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)

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

(2)

Inverardi, Paola. 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)

Language

(739)

(4)

Publication Date

-

(89)

(85)

(80)

(80)

(77)

(70)

(68)

(65)

(62)

(55)

(11)

(1)

Subject

(742)

Computer science.

(713)

Computer Communication Networks.

(242)

Artificial intelligence.

(193)

Computer software.

(96)

Information Systems.

(93)

Logics and Meanings of Programs.

(77)

Operating systems (Computers).

(61)

Programming Languages, Compilers, Interpreters.

(44)

Computer system performance.

(43)

Computer simulation.

(42)

Information systems.

(42)

Mathematical Logic and Formal Languages.

(34)

Computer network architectures.

(31)

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.

(10)

Computer hardware.

(9)

Management information systems.

(9)

Bioinformatics.

(8)

(8)

Data encryption (Computer science).

(8)

Database management.

(8)

Computer security.

(6)

Operating Systems.

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

(4)

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)

Computer organization.

(3)

Data structures (Computer scienc.

(3)

Information Storage and Retrieval.

(3)

Microprogramming.

(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 aided design.

(2)

Computer vision.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

(2)

(2)

Microprocessors.

(2)

Programming languages (Electronic computers).

(2)

Systems and Data Security.

(2)

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer communication systems.

(1)

Computer engineering.

(1)

Computer logic.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Data Structures.

(1)

Digital electronics.

(1)

(1)

Economics/Management Science.

(1)

Electronic books.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Génie logiciel.

(1)

Information Systems and Communication Service.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Memory management (Computer scie.

(1)

Models and Principles.

(1)

Numerical analysis.

(1)

Optical data processing.

(1)

Ordinateurs -- Conception et construction.

(1)

Pattern recognition.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Systems engineering.

(1)

User Interfaces and Human Computer Interaction.

(1)

Électronique numérique.

(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

743 Results Found

Subscribe to search results

1 .. 58 59 60 61 62

00000000000DEFAULT

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 Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Cerioli, Maura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107062

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Bodik, Rastislav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107108

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Sagiv, Mooly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107380

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Author

Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11563228

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Author

Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b135596

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

Author

Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11572329

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Author

Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107183

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Author

Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136154

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Author

Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106974

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Author

Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106931

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

Author

Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11590712

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 58 59 60 61 62

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11