Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Deutschland
Vereinigtes Königreich
Griechenland
Irland
Island
Italien
Japan
Kanada
Luxemburg
Namibia
Niederlande
Norwegen
Österreich
Portugal
Schweden
Schweiz
Spanien
Vereinigte Staaten von Amerika
Liechtenstein
Arabische Emirate
Polen
Ungarn
Türkei
Tschechische Republik
Slowakei
Rumänien
Brasilien
Israel
Australien
Belgien
Dänemark
Finnland
Frankreich
Bulgarien
Estland
Kroatien
Lettland
Litauen
Malta
Slowenien
Zypern
Afghanistan
Åland
Albanien
Algerien
Amerikanisch-Samoa
Andorra
Angola
Anguilla
Antarktika
Antigua und Barbuda
Argentinien
Armenien
Aruba
Aserbaidschan
Bahamas
Bahrain
Bangladesch
Barbados
Weißrussland
Belize
Benin
Bermuda
Bhutan
Bolivien
Bonaire, Sint Eustatius und Saba
Bosnien und Herzegowina
Botswana
Bouvetinsel
Britisches Territorium im Indischen Ozean
Kleinere Inselbesitzungen der Vereinigten Staaten
Britische Jungferninseln
Amerikanische Jungferninseln
Brunei
Burkina Faso
Burundi
Kambodscha
Kamerun
Kap Verde
Kaimaninseln
Zentralafrikanische Republik
Tschad
Chile
China
Weihnachtsinsel
Kokosinseln
Kolumbien
Union der Komoren
Kongo
Kongo (Dem. Rep.)
Cookinseln
Costa Rica
Kuba
Curaçao
Dschibuti
Dominica
Dominikanische Republik
Ecuador
Ägypten
El Salvador
Äquatorial-Guinea
Eritrea
Äthiopien
Falklandinseln
Färöer-Inseln
Fidschi
Französisch Guyana
Französisch-Polynesien
Französische Süd- und Antarktisgebiete
Gabun
Gambia
Georgien
Ghana
Gibraltar
Grönland
Grenada
Guadeloupe
Guam
Guatemala
Guernsey
Guinea
Guinea-Bissau
Guyana
Haiti
Heard und die McDonaldinseln
Staat Vatikanstadt
Honduras
Hong Kong
Indien
Indonesien
Elfenbeinküste
Iran
Irak
Insel Man
Jamaika
Jersey
Jordanien
Kasachstan
Kenia
Kiribati
Kuwait
Kirgisistan
Laos
Libanon
Lesotho
Liberia
Libyen
Macao
Mazedonien
Madagaskar
Malawi
Malaysia
Malediven
Mali
Marshallinseln
Martinique
Mauretanien
Mauritius
Mayotte
Mexiko
Mikronesien
Moldawie
Monaco
Mongolei
Montenegro
Montserrat
Marokko
Mosambik
Myanmar
Nauru
Népal
Neukaledonien
Neuseeland
Nicaragua
Niger
Nigeria
Niue
Norfolkinsel
Nordkorea
Nördliche Marianen
Oman
Pakistan
Palau
Palästina
Panama
Papua-Neuguinea
Paraguay
Peru
Philippinen
Pitcairn
Puerto Rico
Katar
Republik Kosovo
Réunion
Russland
Ruanda
Saint-Barthélemy
Sankt Helena
St. Kitts und Nevis
Saint Lucia
Saint Martin
Saint-Pierre und Miquelon
Saint Vincent und die Grenadinen
Samoa
San Marino
São Tomé und Príncipe
Saudi-Arabien
Senegal
Serbien
Seychellen
Sierra Leone
Singapur
Sint Maarten (niederl. Teil)
Salomonen
Somalia
Republik Südafrika
Südgeorgien und die Südlichen Sandwichinseln
Südkorea
Südsudan
Sri Lanka
Sudan
Suriname
Svalbard und Jan Mayen
Swasiland
Syrien
Taiwan
Tadschikistan
Tansania
Thailand
Timor-Leste
Togo
Tokelau
Tonga
Trinidad und Tobago
Tunesien
Turkmenistan
Turks- und Caicosinseln
Tuvalu
Uganda
Ukraine
Uruguay
Usbekistan
Vanuatu
Venezuela
Vietnam
Wallis und Futuna
Westsahara
Jemen
Sambia
Simbabwe
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Haupt Buchhandlung
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events
Zur Kategorie Natur
Neuerscheinungen
Garten
Pflanzen & Pilze
Flora Helvetica
Tiere
Natur- und Wanderführer
Natur entdecken mit Kindern
Erde / Klima / Wasser
Astronomie
Umwelt / Ökologie
Spiele / Puzzles
Apps
Zur Kategorie Geschichte
Neuerscheinungen
Wissenschaftsgeschichte
Kulturgeschichte
Naturgeschichte
Zur Kategorie Gestalten
Neuerscheinungen
Gestalten mit Kindern
Druck / Papier
Schrift / Kunst / Zeichnen
Holz
Keramik / Glas
Metall / Stein
Schmuck
Färben
Mode / Textildesign
Textile Techniken
Wohnen / DIY
Zur Kategorie Fachbuch
Neuerscheinungen
Umwelt / Ökologie
Land- und Forstwirtschaft
NPO-Management
Management
Soziale Arbeit
Pädagogik
Haupt bei UTB
Zur Kategorie Aktuell
Magazin
Veranstaltungen
Newsletter
Zur Kategorie Service
Über uns
Team
Für den Handel
Für Presse / Medien
Für Autor:innen
Rights
Haupt Buchhandlung
Kontakt
Menü schließen
Fr
Schweizer Franken
Fr CHF
€ EUR
Kategorien
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events
Zu "programming languages" wurden 137 Produkte gefunden
Suchergebnis | hauptverlag
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
APRESS (1)
De Gruyter Oldenbourg (1)
Springer Berlin (22)
Springer International Publishing (106)
Springer London (4)
Springer Nature EN (3)
Produktart
Gebunden (4)
Kartoniert / Broschiert (132)
Kassette / Medienmix z.B. Audio und Buch (1)
Herausgeber
Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Ahrendt, Wolfgang Wehrheim, Heike (1)
Anjorin, Anthony Espinoza, Huáscar (1)
Arbab, Farhad Jongmans, Sung-Shik (1)
Avgeriou, Paris Zdun, Uwe (1)
Bae, Kyungmin Ölveczky, Peter Csaba (1)
Baldan, Paolo (1)
Barkaoui, Kamel Boucheneb, Hanifa Mili, Ali Tahar, Sofiène (1)
Baroglio, Cristina Hubner, Jomi F. Winikoff, Michael (1)
Beyer, Dirk Huisman, Marieke (1)
Beyer, Dirk Huisman, Marieke Kordon, Fabrice Steffen, Bernhard (1)
Beyer, Dirk Keller, Chantal (1)
Bojanczyk, Mikolaj Simpson, Alex (1)
Bordeleau, Francis Sillitti, Alberto Meirelles, Paulo Lenarduzzi, Valentina (2)
Boreale, Michele Corradini, Flavio Loreti, Michele Pugliese, Rosario (1)
Breitman, Karin K. Horspool, R. Nigel (2)
Brorsson, Mats Pinho, Luis Miguel (1)
Bu, Lei Xiong, Yingfei (1)
Caires, Luís (1)
Canal, Carlos Idani, Akram (1)
Chen, Yu-Fang Cheng, Chih-Hong Esparza, Javier (1)
Colombo, Christian Leucker, Martin (1)
Cybenko, George Pym, David Fila, Barbara (1)
Cîrstea, Corina (1)
D'Souza, Deepak Narayan Kumar, K. (1)
Damiani, Ernesto Spanoudakis, George Maciaszek, Leszek (1)
Degano, Pierpaolo (1)
Desharnais, Jules Guttmann, Walter Joosten, Stef (1)
Devitt, Simon Lanese, Ivan (1)
Dillig, Isil Tasiran, Serdar (1)
Dongol, Brijesh Petre, Luigia Smith, Graeme (1)
Dutle, Aaron Moscato, Mariano M. Titolo, Laura Muñoz, César A. Perez, Ivan (1)
Enea, Constantin Lal, Akash (3)
Erdem, Esra Vidal, Germán (1)
Esparza, Javier Murawski, Andrzej S. (1)
Fodor, Paul Montali, Marco Calvanese, Diego Roman, Dumitru (1)
Fonseca i Casas, Pau Sancho, Maria-Ribera Sherratt, Edel (1)
Franch, Xavier Männistö, Tomi Martínez-Fernández, Silverio (1)
Fujita, Hamido Selamat, Ali (1)
Furia, Carlo A. Winter, Kirsten (1)
Gadducci, Fabio Tavosanis, Mirko (2)
Gallagher, John P. Sulzmann, Martin (1)
Gardner, Philippa Geerts, Floris (1)
Gerber, Aurona (1)
Gervasi, Osvaldo Murgante, Beniamino Misra, Sanjay Borruso, Giuseppe Torre, Carmelo M. Rocha, Ana Maria A.C. Taniar, David Apduhan, Bernady O. Stankova, Elena Cuzzocrea, Alfredo (1)
Giannakopoulou, Dimitra Orejas, Fernando (1)
Giardino, Valeria Linker, Sven Burns, Richard Bellucci, Francesco Boucheix, Jean-Michel Viana, Petrucio (1)
Guerra, Esther van den Brand, Mark (1)
Hague, Matthew Potapov, Igor (1)
Hameurlain, Abdelkader Tjoa, A Min Amann, Bernd Goasdoué, François (1)
Hameurlain, Abdelkader Tjoa, A Min Lamarre, Philippe Zeitouni, Karine (1)
Hammoudi, Slimane Pires, Luís Ferreira Selic, Bran (1)
Hanus, Michael Sacerdoti Coen, Claudio (1)
Herzig, Andreas Popescu, Andrei (1)
Horváth, Zoltán Plasmeijer, Rinus Zsók, Viktoria (1)
Howar, Falk Barnat, Jirí (1)
Hromkovic, Juraj Královic, Rastislav Vahrenhold, Jan (1)
Hutton, Graham (1)
Hähnle, Reiner van der Aalst, Wil (1)
Khendek, Ferhat Gotzhein, Reinhard (1)
Koutny, Maciej Bergenthum, Robin Ciardo, Gianfranco (1)
Koutny, Maciej Kordon, Fabrice Moldt, Daniel (1)
Kowalewski, Stefan Philippou, Anna (1)
Kuhrmann, Marco Schneider, Kurt Pfahl, Dietmar Amasaki, Sousuke Ciolkowski, Marcus Hebig, Regina Tell, Paolo Klünder, Jil Küpper, Steffen (1)
Kunkel, Julian M. Yokota, Rio Taufer, Michela Shalf, John (1)
Lachiche, Nicolas Vrain, Christel (1)
Lambers, Leen Weber, Jens (1)
Larsen, Kim Guldstrand Willemse, Tim (1)
Launchbury, John Sansom, Patrick (1)
Leavens, Gary T. Chiba, Shigeru Haupt, Michael Ostermann, Klaus Wohlstadter, Eric (1)
Leavens, Gary T. Chiba, Shigeru Tanter, Éric (1)
Liu, Peng Mauw, Sjouke Stolen, Ketil (1)
Lohstroh, Marten Derler, Patricia Sirjani, Marjan (1)
Lujak, Marin (1)
Malizia, Alessio Valtolina, Stefano Morch, Anders Serrano, Alan Stratton, Andrew (1)
Malyshkin, Victor (1)
Margaria, Tiziana Graf, Susanne Larsen, Kim G. (1)
Margaria, Tiziana Steffen, Bernhard (2)
Massoni, Tiago Mousavi, Mohammad Reza (1)
Meier, Arne Ortiz, Magdalena (1)
Memmert, Daniel (1)
Menzies, Tim Petke, Justyna (1)
Mikkonen, Tommi Klamma, Ralf Hernández, Juan (1)
Moss, Lawrence S. de Queiroz, Ruy Martinez, Maricarmen (1)
Mousavi, Mohammad Reza Sgall, Jirí (1)
Ndayizigamiye, Patrick Twinomurinzi, Hossana Kalema, Billy Bwalya, Kelvin Bembe, Mncedisi (1)
Neele, Thomas Wijs, Anton (1)
Noble, James (1)
Okazaki, Naoaki Yada, Katsutoshi Satoh, Ken Mineshima, Koji (1)
Oliveira, Bruno C. d. S. (1)
Panetto, Hervé Debruyne, Christophe Hepp, Martin Lewis, Dave Ardagna, Claudio Agostino Meersman, Robert (1)
Pang, Jun Zhang, Lijun (1)
Patitz, Matthew J. Stannett, Mike (1)
Peng, Xin Ampatzoglou, Apostolos Bhowmik, Tanmay (1)
Piattini, Mario Rupino da Cunha, Paulo García Rodríguez de Guzmán, Ignacio Pérez-Castillo, Ricardo (1)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
Taibi, Davide Lenarduzzi, Valentina Kilamo, Terhi Zacchiroli, Stefano (2)
Vojnar, Tomáš Zhang, Lijun (2)
Autor
Barnes, John (1)
Cahill, Vinny Lafferty, Donal (1)
Chivers, Ian Sleightholme, Jane (1)
Ciesla, Robert (1)
Doberkat, Ernst-Erich (1)
Mössenböck, Hanspeter (1)
Schlagworte
Abstract interpretation (2)
algorithm analysis and problem complexity (3)
algorithms (5)
architecture verification and validation (8)
artificial intelligence (69)
automata theory (6)
automated reasoning (4)
Business Process Management (BPM) (4)
C (2)
cloud computing (4)
compilers (5)
Compilers & interpreters (2)
Compilers and Interpreters (3)
computational linguistics (4)
computer architecture (19)
Computer Engineering and Networks (2)
computer networks (7)
Computer programming (2)
computer programming (24)
Computer programming / software engineering (2)
Computer Science (2)
computer science (7)
computer software maintenance (7)
computer software selection and evaluation (8)
computer systems (9)
Computerhardware (2)
Computerprogrammierung und Softwareentwicklung (2)
constraint programming (3)
data communication systems (4)
data mining (6)
data security (10)
data structures (3)
databases (7)
debugging (5)
distributed computer systems (13)
distributed systems (7)
education (4)
embedded systems (21)
evolutionary algorithms (3)
Exception (2)
formal languages (4)
formal logic (48)
formal methods (34)
formal specification (3)
formal verification (6)
functional programming (7)
graph theory (10)
hardware (3)
Haskell (2)
Human-Computer Interaction (HCI) (8)
image processing (3)
information retrieval (3)
information systems (4)
information technology (3)
internet (8)
Internet of Things (IoT) (2)
knowledge representation (3)
Künstliche Intelligenz (3)
linguistics (3)
Logic in AI (2)
logic programming (7)
machine learning (6)
Mathematics of Computing (3)
Mathematik für Informatiker (3)
modal logic (3)
model checking (43)
model driven development (4)
model transformation (5)
model-driven engineering (8)
modeling (5)
natural language processing (3)
object-oriented programming (5)
ontologies (4)
open source software (4)
operational semantics (3)
parallel processing systems (6)
parallel programming (5)
problem solving (11)
processors (5)
program analysis (5)
program compilers (13)
program debugging (4)
programming (5)
Programming Language (3)
programming language (7)
programming languages (137)
Programming languages (Electronic computers) (2)
Programming Languages, Compilers, Interpreters (2)
Programming Techniques (2)
requirements engineering (4)
semantics (46)
software architecture (7)
software design (4)
Software Engineering (7)
software engineering (42)
software evaluation (10)
specifications (10)
Theory of Computation (4)
verification (5)
Wissensbasierte Systeme, Expertensysteme (3)
Veröffentlicht
1993 (1)
2000 (1)
2002 (1)
2003 (1)
2006 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2023 (2)
Sprache
Deutsch (1)
Englisch (136)
Foundations of Information and Knowledge Systems
74,90 CHF*
In den Warenkorb
Computer Science in Sport
86,55 CHF*
In den Warenkorb
Learning to Program the Object-oriented Way with C#
53,50 CHF*
In den Warenkorb
Functional Programming, Glasgow 1992
53,50 CHF*
In den Warenkorb
Patterns, Programming and Everything
107,00 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Coalgebraic Methods in Computer Science
53,50 CHF*
In den Warenkorb
Computational Science and Its Applications – ICCSA 2017
53,50 CHF*
In den Warenkorb
Software Engineering and Formal Methods
53,50 CHF*
In den Warenkorb
Verification and Evaluation of Computer and Communication Systems
53,50 CHF*
In den Warenkorb
Trends in Functional Programming
53,50 CHF*
In den Warenkorb
History and Philosophy of Computing
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
Theory and Practice of Model Transformation
53,50 CHF*
In den Warenkorb
Ada 2005 Rationale
53,50 CHF*
In den Warenkorb
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
Reachability Problems
53,50 CHF*
In den Warenkorb
Transactions on Petri Nets and Other Models of Concurrency XVI
96,30 CHF*
In den Warenkorb
Formal Techniques for Distributed Objects, Components, and Systems
68,50 CHF*
In den Warenkorb
Deductive Software Verification: Future Perspectives
53,50 CHF*
In den Warenkorb
Foundations of Software Science and Computation Structures
53,50 CHF*
In den Warenkorb
Software Analysis, Testing, and Evolution
53,50 CHF*
In den Warenkorb
Intelligent Software Methodologies, Tools and Techniques
53,50 CHF*
In den Warenkorb
1
2
3
4
5
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
