Search Results for Essays.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(54)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Meseguer, José. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Jones, Cliff B. editor.

(2)

Liu, Zhiming. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Woodcock, Jim. editor.

(2)

Aceto, Luca. editor.

(1)

Agha, Gul. editor.

(1)

Albers, Susanne. editor.

(1)

Alt, Helmut. editor.

(1)

Alvim, Mário S. editor.

(1)

Artikis, Alexander. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Barik, Rajkishore. editor.

(1)

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

(1)

Bauer, Jörg. editor.

(1)

Blass, Andreas. editor.

(1)

Bongard, Josh. editor.

(1)

Bonsangue, Marcello. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

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

(1)

Borgida, Alexander T. editor.

(1)

Breitman, Karin. editor.

(1)

Brooks, Frederick P. (Frederick Phillips)

(1)

Chatzikokolakis, Kostas. editor.

(1)

Chaudhri, Vinay K. editor.

(1)

Cleaveland, Rance. editor.

(1)

Coecke, Bob. editor.

(1)

Comon-Lundh, Hubert. editor.

(1)

Constable, Robert L. editor.

(1)

Corradini, Flavio. editor.

(1)

Craven, Robert. editor.

(1)

Dams, Dennis. editor.

(1)

Danvy, Olivier. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Diniz Junqueira Barbosa, Simone. editor.

(1)

Dubinsky, Yael. author.

(1)

Düsterhöft, Antje. editor.

(1)

Engels, Gregor. editor.

(1)

Erdem, Esra. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Gibson-Robinson, Thomas. editor.

(1)

Giorgini, Paolo. editor.

(1)

Graciani, Carmen. editor.

(1)

Graf, Susanne. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

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

(1)

Gupta, Rajiv. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hankin, Chris. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hazzan, Orit. author. (orcid)0000-0002-8627-0997

(1)

Heisel, Maritta. editor.

(1)

Hinchey, Mike. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hutter, Dieter. editor.

(1)

Härder, Theo. editor.

(1)

Iida, Fumiya. editor.

(1)

Iida, Shusaku. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

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

(1)

Kesim Çiçekli, Nihan. editor.

(1)

Kirchner, Claude. editor.

(1)

Kirchner, Hélène. editor.

(1)

Klettke, Meike. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kreowski, Hans-Jörg. editor.

(1)

Kuich, Werner. editor.

(1)

Kühn, Harald. editor.

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim G. editor.

(1)

Lazić, Ranko. editor.

(1)

Lee, Edward A. editor. (orcid)0000-0002-5663-0584

(1)

Lee, Joohyung. editor.

(1)

Legay, Axel. editor.

(1)

Lehner, Wolfgang. editor.

(1)

Lewerentz, Claus. editor.

(1)

Lierler, Yuliya. editor.

(1)

Lindley, Sam. editor.

(1)

Lloyd, John L. editor.

(1)

Loreti, Michele. editor. (orcid)0000-0003-3061-863X

(1)

Lungarella, Max. editor.

(1)

Lutz, Carsten. editor.

(1)

Mardare, Radu. editor.

(1)

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

(1)

McBride, Conor. editor.

(1)

Montanari, Ugo. editor.

(1)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Müller, Peter. editor.

(1)

Münch, Jürgen. editor.

(1)

Nafz, Florian. editor. (orcid)0000-0001-5725-4827

(1)

Nicola, Rocco. editor.

(1)

Näher, Stefan. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

Olarte, Carlos. editor.

(1)

Ong, Luke. editor.

(1)

Orejas, Fernando. editor.

(1)

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

(1)

Palsberg, Jens. editor.

(1)

Palsberg, Jens. editor. (orcid)0000-0003-4747-365X

(1)

Panangaden, Prakash. editor.

(1)

Pearce, David. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Pfeifer, Rolf. editor.

(1)

Ponsar, Hella. editor. (orcid)0000-0001-6376-9683

(1)

Probst, Christian W. editor.

(1)

Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405

(1)

Păun, Gheorghe. editor.

(1)

Rahonis, George. editor.

(1)

Reisig, Wolfgang. editor.

(1)

Rensink, Arend. editor.

(1)

Reps, Thomas. editor.

(1)

Riscos-Núñez, Agustín. editor.

(1)

Rutten, Jan. editor.

(1)

Sadighi, Babak. editor.

(1)

Sagiv, Mooly. editor.

(1)

Salomaa, Arto. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Sattler, Uli. editor.

(1)

Schaefer, Ina. editor.

(1)

Schellhorn, Gerhard. editor. (orcid)0000-0001-6712-7178

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schiendorfer, Alexander. editor. (orcid)0000-0002-5283-5304

(1)

Schmid, Klaus. editor.

(1)

Schäfer, Wilhelm. editor.

(1)

Schürr, Andy. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Silva, Alexandra. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Stathis, Kostas. editor.

(1)

Steffen, Martin. editor.

(1)

Stephan, Werner. editor.

(1)

Taentzer, Gabriele. editor.

(1)

Talcott, Carolyn. editor.

(1)

Tinelli, Cesare. editor.

(1)

Trinder, Phil. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Valencia, Frank. editor.

(1)

Wang, Ji. editor.

(1)

Westfechtel, Bernhard. editor.

(1)

Wolter, Frank. editor.

(1)

Yu, Eric S. editor.

(1)

Zhan, Naijun. editor.

(1)

Zhu, Huibiao. editor.

(1)

de Boer, Frank. editor.

(1)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(1)

Ábrahám, Erika. editor.

(1)

Language

(55)

Publication Date

-

(8)

(6)

(5)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

Subject

Computer science.

(39)

(18)

Artificial intelligence.

(15)

Formal Languages and Automata Theory.

(9)

Machine theory.

(9)

Computer Science Logic and Foundations of Programming.

(8)

Computer Communication Networks.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Computer simulation.

(6)

Computer software.

(6)

Theory of Computation.

(6)

(5)

Computer logic.

(5)

Mathematical logic.

(4)

Programming languages (Electronic computers).

(4)

Algebra -- Data processing.

(3)

Computer Modelling.

(3)

Computer programming.

(3)

(3)

Programming Techniques.

(3)

Computational complexity.

(2)

Computer network architectures.

(2)

Computer networks .

(2)

(2)

Data protection.

(2)

Information systems.

(2)

Information theory.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Application software.

(1)

Architecture, Computer.

(1)

Computation by Abstract Devices.

(1)

Computer Engineering and Networks.

(1)

Computer and Information Systems Applications.

(1)

Computer communication systems.

(1)

Computer engineering.

(1)

Computer security.

(1)

Computer system failures.

(1)

Computer system performance.

(1)

Data and Information Security.

(1)

Database management.

(1)

Electronic data processing.

(1)

Human-computer interaction.

(1)

Information Systems.

(1)

Logic, Symbolic and mathematical.

(1)

Logics and Meanings of Programs.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical statistics.

(1)

Microprogramming.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Programming Language.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Project management.

(1)

Robotic Engineering.

(1)

(1)

(1)

Simulation and Modeling.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Yazılım mühendisliği.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe 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

55 Results Found

Subscribe to search results

1 2 3 4 5

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.

13.

Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Author

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31175-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22348-9

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Author

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21485-2

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Author

Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Author

Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Author

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01461-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Author

de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Author

Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11