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 2 3 4 5 .. 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.

25.

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

by

Fiadeiro, José Luiz. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:143140

26.

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume için kapak resmi

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume

by

Agrawal, Manindra. editor.

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

Format:

Alıntı:

Progress in Computer Science and Applied Logic,

SD_ILS:144309

27.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

by

Giannakopoulou, Dimitra. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:143736

28.

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

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:146078

29.

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi için kapak resmi

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:145632

30.

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

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:141111

31.

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings için kapak resmi

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

by

O'Sullivan, Barry. editor.

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

Format:

Alıntı:

Programming and Software Engineering,

SD_ILS:139642

32.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings için kapak resmi

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:

Alıntı:

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

SD_ILS:141141

33.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings için kapak resmi

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

by

Jones, Cliff. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:140911

34.

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

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:

Alıntı:

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

SD_ILS:140926

35.

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings için kapak resmi

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:140990

36.

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

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:141005

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 33

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)