Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0

oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München

+++ Versandkostenfreie Lieferung innerhalb Deutschlands

Haben Sie Fragen? Tel. 089/210233-0

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

Mein Bibliothekar

INFORMATIONEN

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN

Zu "verification" wurden 466 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

APRESS (1)
Birkhäuser Boston (6)
Deutsche Gesellschaft für Zerstörungsfreie Prüfung (1)
Springer Berlin (225)
Springer International Publishing (60)
Springer London (23)
Springer Netherland (25)
Springer Tokyo (2)
Springer US (119)
Springer Wien (2)
tredition (1)
TUM.University Press (1)

Gebunden (93)
Kartoniert / Broschiert (369)
Kassette / Medienmix z.B. Audio und Buch (3)
Unbekannt (1)

Abdulla, Parosh Aziz Potapov, Igor (1)
Abramsky, S. Maibaum, T.S.E. (1)
Abrial, Jean-Raymond Börger, Egon Langmaack, Hans (1)
Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu (1)
Agha, Gul Danvy, Olivier Meseguer, José (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Ait Mohamed, Otmane Munoz, César Tahar, Sofiène (1)
Alfaro, Luca de Gilmore, Stephen (1)
Altenkirch, Thorsten Naraschewski, Wolfgang Reus, Bernhard (1)
Alur, Rajeev Pappas, George (1)
Antsaklis, Panos J. Kohn, Wolf Lemmon, Michael Nerode, Anil Sastry, Shankar (1)
Araki, Keijiro Galloway, Andy Taguchi, Kenji (1)
Arbab, Farhad Sirjani, Marjan (1)
Armando, Alessandro Baumgartner, Peter Dowek, Gilles (1)
Baaz, Matthias Voronkov, Andrei (1)
Baeten, Jos C.M. Mauw, Sjouke (1)
Bakker, Jacobus W. De Roever, Willem-Paul De Rozenberg, Grzegorz (1)
Bakker, Jacobus W. de Roever, Willem-Paul de Rozenberg, Grzegorz (1)
Ball, Thomas Jones, Robert B. (1)
Bandini, S. Worsch, T. (1)
Banieqbal, Behnam Barringer, Howard Pnueli, Amir (1)
Barthe, Gilles (1)
Bauer, F.L. Broy, M. (1)
Beckert, Bernhard (1)
Bemporad, Alberto Buttazzo, Giorgio C Bicchi, Antonio (1)
Berg, H.K. Giloi, W.K. (1)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Bertot, Yves Dowek, Gilles Hirschowitz, Andre Paulin, Christine Thery, Laurent (1)
Bertrand, Nathalie Jansen, Nils (1)
Bezhanishvili, Nick Goranko, Valentin (1)
Bibel, Wolfgang Jantke, Klaus P. (1)
Binder, Walter Bodden, Eric Löwe, Welf (1)
Bing Lu Ding-Zhu Du Sapatnekar, S. (2)
Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel (1)
Birtwistle, Graham Subrahmanyam, P.A. (1)
Bjørner, Dines Broy, Manfred Zamulin, Alexandre (1)
Blanchette, Jasmin Christian Merz, Stephan (1)
Blazy, Sandrine Chechik, Marsha (1)
Bloomfield, Robin E. Marshall, Lynn S. Jones, Roger B. (1)
Boel, R. Stremersch, Geert (2)
Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Bonsangue, Marcello M. Madelaine, Eric (1)
Borrione, Dominique Paul, Wolfgang (1)
Botterweck, Goetz Werner, Claudia (1)
Bouajjani, Ahmed Monniaux, David (1)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard (1)
Broy, Manfred (1)
Broy, Manfred Zamulin, Alexandre V. (1)
Bungartz, Hans-Joachim Hoppe, Ronald W. Zenger, Christoph (1)
Butler, Michael Jones, Cliff B. Romanovsky, Alexander Troubitsyna, Elena (1)
Caires, Luís (1)
Calude, Christian S. Sassone, Vladimiro (2)
Capocelli, Renato M. (1)
Carbone, Marco Petit, Jean-Marc (1)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D. (1)
Catthoor, Francky Svensson, Lars-Gunnar (2)
Cavalcanti, Ana Baxter, James (2)
Cerná, Ivana Gyimóthy, Tibor Hromkovic, Juraj Jeffery, Keith Kralovic, Rastislav Vukolic, Marko Wolf, Stefan (1)
Chaudhuri, Swarat Farzan, Azadeh (2)
Colburn, Timothy T.R. Fetzer, J.H. Rankin, R.L. (2)
Csendes, Tibor (2)
Delgado Kloos, Carlos Breuer, P. (2)
Feijen, W.H.J. Gasteren, A.J.M. van Gries, David Misra, J. (2)
Gibbons, Jeremy (2)
Grasser, Tibor Selberherr, Siegfried (2)
Guttman, Joshua D. Wand, Mitchell (2)
Gámez, José A. Moral, Serafin Salmerón Cerdan, Antonio (2)
Göknar, Izzet Cem Sevgi, Levent (2)
Hassoun, Soha Sasao, Tsutomu (2)
Hinchey, Mike Kleinjohann, Bernd Kleinjohann, Lisa Lindsay, Peter Rammig, Franz J. Timmis, Jon Wolf, Marilyn (2)
Jain, Anil K. Flynn, Patrick Ross, Arun A. (2)
Kamareddine, F.D. (2)
Kaufmann, Matt Manolios, Panagiotis Moore, J Strother (2)
Kosmatov, Nikolai Prevosto, Virgile Signoles, Julien (2)
Kurshan, Robert (2)
Lin, Youn-Long Steve (2)
Lévy, Jean-Jacques Mayr, Ernst W. Mitchell, John C. (2)
Meng, Teresa H. Malik, Sharad (2)
Meyer, John-Jules Ch. Treur, Jan (4)
Miehe, Christian (2)
Müller, Matthias S. Resch, Michael M. Schulz, Alexander Nagel, Wolfgang E. (2)
Obaidat, Mohammad S. Papadimitriou, Georgios I. (2)
Ochoa, Sergio F. Roman, Gruia-Catalin (2)
Pfenning, Frank (2)
Rammig, Franz J. (2)
Ratha, N. K. Govindaraju, Venu (2)
Redmill, Felix Anderson, Tom (2)
Rouff, Christopher (2)
Sencar, Husrev T. Velastin, Sergio Nikolaidis, Nikolaos Lian, Shiguo (2)
Tari, Zahir (2)
Taylor, Brian J. (2)
Terano, T. Deguchi, H. Takadama, K. (2)
Tistarelli, Massimo Li, Stan Z. Chellappa, Rama (2)
Vafeiadis, Viktor (2)
Vermesan, Anca Coenen, Frans (2)
Vytopil, Jan (3)
Weirich, Stephanie (2)
Yi, Kwangkeun (2)

Adelman, Leonard Riedel, Sharon L. (2)
Agarwal, Ravi P. O'Regan, Donal (1)
Aldini, Alessandro Bernardo, Marco Corradini, Flavio (2)
Alford, M.W. Ansart, J.P. Hommel, G. Lamport, L. Liskov, B. Mullery, G.P. Schneider, F.B. (1)
Ashbourn, Julian (3)
Attoui, Ammar (1)
Avenhaus, R. (2)
Bachmair (1)
Barringer, Howard (1)
Bauer, F.L. Dijkstra, E.W. Gerhart, S.L. Gries, D. Griffiths, M. Guttag, J. V. Horning, J. J. Owicki, S. S. Pair, C. Partsch, H. Pepper, P. Wirsing, M. Wössner, H. (1)
Bergeron, Janick (2)
Bergeron, Janick Cerny, Eduard Hunter, Alan Nightingale, Andy (2)
Bolle, Ruud M. Connell, Jonathan H. Pankanti, Sharath Ratha, Nalini K. Senior, Andrew W. (2)
Boulé, Marc Zilic, Zeljko (2)
Bowen, Wyn Q. Elbahtimy, Hassan Hobbs, Christopher Moran, Matthew (2)
Bowman, Howard Gomez, Rodolfo (2)
Bradfield, J.C. (1)
Bradley, Aaron R. Manna, Zohar (2)
Burkart, Olaf (1)
Burnstein, Ilene (2)
Chen, Sao-Jie Lin, Guang-Huei Hsiung, Pao-Ann Hu, Yu-Hen (2)
Cho, Kikuo (2)
Chonnad, Shivakumar S. Balachander, Needamangalam B. (2)
Chopra, Shobha Srinivasan (1)
Chuat, Laurent Legner, Markus Basin, David Hausheer, David Hitz, Samuel Müller, Peter Perrig, Adrian (2)
Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn (1)
Cohen, Ben (2)
Cooke, D. John (1)
Drechsler, Rolf (2)
Drechsler, Rolf Becker, Bernd (2)
Drira, Khalil Martelli, Andrea Villemur, Thierry (1)
Esparza, Javier Heljanko, Keijo (2)
Fetzer, J.H. (1)
Fokkink, Wan (4)
Foster, Harry D. Krolnik, Adam C. Lacey, David J. (2)
Giese, Holger (1)
Greibach, Sheila A. (1)
Gritzalis, Dimitris A. (2)
Hachtel, Gary D. Somenzi, Fabio (2)
Hailpern, B. T. (1)
Halbwachs, Nicolas (2)
Harrison, John (1)
Hibbard, P. Hisgen, A. Rosenberg, J. Shaw, M. Sherman, M. (1)
Hooman, Jozef (1)
House, Donald (1)
Hunt, Warren A. Jr. (1)
Jordan, H.E. (2)
Kearfott, R. Baker (2)
Khoussainov, Bakhadyr Nerode, Anil (2)
Kreinovich, V. Lakeyev, A.V. Rohn, J. Kahl, P.T. (2)
Kroening, Daniel Strichman, Ofer (1)
Kropf, Thomas (2)
Kröger, Fred (1)
Laski, Janusz Stanley, William (2)
Linge, Svein Langtangen, Hans Petter (4)
Manko, David J. (1)
Manna, Zohar Pnueli, Amir (2)
McMillan, Kenneth L. (1)
Mises, Richard von Friedrichs, Kurt O. (1)
Mittra, Swapnajit (2)
Moll, Francesc Roca, Miquel (2)
Montali, Marco (1)
Müller-Olm, Markus (2)
Naumenko, Konstantin Altenbach, Holm (2)
Ol'shanskii, A.Yu. (2)
Peled, Doron A. (2)
Perlman, M. (2)
Polak, W. (1)
Reps, Thomas W. Teitelbaum, Tim (2)
Riddle, W.E. Fairley, R.E. (1)
Riis Nielson, Hanne Nielson, Flemming (1)
Schmoldt, Daniel L. Rauscher, H. Michael (2)
SCRIBNER RALSTON METZ (1)
Selvadurai, A.P.S. (4)
Sitnikovski, Boro (1)
Smith, Stewart G. Denyer, Peter B. (2)
Spear, Chris (1)
Staunstrup, Jørgen (2)
Staunstrup, Jørgen Wolf, Wayne (2)
Stirling, Colin (2)
Streicher, T. (1)
Sutherland, Stuart Mills, Don (2)
Szederkényi, Gábor Lakner, R. Gerzson, M. (2)
Tabuada, Paulo (2)
Thornton, Mitchell Aaron Drechsler, Rolf Miller, D. Michael (2)

Englisch (466)

HOME

1
2
3
4
5

Vorderes Coverbild Taming the Infinities of Concurrency

Taming the Infinities of Concurrency

139,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction in Geometry

Automated Deduction in Geometry

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction - CADE-21

Automated Deduction - CADE-21

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Engineering Secure Software and Systems

Engineering Secure Software and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction - CADE-18

Automated Deduction - CADE-18

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Software Engineering Education

Software Engineering Education

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Hardware Verification

Formal Hardware Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems

139,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Testing Software and Systems

Testing Software and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild 7th International Conference on Automated Deduction

7th International Conference on Automated Deduction

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

58,84 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Methods and Software Engineering

Formal Methods and Software Engineering

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild CONCUR'97: Concurrency Theory

CONCUR'97: Concurrency Theory

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Modular Compiler Verification

Modular Compiler Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Interconnection Noise in VLSI Circuits

Interconnection Noise in VLSI Circuits

128,39 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Concurrency and Parallelism, Programming, Networking, and Security

Concurrency and Parallelism, Programming, Networking, and Security

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild International Symposium on Programming

International Symposium on Programming

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Partial Differential Equations in Mechanics 2

Partial Differential Equations in Mechanics 2

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Foundations of Software Technology and Theoretical Computer Science

Foundations of Software Technology and Theoretical Computer Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Logic of Computation

Logic of Computation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Energy-Efficient Electric Motors and their Applications

Energy-Efficient Electric Motors and their Applications

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4
5

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...