Search Results for mathematical.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Software engineering.

Yazar

SpringerLink (Online service)

(122)

Antoš, David. editor.

(2)

Bloem, Roderick. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Legay, Axel. editor.

(2)

Levashkin, Sergei. editor.

(2)

Petre, Luigia. editor.

(2)

Potapov, Igor. editor.

(2)

Son, Tran Cao. editor.

(2)

Sun, Jun. editor.

(2)

Tasiran, Serdar. editor.

(2)

Vojnar, Tomáš. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Albert, Elvira. editor.

(1)

Alvim, Mário S. editor.

(1)

Artho, Cyrille. editor.

(1)

Auer, Ekaterina. editor.

(1)

Baldan, Paolo. editor.

(1)

Barais, Olivier. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bebis, George. editor.

(1)

Benos, Takis. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertolotto, Michela. editor.

(1)

Beyer, Dirk. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Biere, Armin. editor.

(1)

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

(1)

Binder, Walter. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Boiten, Eerke A. author.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor.

(1)

Bouda, Jan. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bravetti, Mario. editor.

(1)

Bulling, Nils. editor.

(1)

Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201

(1)

Cabalar, Pedro. editor.

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Carswell, James D. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cellier, Peggy. editor.

(1)

Chatzikokolakis, Kostas. editor.

(1)

Chen, Ken. editor.

(1)

Claramunt, Christophe. editor.

(1)

Clarke, Edmund M. editor.

(1)

Cleaveland, Rance. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Crossley, John Newsome. author.

(1)

Czarnecki, Krzysztof. editor.

(1)

Derrick, John. author.

(1)

Dierkes, Michael. editor.

(1)

Dillig, Isil. editor.

(1)

Distel, Felix. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Duchier, Denys. editor.

(1)

Dvořák, Zdeněk. editor.

(1)

Erdogmus, Deniz. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

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

(1)

Feliachi, Abderrahmane. editor.

(1)

Fiadeiro, José Luiz. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fleuriot, Jacques. editor.

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Fontaine, Pascal. editor.

(1)

Fotheringham, A. Stewart. editor.

(1)

Fukuda, Komei. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gailly, Frederik. editor.

(1)

Galmiche, Didier. editor.

(1)

Ganter, Bernhard. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

George, Laurent. editor.

(1)

Giachino, Elena. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Giese, Holger. editor.

(1)

Goertzel, Ben. editor.

(1)

Goyal, Neeraj Kumar. author.

(1)

Graf, Susanne. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Groves, Lindsay. editor.

(1)

Grädel, Erich. author.

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Gupta, Gopal. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Haykin, Simon. editor.

(1)

Hedin, Görel. editor.

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Hliněný, Petr. editor.

(1)

Hoeven, Joris van der. editor.

(1)

Hofman, Piotrek. editor.

(1)

Hong, Hoon. editor.

(1)

Horváth, Gábor. editor.

(1)

Huisman, Marieke. editor.

(1)

Huth, Michael. author.

(1)

Hutter, Dieter. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Hähnle, Reiner. editor.

(1)

Ida, Tetsuo. editor.

(1)

Iida, Shusaku. editor.

(1)

Jahn, Katharina. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Janowicz, Krzysztof. editor.

(1)

Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804

(1)

Jeppu, Yogananda. editor.

(1)

Jiang, He. editor. (orcid)0000-0001-8674-4948

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jones, Richard. editor.

(1)

Joswig, Michael. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Khan, Md. Aquil. editor.

(1)

Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X

(1)

Kofroň, Jan. editor.

(1)

Kolaitis, Phokion G. author.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kotásek, Zdeněk. editor.

(1)

Kořenek, Jan. editor.

(1)

Kroening, Daniel. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Kučera, Antonín. editor.

(1)

König, Barbara. editor.

(1)

Kühnberger, Kai-Uwe. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leite, João. editor.

(1)

Lepistö, Arto. editor.

(1)

Li, Ge. editor.

(1)

Li, Ming. editor.

(1)

Li, Zheng. editor. (orcid)0000-0002-3938-7033

(1)

Libkin, Leonid. author.

(1)

Lima, Ernesto. editor.

(1)

Liu, Baoding. author.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Logozzo, Francesco. editor.

(1)

Lutz, Carsten. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löwe, Welf. editor.

(1)

Manuel, Amaldev. editor.

(1)

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

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Markham, Andrew. editor.

(1)

Marx, Maarten. author.

(1)

Mastroeni, Isabella. editor.

(1)

Matula, Petr. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McArdle, Gavin. editor.

(1)

McMillan, Ken. editor.

(1)

Mendes, Emilia. author.

(1)

Merayo, Mercedes G. editor.

(1)

Merz, Stephan. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Middeldorp, Aart. editor.

(1)

Miklós, Telek. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Muntean, Traian. editor.

(1)

Naegel, Benoît. editor. (orcid)0000-0002-7695-1473

(1)

Nahir, Amir. editor.

(1)

Nanda, Manju. editor.

(1)

Nawaz, Sarfraz. editor.

(1)

Nešetřil, Jaroslav. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

O'Regan, Gerard. author.

(1)

Ogata, Kazuhiro. editor.

(1)

Olarte, Carlos. editor.

(1)

Ong, Luke. editor.

(1)

Orseau, Laurent. editor.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Ouaknine, Joel. editor.

(1)

O’Regan, Gerard. author.

(1)

Paige, Richard F. editor.

(1)

Pala, Karel. editor.

(1)

Panangaden, Prakash. editor.

(1)

Tümünü genişlet

Dil

(123)

Yayın Yılı

-

(47)

(29)

(28)

(4)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(66)

Mathematical logic.

(48)

Mathematical Logic and Formal Languages.

(43)

(40)

Artificial intelligence.

(39)

Logics and Meanings of Programs.

(34)

Computer logic.

(33)

Programming Languages, Compilers, Interpreters.

(25)

Artificial Intelligence (incl. Robotics).

(19)

Programming Techniques.

(17)

Programming languages (Electronic computers).

(17)

(15)

Computer software.

(15)

Algorithm Analysis and Problem Complexity.

(11)

Computer Communication Networks.

(10)

(10)

Computation by Abstract Devices.

(8)

Computer simulation.

(8)

Computational complexity.

(7)

Computer communication systems.

(7)

Computer programming.

(7)

Logic, Symbolic and mathematical.

(7)

Computer science—Mathematics.

(6)

Computer system failures.

(6)

Information theory.

(6)

Mathematical statistics.

(6)

(5)

Database management.

(5)

Discrete Mathematics in Computer Science.

(5)

Information Systems.

(5)

Information systems.

(4)

Management information systems.

(4)

Management of Computing and Information Systems.

(4)

Mathematical geography.

(4)

Simulation and Modeling.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Application software.

(3)

(3)

Information Systems Applications (incl. Internet).

(3)

Information storage and retrieval systems.

(3)

Mathematical optimization.

(3)

Algebra -- Data processing.

(2)

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

Data structures (Computer science).

(2)

(2)

Natural language processing (Computer science).

(2)

Optical data processing.

(2)

Symbolic and Algebraic Manipulation.

(2)

(2)

Theory of Computation.

(2)

(1)

Computational Intelligence.

(1)

Computer Science, general.

(1)

Computer graphics.

(1)

Computer network architectures.

(1)

Computer organization.

(1)

Computer security.

(1)

Data protection.

(1)

Distribution (Probability theory).

(1)

Economic theory.

(1)

Economics, Mathematical.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Engineering mathematics.

(1)

Game Theory/Mathematical Methods.

(1)

Geographical information systems.

(1)

Health Informatics.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Storage and Retrieval.

(1)

Knowledge management.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematics of Computing.

(1)

Medical records -- Data processing.

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Numerical analysis.

(1)

Operating systems (Computers).

(1)

Operations research.

(1)

Optical pattern recognition.

(1)

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Pattern Recognition.

(1)

Pattern recognition.

(1)

Project management.

(1)

Remote sensing.

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

Statistics and Computing/Statistics Programs.

(1)

Systems and Data Security.

(1)

Systems theory.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{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

123 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 11

000000000000DEFAULT_TR

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.

1.

Mathematical Approaches to Software Quality için kapak resmi

Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-435-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings için kapak resmi

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Yazar

Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35210-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings için kapak resmi

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Yazar

Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20867-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Verification of Floating-Point Hardware Design A Mathematical Approach için kapak resmi

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

Yazar

Russinoff, David M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches için kapak resmi

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers için kapak resmi

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Yazar

Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14896-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings için kapak resmi

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Yazar

Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44199-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers için kapak resmi

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Yazar

Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.

Yer Numarası

ONLINE(334106.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36046-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers için kapak resmi

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Yazar

Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-25929-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings için kapak resmi

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Yazar

Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-15582-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday için kapak resmi

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Yazar

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Modeling, Design, and Simulation of Systems with Uncertainties için kapak resmi

Modeling, Design, and Simulation of Systems with Uncertainties

Modeling, Design, and Simulation of Systems with Uncertainties

Yazar

Rauh, Andreas. editor. Auer, Ekaterina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-15956-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 11

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11