Search Results for Computer engineering.

|

|

|

|

Select Language

English
Türkçe

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

24

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Machine theory.

Author

SpringerLink (Online service)

(394)

Voronkov, Andrei. editor.

(9)

Liu, Zhiming. editor.

(5)

Potapov, Igor. editor. (orcid)0000-0002-7192-7853

(5)

Meseguer, José. editor.

(4)

Rozenberg, Grzegorz. editor.

(4)

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

(4)

Bernardo, Marco. editor.

(3)

Fiadeiro, José Luiz. editor.

(3)

Giannakopoulou, Dimitra. editor.

(3)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(3)

Horimoto, Katsuhisa. editor.

(3)

Legay, Axel. editor.

(3)

Liu, Shaoying. editor.

(3)

Rahonis, George. editor.

(3)

Salaün, Gwen. editor.

(3)

Schmidt, Renate. editor.

(3)

Seidl, Helmut. editor.

(3)

Simao, Adenilso. editor. (orcid)0000-0002-1454-2607

(3)

Vardanega, Tullio. editor.

(3)

Veith, Helmut. editor.

(3)

Aceto, Luca. editor.

(2)

Albert, Elvira. editor.

(2)

Araki, Keijiro. editor.

(2)

Arbab, Farhad. editor.

(2)

Baral, Chitta. editor.

(2)

Beckert, Bernhard. editor.

(2)

Bensalem, Saddek. editor.

(2)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(2)

Bjørner, Nikolaj. editor.

(2)

Boca, Paul. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Butler, Michael. editor.

(2)

Cavalcanti, Ana. editor.

(2)

Cerone, Antonio. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dix, Jürgen. editor.

(2)

Ehrig, Hartmut. editor.

(2)

Engels, Gregor. editor.

(2)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(2)

Fisher, Michael. editor.

(2)

Ganter, Bernhard. editor.

(2)

Garrigue, Jacques. editor.

(2)

Giese, Holger. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Gogolla, Martin. editor.

(2)

Governatori, Guido. editor.

(2)

Gramlich, Bernhard. editor.

(2)

Grumberg, Orna. editor.

(2)

Gupta, Gopal. editor.

(2)

Hage, Jurriaan. editor.

(2)

Jamroga, Wojtek. editor.

(2)

Jhala, Ranjit. editor.

(2)

Johnson, Michael. editor.

(2)

Jones, Cliff B. editor.

(2)

Julliand, Jacques. editor.

(2)

Kahl, Wolfram. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Koopman, Pieter. editor.

(2)

Kreowski, Hans-Jörg. editor.

(2)

Leite, Joao. editor.

(2)

Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363

(2)

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

(2)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(2)

Merz, Stephan. editor.

(2)

Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

(2)

Miller, Dale. editor.

(2)

Montanari, Ugo. editor.

(2)

Morazán, Marco T. editor.

(2)

Niemelä, Ilkka. editor.

(2)

Nordio, Martin. editor.

(2)

Ong, Luke. editor.

(2)

Orejas, Fernando. editor.

(2)

Palsberg, Jens. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Pearce, David. editor.

(2)

Pfenning, Frank. editor.

(2)

Pihlajasaari, Pekka. editor.

(2)

Pontelli, Enrico. editor.

(2)

Qadeer, Shaz. editor.

(2)

Qin, Shengchao. editor.

(2)

Rajamani, Sriram K. editor.

(2)

Rensink, Arend. editor.

(2)

Rosu, Grigore. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Sagiv, Mooly. editor.

(2)

Saraiva, João. editor. (orcid)0000-0002-5686-7151

(2)

Schmidt, David. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Sekerinski, Emil. editor.

(2)

Shankar, Natarajan. editor.

(2)

Shao, Zhong. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Son, Tran Cao. editor.

(2)

Steffen, Bernhard. editor.

(2)

Torroni, Paolo. editor.

(2)

Treharne, Helen. editor.

(2)

Vidal-Oriola, Germán. editor.

(2)

Visser, Joost. editor.

(2)

Wolff, Burkhart. editor.

(2)

Woodcock, Jim. editor.

(2)

Yahav, Eran. editor.

(2)

Zsók, Viktoria. editor.

(2)

van der Torre, Leon. editor.

(2)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Achten, Peter. editor.

(1)

Agha, Gul. editor.

(1)

Agotnes, Thomas. editor.

(1)

Agrawal, Manindra. editor.

(1)

Aho, Alfred V. editor.

(1)

Ait Mohamed, Otmane. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alferes, José Júlio. editor.

(1)

Aloni, Maria. editor.

(1)

Alpuente, María. editor.

(1)

Amadio, Roberto. editor.

(1)

Anai, Hirokazu. editor.

(1)

Andres, Frederic. editor.

(1)

Aoki, Toshiaki. editor.

(1)

Apel, Sven. editor.

(1)

Armando, Alessandro. editor.

(1)

Artikis, Alexander. editor.

(1)

Arvind, V. editor.

(1)

Arvind, Vikraman. editor.

(1)

Audebaud, Philippe. editor.

(1)

Baader, Franz. editor.

(1)

Bach, Joscha. editor.

(1)

Bailey, James. editor.

(1)

Baldan, Paolo. editor.

(1)

Ball, Thomas. editor.

(1)

Banda, Maria Garcia. editor.

(1)

Barais, Olivier. editor.

(1)

Barbosa, Luis Soares. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Bauer, Jörg. editor.

(1)

Baumgartner, Peter. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bella, Giampaolo. author.

(1)

Benhamou, Frédéric. editor.

(1)

Berdine, Josh. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Bergstra, Jan A. author.

(1)

Beringer, Lennart. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bessiere, Christian. editor.

(1)

Beyer, Dirk. editor.

(1)

Binder, Walter. editor.

(1)

Birkedal, Lars. editor.

(1)

Bishop, Judith. editor.

(1)

Bjørner, Dines. editor.

(1)

Blass, Andreas. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blockeel, Hendrik. editor.

(1)

Bloem, Roderick. editor.

(1)

Blum, Edward K. editor.

(1)

Blume, Matthias. editor.

(1)

Bodden, Eric. editor.

(1)

Bodik, Rastislav. editor.

(1)

Boella, Guido. editor.

(1)

Bolduc, Claude. editor.

(1)

Bollig, Benedikt. author.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Book, Matthias. editor.

(1)

Borba, Paulo. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Borrione, Dominique. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Brandt, Jens. editor.

(1)

Bravetti, Mario. editor.

(1)

Breitman, Karin. editor.

(1)

Brewka, Gerhard. editor.

(1)

Brorsson, Mats. editor.

(1)

Brucker, Achim. editor.

(1)

Bruni, Roberto. editor.

(1)

Brünnler, Kai. editor.

(1)

Bulling, Nils. editor.

(1)

Butterfield, Andrew. editor.

(1)

Börger, Egon. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cabot, Jordi. editor.

(1)

Caromel, Denis. author.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cervesato, Iliano. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chen, Peter P. editor.

(1)

Chitil, Olaf. editor.

(1)

Clarke, Edmund M. editor.

(1)

Clavel, Manuel. author.

(1)

Codish, Michael. editor.

(1)

Language

(393)

(1)

Publication Date

-

(61)

(52)

(47)

(45)

(43)

(33)

(33)

(32)

(27)

(21)

Subject

Formal Languages and Automata Theory.

(394)

Software engineering.

(369)

Computer science.

(336)

Computer Science Logic and Foundations of Programming.

(314)

Compilers (Computer programs).

(238)

Compilers and Interpreters.

(238)

Computer programming.

(195)

Programming Techniques.

(195)

Artificial intelligence.

(158)

Theory of Computation.

(82)

Computer networks .

(61)

(60)

Computer science-Mathematics.

(60)

Computer Communication Networks.

(56)

Discrete Mathematics in Computer Science.

(29)

Discrete mathematics.

(29)

Symbolic and Algebraic Manipulation.

(27)

Application software.

(23)

Computer and Information Systems Applications.

(23)

Electronic data processing-Management.

(18)

(18)

Models of Computation.

(16)

Computer Modelling.

(14)

Computer simulation.

(14)

Artificial intelligence-Data processing.

(9)

(9)

Mathematics of Computing.

(9)

Data Mining and Knowledge Discovery.

(8)

Data and Information Security.

(8)

(8)

Data protection.

(8)

(6)

Database management.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Computer Engineering and Networks.

(5)

Computer System Implementation.

(5)

Computer engineering.

(5)

Computer systems.

(5)

Computers, Special purpose.

(5)

(5)

Numerical analysis.

(5)

Order, Lattices, Ordered Algebraic Structures.

(5)

Special Purpose and Application-Based Systems.

(5)

Bioinformatics.

(4)

Computational and Systems Biology.

(4)

Electronic Circuits and Systems.

(4)

Electronic circuits.

(4)

Operating Systems.

(4)

Operating systems (Computers).

(4)

Automated Pattern Recognition.

(3)

Computational Science and Engineering.

(3)

Computer-Aided Engineering (CAD, CAE) and Design.

(3)

Computer-aided engineering.

(3)

Electrical and Electronic Engineering.

(3)

Electrical engineering.

(3)

Engineering mathematics.

(3)

Engineering-Data processing.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical and Computational Engineering Applications.

(3)

Mathematical logic.

(3)

Mathematical statistics.

(3)

Mathematics-Data processing.

(3)

Pattern recognition systems.

(3)

Probability and Statistics in Computer Science.

(3)

Adaptive Immunity.

(2)

Computer Hardware.

(2)

Computer graphics.

(2)

(2)

Control engineering.

(2)

Control theory.

(2)

Digital humanities.

(2)

(2)

Immunospecificity.

(2)

Information theory.

(2)

(2)

Systems Theory, Control .

(2)

Arithmetic and Logic Structures.

(1)

(1)

(1)

Coding and Information Theory.

(1)

(1)

Cognitive psychology.

(1)

Communications Engineering, Networks.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer vision.

(1)

Control and Systems Theory.

(1)

Control, Robotics, Automation.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Electronic digital computers-Evaluation.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Engineering design.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

Image processing-Digital techniques.

(1)

Information technology-Management.

(1)

Mathematical Applications in Chemistry.

(1)

Mathematical Applications in Computer Science.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

(1)

Probability Theory.

(1)

Processor Architectures.

(1)

(1)

Social sciences-Data processing.

(1)

System Performance and Evaluation.

(1)

Telecommunication.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Springer E-Book Collection

Library

Ferit Melen 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

394 Results Found

Subscribe to search results

1 2 3 4 5 .. 33

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.

25.

Cover image for Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

by

Höfner, Peter. editor.

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

Format:

Excerpt:

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014

SD_ILS:140926

26.

Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

by

Demri, Stéphane. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:140934

27.

Cover image for Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

by

George, Laurent. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:140946

28.

Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

by

Müller-Olm, Markus. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:140990

29.

Cover image for Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

by

Seidl, Martina. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:141005

30.

Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

by

Giannakopoulou, Dimitra. editor.

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

Format:

Excerpt:

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France

SD_ILS:141016

31.

Cover image for Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

by

Albert, Elvira. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:141027

32.

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

by

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:141111

33.

Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

by

Merz, Stephan. editor.

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

Format:

Excerpt:

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods

SD_ILS:141141

34.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

by

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

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:146078

35.

Cover image for Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

by

Iida, Shusaku. editor.

https://doi.org/10.1007/978-3-642-54624-2

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:145632

36.

Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

by

McMillan, Kenneth. editor.

https://doi.org/10.1007/978-3-642-54013-4

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:147734

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 33

Copyright 2016 SirsiDynix - Portfolio Version 4.5 (36068)