Search Results for Computer engineering.

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

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

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Machine theory.

Yazar

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)

Tümünü genişlet

Dil

(393)

(1)

Yayın Yılı

-

(61)

(52)

(47)

(45)

(43)

(33)

(33)

(32)

(27)

(21)

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

Springer E-Kitap Koleksiyonu

Kütüphane

Ferit Melen Kütüphanesi

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

394 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 33

000000000000DEFAULT

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

49.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday için kapak resmi

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

by

Achten, Peter. editor.

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

Format:

Alıntı:

Programming and Software Engineering,

SD_ILS:170421

50.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

by

Cabalar, Pedro. editor.

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

Format:

Alıntı:

Discrete Mathematics in Computer Science.

SD_ILS:170110

51.

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 için kapak resmi

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

by

Pfenning, Frank. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169825

52.

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday için kapak resmi

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

by

Coecke, Bob. editor.

https://doi.org/10.1007/978-3-642-38164-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170169

53.

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings için kapak resmi

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

by

Hierons, Robert M. editor.

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

Format:

Alıntı:

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain

SD_ILS:170253

54.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings için kapak resmi

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

by

Fontaine, Pascal. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170898

55.

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings için kapak resmi

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

by

McMillan, Ken. editor.

https://doi.org/10.1007/978-3-642-45221-5

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171225

56.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

by

Wolff, Burkhard. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171149

57.

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

by

Pasareanu, Corina S. editor.

https://doi.org/10.1007/978-3-642-35861-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171382

58.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

by

Qadeer, Shaz. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169971

59.

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings için kapak resmi

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

by

Binder, Walter. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171987

60.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings için kapak resmi

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

by

Abdulla, Parosh Aziz. editor.

https://doi.org/10.1007/978-3-642-41036-9

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171367

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 33

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)