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

10

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.

1.

Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

by

Bernardo, Marco. editor.

https://doi.org/10.1007/978-3-642-30982-3

Format:

Excerpt:

Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012

SD_ILS:171269

2.

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

by

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

https://doi.org/10.1007/978-3-662-45231-8

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:170377

3.

Cover image for Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

by

Cassez, Franck. editor.

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

Format:

Excerpt:

Programming and Software Engineering,

SD_ILS:169632

4.

Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

Muscholl, Anca. editor.

https://doi.org/10.1007/978-3-642-54830-7

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:169917

5.

Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

by

Bensalem, Saddek. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:170101

6.

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

by

Bonakdarpour, Borzoo. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:171110

7.

Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

by

Remke, Anne. editor.

https://doi.org/10.1007/978-3-662-45489-3

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:170903

8.

Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

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

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

Format:

Excerpt:

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as

SD_ILS:170838

9.

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

by

Klein, Gerwin. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:170912

10.

Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

by

Liu, Shaoying. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:171260

11.

Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

by

Garrigue, Jacques. editor.

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

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

SD_ILS:171924

12.

Cover image for Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

by

Maffei, Matteo. editor.

https://doi.org/10.1007/978-3-662-45917-1

Format:

Excerpt:

Computer Engineering and Networks.

SD_ILS:171469

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)